Menu ▾ ▴

Code Commit Log


Commit Date  
[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
[r160] by hannesklarner

bugfixes

 2016-02-02 15:01:41 Tree
[r159] by hannesklarner

major revision for release v1.0

 2016-01-22 17:58:28 Tree
[r158] by hannesklarner

added str / dict representations for subspaces

 2016-01-22 17:57:32 Tree
[r157] by hannesklarner

percolate_constants: now always returns the names of constants

 2016-01-22 17:56:51 Tree
[r156] by hannesklarner

bugfix for coneofinfluence and disablecounterexamples, see note in documentation

 2016-01-22 17:55:16 Tree
[r155] by hannesklarner

added tests for AttractorDetection

 2016-01-22 17:53:49 Tree
Older >