Skip to content

Tags: cesaro/cunf

Tags

v1.6.1

Toggle v1.6.1's commit message
Set version to 1.6.1

v1.6

Toggle v1.6's commit message
.gitignore updated

v1.5

Toggle v1.5's commit message
Cunf cmd-line options renamed; typo in mkdekker.py

v1.4

Toggle v1.4's commit message
 * test/cuf2dot.c : CUF02 format

 * src/main.c : white, gray, and black events
 * src/output.c : CUF02 format
 
 * test/nets/param : cleaned
 * test/nets/{plain,cont,pr}/param/{x,y}/ : right place for parametric families

 * tools/cndc.py : new: cleanup of cnmc
 * tools/amo.py : new: test of different AMO constraints
 * tools/cnmc/cnmc.py : experiments and fixes
 * tools/trt/__init__.py : new test cndc
 * tools/ptnet/unfolding.py : white, gray, and black events; CUF02 format
 * tools/ptnet/net.py : new
 * tools/cont2plain.pl : new

 * tools/mkandnet.pl : square grid of AND gates (TCS paper)
 * tools/mkandnet2.pl : square grid of AND gates, all inputs
 * tools/mkkhist.pl : Ask Stefan
 * tools/mkcell.pl : Conway's Game of Life (majority vote)
 * tools/mklife.py : Conway's Game of Life (B24/S13)
 * tools/mkrndbool.pl : Boolean net with logic and controllers randomly chosen
 * tools/mksignal.py : Transmission line
 * tools/mkread.py : N concurrent readers of one resource

v1.3

Toggle v1.3's commit message
 * Merge with branch cunf.cuf: new output format

v1.2

Toggle v1.2's commit message
 * Merge from branch eager.dup

 * Bug fixed in _ec_conc_compound

v1.1

Toggle v1.1's commit message
 * Included tests to measure execution time

v1.0

Toggle v1.0's commit message
 * Removed peupdate document; updated content already included in oth…

…er documents

 * Added several examples