summary refs log tree commit diff stats
path: root/compiler/guards.nim
Commit message (Expand)AuthorAgeFilesLines
* 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 #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
ec'>96c571dd9 ^
9f6f78ac6 ^

08fdffc71 ^
9f6f78ac6 ^


5b8544424 ^

9f6f78ac6 ^
c60916a2a ^
9f6f78ac6 ^

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37