summary refs log tree commit diff stats
path: root/tests/reject
Commit message (Expand)AuthorAgeFilesLines
* fixes #503Araq2013-07-021-0/+10
* made some tests greenAraq2013-06-301-2/+2
* fixes #442Araq2013-06-271-0/+18
* fixes #481Araq2013-06-131-1/+14
* bugfixes for the guarded data flow analysisAraq2013-06-121-2/+2
* next steps for guarded data flow analysisAraq2013-06-112-1/+64
* made tests greenAraq2013-06-103-3/+3
* resolved conflict; added missing filesAraq2013-06-092-0/+48
|\
* | implemented large parts of the 'not nil' checkingAraq2013-06-091-0/+36
|/
* fixes #451Araq2013-06-041-0/+12
* made some tests green; implemented 'from module import nil'Araq2013-05-192-1/+2
* made some tests greenAraq2013-05-191-1/+1
* fixes #433Araq2013-05-181-0/+10
* fixes #430Zahary Karadjov2013-05-121-0/+12
* fixes #429 and tstmtexprZahary Karadjov2013-05-121-1/+1
* fixing the dos line endings in a broken testZahary Karadjov2013-05-121-4/+3
* new effect system should be sound nowAraq2013-05-111-0/+14
* made some tests greenAraq2013-04-223-3/+3
* fixes #287; bugfix: subrange checking is performed againAraq2013-04-121-0/+21
* cleanup of tests; use 'koch install' instead of 'install.sh' for a bootstrapp...Araq2013-04-111-1/+1
* improvements for destructorsAraq2013-04-081-0/+21
* rod file viewer for easier debugging of rod filesAraq2013-04-041-1/+1
* fixes a long-standing bug about procvar checkingAraq2013-03-251-0/+2
* bugfix: case exhaustiveness checkingAraq2013-03-211-0/+18
* Removes executable bit for text files.Grzegorz Adam Hankiewicz2013-03-1653-0/+0
* some bugfixes; no system.$ for object as it breaks codeAraq2013-02-241-1/+1
* preparations for a generational GCAraq2013-02-161-1/+1
* made some tests greenAraq2013-02-082-2/+2
* Merge remote-tracking branch 'upstream/master' into upstreamZahary Karadjov2013-01-281-0/+15
|\
| * bugfix: overlap checking for 'case'Araq2013-01-271-0/+15
* | the `mainmodule` option has effect only when no explicit module is givenZahary Karadjov2013-01-281-1/+1
|/
* made some tests green; some small bugfixesAraq2012-12-091-1/+1
* bugfix: 'not nil' and 'shared' typesAraq2012-12-021-2/+10
* implemented 'import except'Araq2012-11-281-0/+10
* parser support for 'not nil' annotationAraq2012-11-251-0/+15
* annotated effects of modules: os, sockets, timesAraq2012-11-182-2/+2
* made some tests greenAraq2012-11-113-3/+4
* implemented 'tags' pragmaAraq2012-11-112-0/+43
* made some tests greenAraq2012-11-072-2/+2
* bugfixes for exception trackingAraq2012-11-041-1/+1
* exception tracking should workAraq2012-11-042-0/+40
* fixes #235Araq2012-10-241-0/+14
* the `is` operator now works with type classes and type variablesZahary Karadjov2012-10-032-4/+4
* implemented case expressionsZahary Karadjov2012-10-031-0/+30
* made tests green againAraq2012-09-181-1/+1
* fixed incorrect implicit conversion between arrays of different sizes; see #202Zahary Karadjov2012-09-131-0/+13
* made some tests greenAraq2012-09-121-1/+1
* term rewriting improvementsAraq2012-09-082-3/+3
* made tests green againAraq2012-08-311-1/+1
* next steps towards term rewriting macros; simple examples workAraq2012-08-301-0/+28