 Taddeus Kroes
|
1386f8af75
Desugaring now moves splitted initializations to start of function body
|
il y a 11 ans |
|
Taddeus Kroes
|
7867875804
Implemented new scoping rules, moved up context analysys, tweaked where extern variables are handled, fixed some bugs (see updated html docs) (needs new test cases!)
|
il y a 11 ans |
|
Taddeus Kroes
|
0a4c9499c1
Code cleanup
|
il y a 11 ans |
|
Taddeus Kroes
|
4337398bfa
Removed some unnessecary parentheses from tuples and did some general cleanup
|
il y a 11 ans |
|
Taddeus Kroes
|
cd575763a0
Extern variables now use the .exportvar/.importvar directives + some general fixes
|
il y a 11 ans |
|
Taddeus Kroes
|
f074552d42
Array constant initialisations now require a strict nesting level equal to the number of dimensions; simplified some related code
|
il y a 12 ans |
|
Taddeus Kroes
|
a574d8ace5
IntVal now takes a 32-bit int as argument (not 31 or 63), and integer bound check is moved to lexer
|
il y a 12 ans |
|
Taddeus Kroes
|
885fa4bc95
Changed the way errors are represented + context analysis now prints multiple errors before exiting
|
il y a 12 ans |
|
Taddeus Kroes
|
ef86a30481
Rewrote default traversal function such that a traversal now has a secondary result
|
il y a 12 ans |
|
Taddeus Kroes
|
81894d4b01
Variable declarations are now again moved to the beginning of the function body
|
il y a 12 ans |
|
Taddeus Kroes
|
4f45e79231
Revert "For-to-while loop transformations now use inline vardecs"
|
il y a 12 ans |
|
Taddeus Kroes
|
b530c36dde
Generated variable names now have leading underscores instead of dollar signs
|
il y a 12 ans |
|
Taddeus Kroes
|
3082b87b35
Fixed weird context analysis on array dimension names
|
il y a 12 ans |
|
Taddeus Kroes
|
afb60883d5
For-to-while loop transformations now use inline vardecs
|
il y a 12 ans |
|
Taddeus Kroes
|
013ecd4880
Global arrays may now also be initialised
|
il y a 12 ans |
|
Taddeus Kroes
|
e2cc38a7b6
VarDec and Assign are now interleaved, making scoping correct
|
il y a 12 ans |
|
Taddeus Kroes
|
6163840311
Array dimensions are now uniquely named to avoid weird context analysis errors when arrays are redefined
|
il y a 12 ans |
|
Taddeus Kroes
|
65ff039e7c
Added loop unrolling phase
|
il y a 12 ans |
|
Taddeus Kroes
|
2b0ee7d2fd
Fixed array VarDec dimensions not being propagated as constants
|
il y a 12 ans |
|
Taddeus Kroes
|
111c1d546c
Documented extern variables phase, moved the phase to before dimension reduction, fixed dimension getters/setters for extern array variables
|
il y a 12 ans |
|
Taddeus Kroes
|
b79720f90d
Documented desugaring phase
|
il y a 12 ans |
|
Taddeus Kroes
|
d2ac2ab8ea
Removed 'open Globals' and used 'Globals.args' instead
|
il y a 12 ans |
|
Taddeus Kroes
|
3403c4a3fc
Formatted all source code to 2 spaces as tab, and some more prettifications
|
il y a 12 ans |
|
Taddeus Kroes
|
7c9b5cf1af
Added interface files for all modules, moved command-line arguments to globals.ml, made types.ml an .mli file
|
il y a 12 ans |
|
Taddeus Kroes
|
b418c7c589
Generated array dimension names are now unique to avoid weird error messages when array definitions have name clashes
|
il y a 12 ans |
|
Taddeus Kroes
|
60a3a48b60
Scalar array initialisation now supports non-constant values, which are evaluated only once
|
il y a 12 ans |
|
Taddeus Kroes
|
e92fd83385
Added single-time evaluation for array constant variables ad array dimensions
|
il y a 12 ans |
|
Taddeus Kroes
|
6ba4edeec6
Typo
|
il y a 12 ans |
|
Taddeus Kroes
|
f979c1faf4
Changed the way array types are represented, and cleaned up a lot of code in the process
|
il y a 12 ans |
|
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...
|
il y a 12 ans |
