summary refs log tree commit diff stats
path: root/compiler/guards.nim
Commit message (Collapse)AuthorAgeFilesLines
* added '..^' and '..<' operators; 'nil' is allowed for 'len'; added plugin ↵Araq2015-04-221-1/+2
| | | | system to the compiler
* cleaned up some magics to make room for new magics; added '..<' and '..^' ↵Araq2015-04-221-2/+2
| | | | templates
* fixes #2359Araq2015-03-161-2/+2
|
* disjoint checker is somewhat smarterAraq2015-03-161-2/+17
|
* fixes #2287Araq2015-03-121-42/+62
|
* fixes #325Araq2015-01-281-6/+0
|
* Happy new year!Guillaume Gelin2015-01-061-1/+1
|
* implemented 'guard' annotationAraq2014-09-211-0/+16
|
* Nimrod renamed to NimAraq2014-08-281-1/+1
|
* fixes tinavlid_array_bounds testAraq2014-08-101-1/+1
|
* Merge pull request #1279 from Varriount/fix-1216Simon Hafner2014-06-181-1/+1
|\ | | | | Fix issue #1216
| * Fix issue #1216Clay Sweetser2014-06-151-1/+1
| |
* | tdisjoint_slice2 worksAraq2014-05-311-0/+8
| |
* | 'parallel' proves array boundsAraq2014-05-291-4/+63
| |
* | 'parallel' statement almost workingAraq2014-05-221-21/+37
| |
* | 'parallel' statement: next stepsAraq2014-05-141-37/+75
| |
* | progress for the 'parallel' statementAraq2014-05-141-2/+2
| |
* | initial non-compiling version of 'parallel'Araq2014-05-121-17/+174
|/
* fix #866; generic static paramsZahary Karadjov2014-03-091-4/+0
|
* fixes #584Araq2014-02-141-14/+28
|
* 'nil' as a statement is deprecated, use an empty 'discard' insteadAraq2014-01-191-1/+1
|
* case consistency: next stepsAraq2013-12-291-2/+2
|
* case consistency part 4Araq2013-12-271-3/+3
|
* Merge branch 'master' of github.com:Araq/NimrodAraq2013-07-201-1/+2
|\
| * Avoids usefulFact recursion with nil parameter. Fixes #518.Grzegorz Adam Hankiewicz2013-07-091-1/+2
| |
* | refactorings for the eval engine; bugfix: clean templates as accessorsAraq2013-07-191-16/+9
|/
* fixes #481Araq2013-06-131-1/+18
|
* improvements for 'not nil' checkingAraq2013-06-131-0/+7
|
* bugfixes for the guarded data flow analysisAraq2013-06-121-66/+95
|
* next steps for guarded data flow analysisAraq2013-06-111-35/+220
|
* resolved conflict; added missing filesAraq2013-06-091-0/+346