This website requires JavaScript.
Explore
Help
Sign in
alarsyo
/
spot
Watch
1
Star
0
Fork
You've already forked spot
0
Code
Issues
Pull requests
Projects
Releases
Wiki
Activity
5176caf4d2
spot
/
src
History
Download ZIP
Download TAR.GZ
Alexandre Duret-Lutz
5176caf4d2
* src/tgbaalgos/gtec/ce.cc: Reinstall change from 2004-09-21.
2004-10-15 13:33:50 +00:00
..
ltlast
* src/sanity/style.test: Warn about places where size() is used
2004-09-21 13:01:27 +00:00
ltlenv
* iface/gspn/common.cc, iface/gspn/common.hh: Remove the
2004-06-02 16:21:49 +00:00
ltlparse
* iface/gspn/common.cc, iface/gspn/common.hh,
2004-08-09 16:32:25 +00:00
ltltest
* src/ltltest/reduc.test: Do source ./defs. Revert mistaken
2004-10-14 12:57:12 +00:00
ltlvisit
* src/sanity/style.test: Warn about places where size() is used
2004-09-21 13:01:27 +00:00
misc
* src/sanity/style.test: Warn about places where size() is used
2004-09-21 13:01:27 +00:00
sanity
* src/sanity/style.test: Suggest using "x->y", not "(*x).y".
2004-09-27 14:57:37 +00:00
tgba
* src/tgba/tgbaexplicit.cc (tgba_explicit_succ_iterator::current_state,
2004-10-13 14:32:05 +00:00
tgbaalgos
* src/tgbaalgos/gtec/ce.cc: Reinstall change from 2004-09-21.
2004-10-15 13:33:50 +00:00
tgbaparse
* iface/gspn/common.cc, iface/gspn/common.hh,
2004-08-09 16:32:25 +00:00
tgbatest
Back out all Thomas's changes on emptiness checks since
2004-10-15 10:33:55 +00:00
.cvsignore
* src/ltlvisit/Makefile.am (lib_LTLIBRARIES): Rename as ...
2003-04-30 12:46:12 +00:00
Makefile.am
* src/Makefile.am (nodist_EXTRA_libspot_la_SOURCES): New variable,
2004-08-10 15:52:21 +00:00