 Taddeus Kroes
|
013ecd4880
Global arrays may now also be initialised
|
há 12 anos atrás |
|
Taddeus Kroes
|
e2cc38a7b6
VarDec and Assign are now interleaved, making scoping correct
|
há 12 anos atrás |
|
Taddeus Kroes
|
6163840311
Array dimensions are now uniquely named to avoid weird context analysis errors when arrays are redefined
|
há 12 anos atrás |
|
Taddeus Kroes
|
65ff039e7c
Added loop unrolling phase
|
há 12 anos atrás |
|
Taddeus Kroes
|
2b0ee7d2fd
Fixed array VarDec dimensions not being propagated as constants
|
há 12 anos atrás |
|
Taddeus Kroes
|
111c1d546c
Documented extern variables phase, moved the phase to before dimension reduction, fixed dimension getters/setters for extern array variables
|
há 12 anos atrás |
|
Taddeus Kroes
|
b79720f90d
Documented desugaring phase
|
há 12 anos atrás |
|
Taddeus Kroes
|
d2ac2ab8ea
Removed 'open Globals' and used 'Globals.args' instead
|
há 12 anos atrás |
|
Taddeus Kroes
|
3403c4a3fc
Formatted all source code to 2 spaces as tab, and some more prettifications
|
há 12 anos atrás |
|
Taddeus Kroes
|
7c9b5cf1af
Added interface files for all modules, moved command-line arguments to globals.ml, made types.ml an .mli file
|
há 12 anos atrás |
|
Taddeus Kroes
|
b418c7c589
Generated array dimension names are now unique to avoid weird error messages when array definitions have name clashes
|
há 12 anos atrás |
|
Taddeus Kroes
|
60a3a48b60
Scalar array initialisation now supports non-constant values, which are evaluated only once
|
há 12 anos atrás |
|
Taddeus Kroes
|
e92fd83385
Added single-time evaluation for array constant variables ad array dimensions
|
há 12 anos atrás |
|
Taddeus Kroes
|
6ba4edeec6
Typo
|
há 12 anos atrás |
|
Taddeus Kroes
|
f979c1faf4
Changed the way array types are represented, and cleaned up a lot of code in the process
|
há 12 anos atrás |
|
Taddeus Kroes
|
ae20d87ad4
Re-introduced DimDec node to get array dimension declarations to work properly, and rewrote a bunch of code to make it actually work...
|
há 12 anos atrás |
|
Taddeus Kroes
|
fc5a38d30a
Re-wrote main file: added a centralized list of phases and generalized logging format + added -upto option
|
há 12 anos atrás |
|
Taddeus Kroes
|
6a7d2a1dd7
Fixed bug where desugaring would not traverse into local functions properly
|
há 12 anos atrás |
|
Taddeus Kroes
|
4225c53427
Finished first version of assembly phase
|
há 12 anos atrás |
|
Taddeus Kroes
|
90c7e2b83d
Worked on assembly generation, added -noopt argument, tweaked verbority level
|
há 12 anos atrás |
|
Taddeus Kroes
|
21fc065c8f
Changed constant node types, added VarDecs|LocalFuns wrappers, implemented first steps of assembler
|
há 12 anos atrás |
|
Taddeus Kroes
|
45ccce6001
Renamed ast.ml to types.ml
|
há 12 anos atrás |
|
Taddeus Kroes
|
838389b893
Changed the way nodes are annotated to something more moldable, in the process changing/bugfixing pretty much everything
|
há 12 anos atrás |
|
Taddeus Kroes
|
2084f76312
Added transformation of while-loops to do-while loops
|
há 12 anos atrás |
|
Taddeus Kroes
|
669f2c21f3
Added a rudimentary form of constant propagation for reducing for-loop complexity, improved flatten_blocks
|
há 12 anos atrás |
|
Taddeus Kroes
|
bd304ed3a4
Implemented external variables using getters and setters, some general changes & fixes in other phases for compliance
|
há 12 anos atrás |
|
Taddeus Kroes
|
180700fd3e
Moved command-line arguments to global record
|
há 12 anos atrás |
|
Taddeus Kroes
|
1cdc10625d
Implemented array dimension reduction, generalized Array type, more bugfixes in other phases
|
há 12 anos atrás |
|
Taddeus Kroes
|
8ff21e8694
Turns out a TODO list issue was already fixed implicitly
|
há 12 anos atrás |
|
Taddeus Kroes
|
2afacac5e5
Implemented constant array initialisation
|
há 12 anos atrás |
