alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
spot/src/ltlvisit
History
Alexandre Duret-Lutz 5b723bf8c0 work around a swig issue on Arch Linux 
destroy_atomic_prop_set() takes a parameter named 'as', and aparently
Swig reuses this name as-is, although it is a Python keyword.

* src/ltlvisit/apcollect.hh (destroy_atomic_prop_set): Rename the
parameter to please Swig on Arch Linux.
2015-01-03 17:08:14 +01:00
..
.cvsignore * m4/pypath.m4: New file. 2003-04-30 12:35:22 +00:00
.gitignore Add .gitignore files 2008-03-14 16:59:32 +01:00
apcollect.cc defaultenv: simplify usage 2014-11-30 19:53:14 +01:00
apcollect.hh work around a swig issue on Arch Linux 2015-01-03 17:08:14 +01:00
clone.cc Remove deprecated algorithms. 2014-08-12 10:29:36 +02:00
clone.hh Remove deprecated algorithms. 2014-08-12 10:29:36 +02:00
contain.cc Use shared_ptr for the emptiness check interfaces. 2014-08-23 18:35:43 +02:00
contain.hh ltl: get rid of formula_ptr_hash 2014-10-26 22:17:19 +01:00
dotty.cc automatop: remove this type of formula operator. 2014-07-04 10:47:23 +02:00
dotty.hh Use -fvisibility=hidden in src/ltlast/, src/ltlvisit/, and src/ltlenv/. 2013-07-29 01:14:03 +02:00
dump.cc Upgrade GPL v2+ to GPL v3+. 2012-10-12 22:05:18 +02:00
dump.hh Use -fvisibility=hidden in src/ltlast/, src/ltlvisit/, and src/ltlenv/. 2013-07-29 01:14:03 +02:00
lbt.cc ltl: remove the useless Finish operator 2014-12-04 17:48:42 +01:00
lbt.hh Use -fvisibility=hidden in src/ltlast/, src/ltlvisit/, and src/ltlenv/. 2013-07-29 01:14:03 +02:00
length.cc length: slight simplification 2014-02-03 09:49:30 +01:00
length.hh Use -fvisibility=hidden in src/ltlast/, src/ltlvisit/, and src/ltlenv/. 2013-07-29 01:14:03 +02:00
lunabbrev.cc common: introduce SPOT_UNREACHABLE and SPOT_UNIMPLEMENTED. 2014-06-27 15:55:26 +02:00
lunabbrev.hh Use -fvisibility=hidden in src/ltlast/, src/ltlvisit/, and src/ltlenv/. 2013-07-29 01:14:03 +02:00
Makefile.am Adding ltlgrind as a command-line tool 2014-10-06 17:42:30 +02:00
mark.cc ltl: remove the useless Finish operator 2014-12-04 17:48:42 +01:00
mark.hh c++11: replace Sgi::hash_* by Sgi::unordered_*. 2014-02-12 14:05:04 +01:00
mutation.cc Some cleanup of Thibaud's patches. 2014-10-06 20:39:44 +02:00
mutation.hh Some cleanup of Thibaud's patches. 2014-10-06 20:39:44 +02:00
nenoform.cc Use -fvisibility=hidden in src/ltlast/, src/ltlvisit/, and src/ltlenv/. 2013-07-29 01:14:03 +02:00
nenoform.hh Use -fvisibility=hidden in src/ltlast/, src/ltlvisit/, and src/ltlenv/. 2013-07-29 01:14:03 +02:00
postfix.cc automatop: remove this type of formula operator. 2014-07-04 10:47:23 +02:00
postfix.hh automatop: remove this type of formula operator. 2014-07-04 10:47:23 +02:00
randomltl.cc common: introduce SPOT_UNREACHABLE and SPOT_UNIMPLEMENTED. 2014-06-27 15:55:26 +02:00
randomltl.hh Use -fvisibility=hidden in src/ltlast/, src/ltlvisit/, and src/ltlenv/. 2013-07-29 01:14:03 +02:00
relabel.cc ltl: get rid of formula_ptr_hash 2014-10-26 22:17:19 +01:00
relabel.hh c++11: replace Sgi::hash_* by Sgi::unordered_*. 2014-02-12 14:05:04 +01:00
remove_x.cc Adding tgba-based stutter-invariance checking 2014-11-14 11:11:39 +01:00
remove_x.hh Adding tgba-based stutter-invariance checking 2014-11-14 11:11:39 +01:00
simpfg.cc common: introduce SPOT_UNREACHABLE and SPOT_UNIMPLEMENTED. 2014-06-27 15:55:26 +02:00
simpfg.hh Use -fvisibility=hidden in src/ltlast/, src/ltlvisit/, and src/ltlenv/. 2013-07-29 01:14:03 +02:00
simplify.cc simplify: remove an incorect SERE simplification 2014-12-05 11:06:21 +01:00
simplify.hh buddy: rename libbdd to libbddx 2014-10-30 20:58:10 +01:00
snf.cc automatop: remove this type of formula operator. 2014-07-04 10:47:23 +02:00
snf.hh snf: Fix the handling of bounded repetition. 2014-05-16 09:39:45 +02:00
tostring.cc ltl: remove the useless Finish operator 2014-12-04 17:48:42 +01:00
tostring.hh Better formula I/O for ipython. 2014-08-24 14:00:59 +02:00
tunabbrev.cc ltl: remove the useless Finish operator 2014-12-04 17:48:42 +01:00
tunabbrev.hh Use -fvisibility=hidden in src/ltlast/, src/ltlvisit/, and src/ltlenv/. 2013-07-29 01:14:03 +02:00
wmunabbrev.cc unabbreviate_wm: fix a segfault. 2012-10-23 22:36:18 +02:00
wmunabbrev.hh Use -fvisibility=hidden in src/ltlast/, src/ltlvisit/, and src/ltlenv/. 2013-07-29 01:14:03 +02:00