Menu ▾ ▴

Code Commit Log


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

renamed EF_all_unsteady to EF_unsteady_states to hopefully make it clearer what formula is constructed

 2016-02-15 16:31:13 Tree
[r175] by hannesklarner

bugfix for model checking of the empty Boolean network

 2016-02-15 16:30:06 Tree
[r174] by hannesklarner

renamed find_attractorstate_by_randomwalk_and_ctl to find_attractor_by_randomwalk_and_ctl to shorten the function name at least a bit

 2016-02-15 15:23:03 Tree
Older >