Menu ▾ ▴

Code Commit Log


Commit Date  
[r186] by hannesklarner

typo in function name and bugfix for networks with no inputs

 2016-03-16 15:38:44 Tree
[r185] by hannesklarner

added new function input_combinations(Primes) that generates all input combinations

 2016-03-16 15:29:05 Tree
[r184] by hannesklarner

revert: settings.cfg is part of the package

 2016-03-08 14:08:40 Tree
[r183] by hannesklarner

typos

 2016-03-04 17:02:58 Tree
[r182] by hannesklarner

fixed mistake in documentation of PrimeImplicants.percolate_constants

 2016-03-04 17:02:29 Tree
[r181] by hannesklarner

bugfix for Tests.dependencies

 2016-03-02 12:15:55 Tree
[r180] by hannesklarner

tests for modules are not shipped anymore

 2016-03-02 11:52:54 Tree
[r179] by hannesklarner

repackaged the attractor detection algorithms from STGs to AD

 2016-03-02 11:52:27 Tree
[r178] by hannesklarner

repackaged the attractor detection algorithms from STGs to AD

 2016-03-02 11:51:36 Tree
[r177] by hannesklarner

completeness_naive: renamed argument Subspaces to Trapspaces to be uniform with the parameters of faithful and univocal. faithful: bugfix for construction of CTL formula in which i previously forgot to include the AG operator.

 2016-02-15 16:35:36 Tree
Older >