Araq
|
0097305953
|
bugfixes for the guarded data flow analysis
|
2013-06-12 00:41:02 +02:00 |
|
Araq
|
4e6b81e341
|
fixes #395
|
2013-04-23 13:44:38 +02:00 |
|
Araq
|
02b1503e1f
|
bugfix: case exhaustiveness checking
|
2013-03-21 08:09:14 +01:00 |
|
Grzegorz Adam Hankiewicz
|
72a3e21f28
|
Removes executable bit for text files.
|
2013-03-16 23:53:07 +01:00 |
|
Araq
|
d5a5c2291f
|
bugfix: overlap checking for 'case'
|
2013-01-27 22:58:21 +01:00 |
|
Araq
|
674c05f426
|
made compiler more robust for idetools; implemented idetools.usages
|
2012-07-30 23:07:19 +02:00 |
|
Araq
|
4f1b89c30c
|
year 2012 for most copyright headers
|
2012-01-02 23:07:35 +01:00 |
|
Araq
|
36c67455d4
|
got rid of some arcane module names
|
2011-04-21 00:54:44 +02:00 |
|
Araq
|
cd292568d7
|
big repo cleanup
|
2011-04-12 01:13:42 +02:00 |
|