Commit graph

alarsyo/spot

Fork 0

5f43fec8db bench: fix stutter bench compiler errors. Thomas Medioni 2017-03-31 13:40:05 +02:00
be41155308 various typos Alexandre Duret-Lutz 2017-03-30 21:22:55 +02:00
42e5cd955e [buddy] Typos in comments Alexandre Duret-Lutz 2017-03-30 21:25:50 +02:00
41ac0e681f Properly track dependencies of SWIG files. Maximilien Colange 2017-03-29 18:48:14 +02:00
f6b735234d python: update some incorrect or obsolete code Alexandre Duret-Lutz 2017-03-29 11:56:11 +02:00
f6e6099d9b python: mark prop_deterministic as deprecated Alexandre Duret-Lutz 2017-03-29 11:56:37 +02:00
60bf675c10 Improve sanity tests. Maximilien Colange 2017-03-28 13:08:46 +02:00
6623af67e6 twa_graph: fix purge_unreachable_states on alternating automata Alexandre Duret-Lutz 2017-03-28 23:34:41 +02:00
f6a238efd5 twa_graph: fix purge_unreachable_states on alternating automata Alexandre Duret-Lutz 2017-03-28 23:34:41 +02:00
5f564c2b45 emacs config: Make C-c C-c execute the current test through ./run Alexandre Duret-Lutz 2017-03-28 21:24:39 +02:00
e86964fe81 complete: add more comments Alexandre Duret-Lutz 2017-03-28 15:37:04 +02:00
73bb562bf5 complement: reset the terminal property Alexandre Duret-Lutz 2017-03-27 21:39:16 +02:00
a90f219369 complement: reset the terminal property Alexandre Duret-Lutz 2017-03-27 21:39:16 +02:00
4a5d7a3978 rename is_deterministic to is_universal Alexandre Duret-Lutz 2017-03-27 19:19:52 +02:00
cdf699ff23 genltl: fix %F for --r-left and --r-right Alexandre Duret-Lutz 2017-03-22 14:06:02 +01:00
1596f0ed75 org: move babel's temporary directory in builddir Alexandre Duret-Lutz 2017-03-18 18:44:25 +01:00
0121d278a7 * doc/org/tut11.org: Typo in title. Alexandre Duret-Lutz 2017-03-15 13:29:51 +01:00
bf31ff12ad parsetl: improve coverage Alexandre Duret-Lutz 2017-03-14 17:13:59 +01:00
4518724a5b genltl: fix %F for --r-left and --r-right Alexandre Duret-Lutz 2017-03-22 14:06:02 +01:00
fe3b86b306 genltl: add support for --p-patterns Alexandre Duret-Lutz 2017-03-22 08:41:49 +01:00
1c2a7f3d4f genltl: add --hkrss-patterns Alexandre Duret-Lutz 2017-03-22 07:57:38 +01:00
e86add4814 genltl: add --spec-patterns as an alias to --dac-patterns Alexandre Duret-Lutz 2017-03-22 07:27:07 +01:00
0de5f50da9 twa: add support for prop_complete() Alexandre Duret-Lutz 2017-03-16 18:25:07 +01:00
90a8a912e0 org: move babel's temporary directory in builddir Alexandre Duret-Lutz 2017-03-18 18:44:25 +01:00
1290d48379 * bin/common_aoutput.cc: Remove a dead assignment. Alexandre Duret-Lutz 2017-03-15 17:12:29 +01:00
270b18ebdb * doc/org/tut11.org: Typo in title. Alexandre Duret-Lutz 2017-03-15 13:29:51 +01:00
3d3baf449e parsetl: improve coverage Alexandre Duret-Lutz 2017-03-14 17:13:59 +01:00
ab8a40cb10 Merge branch 'master' into next Alexandre Duret-Lutz 2017-03-15 09:24:37 +01:00
6b339a3712 Bump version to 2.3.2.dev Alexandre Duret-Lutz 2017-03-15 09:21:59 +01:00
696eba8a29 Release Spot 2.3.2 Alexandre Duret-Lutz 2017-03-15 09:17:10 +01:00
d134c09f1c tl.pdf: adjust syntactic hierarchy class to match code Alexandre Duret-Lutz 2017-03-14 14:37:23 +01:00
2f7d5cfd00 tl.pdf: adjust syntactic hierarchy class to match code Alexandre Duret-Lutz 2017-03-14 14:37:23 +01:00
880131a0c3 [buddy] add -Wno-gnu if supported Alexandre Duret-Lutz 2017-03-14 12:03:10 +01:00
b7afef3643 org: misc cosmetics Alexandre Duret-Lutz 2017-03-14 10:44:30 +01:00
7ee52041dd [buddy] remove useless #include<assert.h> Alexandre Duret-Lutz 2017-03-13 22:17:49 +01:00
d0f92d75a1 tl: fix incorrect comment about {r} vs. cl(r) Alexandre Duret-Lutz 2017-03-13 18:09:44 +01:00
63776d9c93 [buddy] add -Wno-gnu if supported Alexandre Duret-Lutz 2017-03-14 12:03:10 +01:00
e851e0f8c0 org: misc cosmetics Alexandre Duret-Lutz 2017-03-14 10:44:30 +01:00
bd4e0f19b9 [buddy] remove useless #include<assert.h> Alexandre Duret-Lutz 2017-03-13 22:17:49 +01:00
a0d9bab566 tl: fix incorrect comment about {r} vs. cl(r) Alexandre Duret-Lutz 2017-03-13 18:09:44 +01:00
55a524cf3c org: detect C++ errors Alexandre Duret-Lutz 2017-03-10 16:52:54 +01:00
f9eefdc295 emptiness stats: remove some unused code Alexandre Duret-Lutz 2017-03-10 16:24:46 +01:00
d6d987bd96 emptiness checks: replace assert-preconditions by exceptions Alexandre Duret-Lutz 2017-03-10 14:19:09 +01:00
2e3fc0d4d2 emptiness checks: replace assert-preconditions by exceptions Alexandre Duret-Lutz 2017-03-10 14:19:09 +01:00
55b029961b * .gitignore: Ignore *.gcov files. Alexandre Duret-Lutz 2017-03-09 16:31:41 +01:00
4fd297786a gnulib: update to 405cd675384221b541b460c43de26d159914fe0a Alexandre Duret-Lutz 2017-03-09 16:27:15 +01:00
07e714e14e upgrade utfcpp to v2.3.5 Alexandre Duret-Lutz 2017-03-09 15:47:56 +01:00
b81d7e5839 python: add python bindings for declarative_environment Alexandre Duret-Lutz 2017-03-09 15:04:58 +01:00
2df677d2d2 parsetl: factor some code Alexandre Duret-Lutz 2017-03-09 14:27:51 +01:00
93b9932f90 * AUTHORS: Add Thomas Medioni. Alexandre Duret-Lutz 2017-03-09 13:52:30 +01:00
194c199232 Implement sum(..) and sum_and(..). Thomas Medioni 2017-03-06 17:03:34 +01:00
4c08e7ec00 python: add bindings for to_generalized_buchi() Alexandre Duret-Lutz 2017-03-08 17:33:51 +01:00
4a160cb644 * spot/twaalgos/remfin.cc: Typos in comment. Alexandre Duret-Lutz 2017-03-08 16:52:46 +01:00
5793cf32f9 python: add bindings for to_generalized_buchi() Alexandre Duret-Lutz 2017-03-08 17:33:51 +01:00
7726147977 * spot/twaalgos/remfin.cc: Typos in comment. Alexandre Duret-Lutz 2017-03-08 16:52:46 +01:00
cd89983ca5 typos: dictionnary -> dictionary Alexandre Duret-Lutz 2017-03-08 16:10:47 +01:00
d1d3ee38e6 python: add bindings for bdd_to_formula() Alexandre Duret-Lutz 2017-03-08 15:18:49 +01:00
47e1c9692e typos: dictionnary -> dictionary Alexandre Duret-Lutz 2017-03-08 16:10:47 +01:00
0d8a88b28b degen: improve test coverage Alexandre Duret-Lutz 2017-03-08 15:48:38 +01:00
4e9303e380 python: add bindings for bdd_to_formula() Alexandre Duret-Lutz 2017-03-08 15:18:49 +01:00
cd4c326f7b twa_graph: more test coverage Alexandre Duret-Lutz 2017-03-07 17:24:14 +01:00
df44616dfd twa_graph: remove the useless set_init_state(const state*) Alexandre Duret-Lutz 2017-03-07 17:33:43 +01:00
2e763a08cc twa_graph: more test coverage Alexandre Duret-Lutz 2017-03-07 17:24:14 +01:00
be4f139757 tests: remove ltlprod Alexandre Duret-Lutz 2017-03-07 16:01:14 +01:00
61924aec37 postproc/translate: more doc and references Alexandre Duret-Lutz 2017-03-07 14:06:29 +01:00
650bb7ed03 twa_graph: fix set_univ_init_state() with initializer_list Alexandre Duret-Lutz 2017-03-07 13:36:49 +01:00
5e1d575615 postproc/translate: more doc and references Alexandre Duret-Lutz 2017-03-07 14:06:29 +01:00
2c9f201c0d twa_graph: fix set_univ_init_state() with initializer_list Alexandre Duret-Lutz 2017-03-07 13:36:49 +01:00
0621e0e9c5 monitor: fix -MD/-M difference in property output Alexandre Duret-Lutz 2017-03-03 18:23:57 +01:00
28f4e4b9a5 doc: simplify a C++ example Alexandre Duret-Lutz 2017-03-03 17:58:31 +01:00
0df785bcde doc: add an example about how to build monitor in shell/python/C++ Alexandre Duret-Lutz 2017-03-03 17:36:31 +01:00
9defdad2bc postproc: fix monitor code Alexandre Duret-Lutz 2017-03-03 14:29:10 +01:00
57ea6d9634 sbacc: fix a typo and remove some useless code Alexandre Duret-Lutz 2017-03-03 11:36:41 +01:00
a66e7704d8 monitor: fix -MD/-M difference in property output Alexandre Duret-Lutz 2017-03-03 18:23:57 +01:00
3699e6cd0c doc: simplify a C++ example Alexandre Duret-Lutz 2017-03-03 17:58:31 +01:00
bb23ea9978 doc: add an example about how to build monitor in shell/python/C++ Alexandre Duret-Lutz 2017-03-03 17:36:31 +01:00
2b9accdf58 postproc: fix monitor code Alexandre Duret-Lutz 2017-03-03 14:29:10 +01:00
cf5d2c2b32 acc: make mark_t::operator bool() explicit Alexandre Duret-Lutz 2017-03-03 13:26:33 +01:00
37fc948be4 sbacc: fix a typo and remove some useless code Alexandre Duret-Lutz 2017-03-03 11:36:41 +01:00
e826710cf1 remove options -! and -" from genltl Alexandre Duret-Lutz 2017-03-01 16:17:05 +01:00
dfe02f722e add options to %x to list atomic propositions Alexandre Duret-Lutz 2017-03-01 16:02:09 +01:00
1eb5be543d acc: implement min_set() and max_set() using gcc builtins Alexandre Duret-Lutz 2017-03-02 14:17:06 +01:00
22a3d1c393 remove options -! and -" from genltl Alexandre Duret-Lutz 2017-03-01 16:17:05 +01:00
18283d6907 add options to %x to list atomic propositions Alexandre Duret-Lutz 2017-03-01 16:02:09 +01:00
68ad391948 correct handling of --stats=%P Alexandre Duret-Lutz 2017-02-28 16:39:54 +01:00
d2e9515c10 skip divine tests when divine does not understand compile --help Alexandre Duret-Lutz 2017-02-28 16:05:59 +01:00
0d00ab24d2 bin: --stats=%x to count atomic propositions Alexandre Duret-Lutz 2017-02-28 14:06:26 +01:00
dd5a820863 * spot/priv/satcommon.cc: Fix include. Alexandre Duret-Lutz 2017-02-27 22:27:47 +01:00
ac39c1db3c powerset: minor simplifications Alexandre Duret-Lutz 2017-02-28 15:54:52 +01:00
e0d3291881 correct handling of --stats=%P Alexandre Duret-Lutz 2017-02-28 16:39:54 +01:00
905af90459 skip divine tests when divine does not understand compile --help Alexandre Duret-Lutz 2017-02-28 16:05:59 +01:00
6c218e4828 bin: --stats=%x to count atomic propositions Alexandre Duret-Lutz 2017-02-28 14:06:26 +01:00
0f7008d98c * spot/priv/satcommon.cc: Fix include. Alexandre Duret-Lutz 2017-02-27 22:27:47 +01:00
58abbc7399 * AUTHORS: Add Clément Gillard Alexandre Duret-Lutz 2017-02-28 16:49:07 +01:00
da051e112d decompose_scc: Update 'decompose' notebook Clément Gillard 2017-02-07 17:35:33 +01:00
5d143cc1f8 decompose_scc: factor autfilt into decompose_acc_scc Clément Gillard 2017-02-16 15:35:01 +01:00
c0eeea2c5f autfilt: Add '--decompose-scc' option Clément Gillard 2017-02-03 14:37:32 +01:00
164135d3d7 Add a decompose_scc() function Clément Gillard 2017-02-02 17:57:40 +01:00
289b2383ad scc_info: add Python bindings Alexandre Duret-Lutz 2017-02-20 14:29:25 +01:00
803f9a5dd8 * doc/org/genltl.org: Simplify example. Alexandre Duret-Lutz 2017-02-20 12:10:15 +01:00