alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
spot/buddy/examples/cmilner
History
Alexandre Duret-Lutz a2f174f721 [buddy] fix some -Wpedantic messages 
* src/bddop.c: Empty macro arguments are undefined ISO C90 and
ISO C++98.  Use '+' when calling APPLY_SHORTCUTS.
* src/fdd.c, src/kernel.c: Avoid constructs invalid in C90.
* src/bddop.c, src/bddx.h, src/kernel.c, src/kernel.h,
examples/cmilner/cmilner.c: Remove C++ comments.
2017-02-01 18:50:37 +01:00
..
.gitignore Add .gitignore files 2008-03-14 16:59:32 +01:00
cmilner.c [buddy] fix some -Wpedantic messages 2017-02-01 18:50:37 +01:00
Makefile.am [buddy] 2011-02-27 15:24:22 +01:00
readme Initial revision 2003-05-05 10:57:53 +00:00

readme 

MILNERS SCHEDULER - AN EXAMPLE OF BDDs USED FOR STATE SPACE CALCULATION
-----------------------------------------------------------------------

This program should illustrate how cumbersome it is to do manual
reference counting of the BDD nodes.

Please see further documentation in "../milner/doc.txt".