Menu ▾ ▴

Code Commit Log


Commit Date  
[r170] by hannesklarner

refactoring and bugfixes

 2016-02-12 16:26:02 Tree
[r169] by hannesklarner

bugfix for auxillary variables: CHANGING removed, SUCCESSORS added

 2016-02-12 16:25:07 Tree
[r168] by hannesklarner

refactoring

 2016-02-12 16:23:59 Tree
[r167] by hannesklarner

not tested by user

 2016-02-12 11:09:44 Tree
[r166] by hannesklarner

not tested by user

 2016-02-12 11:09:29 Tree
[r165] by hannesklarner

completeness_iterative: almost finished, testing needed

 2016-02-03 15:57:06 Tree
[r164] by hannesklarner

remove_variables: bugfix

 2016-02-03 14:49:23 Tree
[r163] by hannesklarner

added tests for: univocal, faithful and completeness_naive

 2016-02-02 15:03:29 Tree
[r162] by hannesklarner

finished: univocal, faithful and completeness_naive

 2016-02-02 15:02:58 Tree
[r161] by hannesklarner

bugfix

 2016-02-02 15:02:01 Tree
Older >