| Commit message (Collapse) | Author | Age |
|---|
| |
|
|
| |
structs
|
| |
|
|
|
|
| |
This produces valid C code in a header file and also provides an INTF
macro which makes it much less obtuse to call the various functions to
set and unset bitfields.
|
| | |
|
| | |
|
| |
|
|
|
| |
This helps to catch bugs in the compiler, specifically ones related to
mixing up bits and bytes.
|
| |
|
|
|
| |
There is a problem where I'm mixing up bits and bytes. I think I'll try
to resolve that using more type-level constraints.
|
| |
|
|
|
|
|
| |
Big change. Implements qualification, which separates the qualification
concerns from the ConsistencyCheck phase.
I'm getting close to implementing a backend.
|
| |
|
|
| |
As opposed to the original 'Annotated' data type.
|
| |
|
|
|
| |
Import statements are fully implemented including compiling to an
interface file for faster compilations.
|
| | |
|
| |
|
|
| |
symbols.
|
| |
|
|
|
|
| |
Added annotation sublanguage for defining compiler directives. Also
added the syntax for import statements. Imports are not implemented, but
I'm currently working on that.
|
| |
|
|
|
|
|
|
|
| |
Added structures and unions to better define the layout and model
overlapping concerns.
renamed objtype -> type and object -> instance.
added reserved statements for types.
|
| |
|
|
|
| |
This simply does a Stage0 -> Stage1 conversion. Namely, parse the text,
check for syntax errors, squeeze the resulting ast and ... that's it.
|
| | |
|
| | |
|
| | |
|
| |
|
