summary refs log tree commit diff stats
path: root/compiler/dfa.nim
Commit message (Collapse)AuthorAgeFilesLines
* isLastRead regression fix (#10463)cooldome2019-01-281-6/+9
| | | | | | * fixes #10462 * add a test
* control flow graphs: introduce 'join' points for easy analyses based on ↵Andreas Rumpf2019-01-231-152/+391
| | | | abstract interpretation
* improve vmgen.codeListing formatting (#10306)Timothee Cour2019-01-151-1/+1
| | | | | * improve vmgen.codeListing formatting * address comments
* use control flow graph for sink paramsAndrii Riabushenko2018-12-091-1/+1
|
* destructors; fixes #9594Araq2018-11-021-2/+12
|
* DFA: implement exception handling properlyAndreas Rumpf2018-10-141-2/+20
|
* dfa.nim: clarify exception handlingAndreas Rumpf2018-10-131-1/+4
|
* compiler: cleanup dfa.nimAndreas Rumpf2018-10-121-21/+25
|
* don't require an implementation for procs marked with .error; activate the ↵Araq2018-09-291-0/+1
| | | | move optimizer for destructors
* remove more global variables in the Nim compilerAndreas Rumpf2018-05-271-1/+1
|
* make tests green againAndreas Rumpf2018-05-181-1/+2
|
* preparations of making compiler/msgs.nim free of global variablesAndreas Rumpf2018-05-171-1/+1
|
* transf and vmgen compile againAndreas Rumpf2018-05-121-7/+7
|
* lambda lifting compiles againAndreas Rumpf2018-05-121-2/+2
|
* introduce nkTupleConstr AST node for unary tuple construction; breaking changeAndreas Rumpf2018-04-131-1/+1
|
* DFA: code cleanups and some support for consuming operationsAndreas Rumpf2017-12-271-109/+9
|
* DFA attempt to capture the essence of linear typesAndreas Rumpf2017-12-231-2/+21
|
* DFA works for simple examplesAndreas Rumpf2017-12-211-9/+17
|
* next steps in giving Nim a decent DFA infrastructureAraq2017-12-181-5/+83
|
* Fixed koch warning when installing Nim. (#6898)Gerke Max Preussner2017-12-121-3/+3
|
* deprecated unary '<'Andreas Rumpf2017-10-291-2/+2
|
* initial version of the new untested destructor passAndreas Rumpf2017-10-121-4/+4
|
* preparations for a new AST transformation pass with the aim of giving us ↵Andreas Rumpf2017-10-091-22/+40
| | | | reliable destructors
* disable the new DFAAndreas Rumpf2017-10-091-24/+33
|
* work in progress: a dataflow architecture for NimAndreas Rumpf2017-10-091-0/+412