alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Commit graph

  • c7da4003a7 * src/tgba/taatgba.cc: Fix a memory leak. Alexandre Duret-Lutz 2014-07-08 16:22:56 +02:00
  • 116fe8654f Remove ltl2tgba_lacim and all supporting classes. Alexandre Duret-Lutz 2014-07-08 16:22:43 +02:00
  • 26b932828b * src/tgba/taatgba.cc: Fix a memory leak. Alexandre Duret-Lutz 2014-07-08 16:22:56 +02:00
  • d80a7cd9bd powerset: use tgba_digraph instead of tgba_explicit_number. Alexandre Duret-Lutz 2014-07-07 18:57:43 +02:00
  • 7602bd1a37 automatop: remove this type of formula operator. Alexandre Duret-Lutz 2014-07-04 03:11:17 +02:00
  • af8ce5dfa1 eltl2tgba: remove this unused code. Alexandre Duret-Lutz 2014-07-04 02:55:14 +02:00
  • 06b3a80af3 .gitignore: More files to ignore. Alexandre Duret-Lutz 2014-07-04 02:45:16 +02:00
  • 61791baf4c dtgbasat: replace tgba_explicit_number by tgba_digraph Alexandre Duret-Lutz 2014-07-04 02:15:46 +02:00
  • ee087b5996 emptiness: Upgrade to tgba_digraph. Alexandre Duret-Lutz 2014-07-04 01:23:24 +02:00
  • 97e3eb7655 * src/priv/countstates.cc: Handle tgba_digraph. Alexandre Duret-Lutz 2014-07-03 11:12:05 +02:00
  • 120ce7d8e6 lbtt: build an explicit automaton on input. Alexandre Duret-Lutz 2014-07-02 18:54:20 +02:00
  • 1d28714c3a * src/tgbaalgos/randomgraph.cc: Update comment. Alexandre Duret-Lutz 2014-07-02 11:17:50 +02:00
  • 64822be6a1 * src/tgbaparse/tgbaparse.yy: Cosmetics. Alexandre Duret-Lutz 2014-07-02 11:15:40 +02:00
  • 2beacc3924 common: introduce SPOT_UNREACHABLE and SPOT_UNIMPLEMENTED. Alexandre Duret-Lutz 2014-06-27 14:42:54 +02:00
  • c93b41a2c7 randomgraph: Use tgba_digraph. Alexandre Duret-Lutz 2014-06-26 23:13:19 +02:00
  • 4170080c35 tgbaparse: Return a tgba_digraph. Alexandre Duret-Lutz 2014-06-26 23:07:33 +02:00
  • c0b28dc9c8 ltl::environment: correctly declare name() as const Alexandre Duret-Lutz 2014-06-25 23:08:38 +02:00
  • a6f754b7c7 * src/tgbaalgos/sccfilter.cc: Work around g++ 4.6. Alexandre Duret-Lutz 2014-06-22 13:10:58 +02:00
  • 7d70229f5b [buddy] Improve handling of bddtrue and bddfalse. Alexandre Duret-Lutz 2014-06-20 18:36:08 +02:00
  • 4df4b4efd2 Adjust some uses of bddtrue/bddfalse. Alexandre Duret-Lutz 2014-06-20 18:37:22 +02:00
  • af6cb049f2 sccfilter: improve the new version to simplify acceptance sets Alexandre Duret-Lutz 2014-06-20 17:28:11 +02:00
  • 84f92541f3 * src/graph/graph.hh, src/tgba/tgbagraph.hh: Cosmetic fixes. Alexandre Duret-Lutz 2014-06-20 13:46:39 +02:00
  • 13673a1421 sccfilter: implement a new version of tgba_digraph Alexandre Duret-Lutz 2014-06-19 19:19:06 +02:00
  • e299a3d1bf simulation: build tgba_digraph Alexandre Duret-Lutz 2014-05-22 20:31:50 +02:00
  • 31bf8c2c1e ngraph: support aliasing states Alexandre Duret-Lutz 2014-05-22 10:46:25 +02:00
  • 424de90385 tgbagraph: add a merge_transitions() method. Alexandre Duret-Lutz 2014-05-21 19:16:50 +02:00
  • 9909699c63 implement scc_filter_states for tgba_digraph Alexandre Duret-Lutz 2014-05-21 14:53:03 +02:00
  • 9903ae2fa8 Implement an scc_info class that should eventually replace scc_map. Alexandre Duret-Lutz 2014-04-28 21:03:31 +02:00
  • 5187752c9a org: Prevent a race on the buildfarm. Alexandre Duret-Lutz 2014-04-28 10:59:55 +02:00
  • 6c76ba408e neverparse: Fix parsing of Modella's neverclaims. Alexandre Duret-Lutz 2014-05-29 15:48:31 +02:00
  • 1c0a93cc0f * src/graph/graph.hh (trans_iterator): Respect the forward_iterator API. Alexandre Duret-Lutz 2014-04-28 10:38:41 +02:00
  • ac98d7c006 * src/tgbaalgos/simulation.cc: More map->vector conversions. Alexandre Duret-Lutz 2014-04-06 19:59:27 +02:00
  • 32a0db6ae1 dupexp, simulation: more simplifications. Alexandre Duret-Lutz 2014-04-06 17:53:12 +02:00
  • bb2ce45b8a simulation: simplify using tgba_digraph more Alexandre Duret-Lutz 2014-04-06 08:27:24 +02:00
  • 2c36ef54c0 * src/tgbaalgos/compsusp.cc: Ignore useless suspendable subformulae. Alexandre Duret-Lutz 2014-04-06 08:26:10 +02:00
  • 92eed08261 dupexp, simulation: use tgba_digraph. Alexandre Duret-Lutz 2014-04-02 22:03:50 +02:00
  • 1f70e6742d tgba: Implement a tgbagraph subclass Alexandre Duret-Lutz 2014-03-30 23:46:38 +02:00
  • f968c4ed67 graph: add SPOT_API on public classes. Alexandre Duret-Lutz 2014-02-17 15:51:10 +01:00
  • c793d3f13a graph: Add a test close to the tgba_explicit_string setup. Alexandre Duret-Lutz 2014-02-17 15:36:22 +01:00
  • a8fd188d5e graph: Add a named_graph class. Alexandre Duret-Lutz 2014-02-16 22:31:09 +01:00
  • f7711e9a63 graph: Implement a directed graph. Alexandre Duret-Lutz 2014-01-21 17:57:33 +01:00
  • a4934c4f71 * NEWS: Mention recent fix. Alexandre Duret-Lutz 2014-05-17 15:13:35 +02:00
  • 8315cad6db * src/ltltest/equals.cc: Fix style. Alexandre Duret-Lutz 2014-05-15 21:24:38 +02:00
  • 139f7b49b4 snf: Fix the handling of bounded repetition. Alexandre Duret-Lutz 2014-05-15 20:06:43 +02:00
  • 7bcf655350 * src/ltltest/equals.cc: Fix style. Alexandre Duret-Lutz 2014-05-15 21:24:38 +02:00
  • 05ed3def00 snf: Fix the handling of bounded repetition. Alexandre Duret-Lutz 2014-05-15 20:06:43 +02:00
  • 53de8fc3a4 Merge branch 'master' into next Alexandre Duret-Lutz 2014-05-15 14:30:49 +02:00
  • f431852af9 * NEWS, configure.ac: Bump version to 1.2.4a. Alexandre Duret-Lutz 2014-05-15 12:13:29 +02:00
  • c11f15c76c Release Spot 1.2.4 Alexandre Duret-Lutz 2014-05-15 10:51:38 +02:00
  • 9761703736 doc: update bibliographic references Alexandre Duret-Lutz 2014-05-14 18:16:12 +02:00
  • c46d6cee9a * src/ltlast/multop.hh: Typo in comment. Alexandre Duret-Lutz 2014-05-13 18:26:32 +02:00
  • d741d9266d simplify: remove an incorrect simplification rule Alexandre Duret-Lutz 2014-05-13 17:26:53 +02:00
  • 362862dace llt2tgba_fm: fix translation of ":" in some SERE Alexandre Duret-Lutz 2014-05-13 17:08:18 +02:00
  • 48471b5114 simplify: fix 3 incorrect simplification rules Alexandre Duret-Lutz 2014-05-13 16:59:51 +02:00
  • 2a155593ba org: Prevent a race on the buildfarm. Alexandre Duret-Lutz 2014-04-28 10:59:55 +02:00
  • 27b78a5cc5 Simplify the code of a test case. Alexandre Duret-Lutz 2014-04-24 16:38:45 +02:00
  • 34fd27a381 * AUTHORS: Fix So[u]heib's name at his request. Alexandre Duret-Lutz 2014-04-11 11:37:25 +02:00
  • a5b6865c0b ltl2ta: fix a crash with --ta. Alexandre Duret-Lutz 2014-04-07 17:39:21 +02:00
  • c4307e21ae * NEWS: Mention recent changes. Alexandre Duret-Lutz 2014-04-07 14:59:53 +02:00
  • ae62265ec8 Adjust to Swig 3.0. Alexandre Duret-Lutz 2014-04-03 17:14:09 +02:00
  • f5914647aa * src/dstarparse/nra2nba.cc: Fix comment. Alexandre Duret-Lutz 2014-02-26 16:33:57 +01:00
  • db02e7c3d0 postproc: Add a degen-lskip option. Alexandre Duret-Lutz 2013-10-17 04:08:30 +02:00
  • ea58d68fe3 Adjust to Swig 3.0. Alexandre Duret-Lutz 2014-04-03 17:14:09 +02:00
  • 425e8bb37a tgbamask: implement a build_tgba_mask_acc_ignore() function. Alexandre Duret-Lutz 2014-03-27 18:35:41 +01:00
  • a828662be6 Fix a regression in tgbamask.cc, reported by Alexandre Lewkowicz. Alexandre Duret-Lutz 2014-03-20 09:30:01 +01:00
  • 559f49c7d5 * src/dstarparse/nra2nba.cc: Fix comment. Alexandre Duret-Lutz 2014-02-26 16:33:57 +01:00
  • bd870f9ab8 tgba: remove the global_state and global_automaton argument of succ_iter Alexandre Duret-Lutz 2014-02-17 19:43:03 +01:00
  • 0fba428cd9 tgba: remove the support_variable() method. Alexandre Duret-Lutz 2014-02-17 16:34:12 +01:00
  • 358ea9ed87 * NEWS: Mention recent changes. Alexandre Duret-Lutz 2014-02-14 14:21:44 +01:00
  • 393637f18a gtec: replace nsheap by a simple unordered_map Alexandre Duret-Lutz 2014-01-30 15:02:52 +01:00
  • 46e4408a85 gspn: remove the interface with GreatSPN Alexandre Duret-Lutz 2014-01-29 22:01:21 +01:00
  • 83ed4f8c90 simulation: use tuple and emplace_back for constraints Alexandre Duret-Lutz 2014-01-29 21:50:57 +01:00
  • ba5aff2460 Replace << "c" by << 'c', and check for it in style.sh Alexandre Duret-Lutz 2014-01-29 14:48:52 +01:00
  • 49c66c6319 c++11: replace push(Type(args...)) by emplace(args...) Alexandre Duret-Lutz 2014-01-28 23:33:07 +01:00
  • e0bbc2655d c++11: more range-based for Alexandre Duret-Lutz 2014-01-27 17:45:33 +01:00
  • b4c125c2b9 Avoid calling done(), as enabled by last patch. Alexandre Duret-Lutz 2014-01-27 00:00:22 +01:00
  • 1a5c0cb1f3 tgba_succ_iterator: have first() and next() return a bool Alexandre Duret-Lutz 2014-01-26 22:57:14 +01:00
  • 06c69f88ff Introduce tgba::release_iter(). Alexandre Duret-Lutz 2014-01-26 15:26:09 +01:00
  • 487cd01d9f c++11: introduce tgba::succ(s) to replace tgba::succ_iter(s). Alexandre Duret-Lutz 2014-01-25 19:48:28 +01:00
  • f59773e3c7 * src/sanity/style.test: Allow &&... Alexandre Duret-Lutz 2014-01-24 09:25:01 +01:00
  • 2f71741575 Use the degeneralization unicity_table in more places. Alexandre Duret-Lutz 2014-01-23 21:42:51 +01:00
  • c7b3148cb4 * src/tgbaalgos/degen.cc (unicity_table): Simplify. Alexandre Duret-Lutz 2014-01-23 14:23:35 +01:00
  • bd6d88db96 [buddy] Enable C++11 and add a move constructor/assignment operator. Alexandre Duret-Lutz 2014-01-06 21:28:46 +01:00
  • b37dc0bc90 ltlast: simplify with std::make_pair() and c++11's std::tuple Alexandre Duret-Lutz 2014-01-06 20:04:53 +01:00
  • c64503fb33 c++11: Simplify random generation code using C++11. Alexandre Duret-Lutz 2013-12-18 23:42:25 +01:00
  • 7480470760 Remove the configure check for Boost, since we do not use it anymore. Alexandre Duret-Lutz 2013-12-18 18:37:52 +01:00
  • 92ef3e1016 safra: get rid of boost::dynamic_bitset. Alexandre Duret-Lutz 2013-12-18 18:33:57 +01:00
  • 9a097bb02e bitvect: add a is_subset_of method. Alexandre Duret-Lutz 2013-12-18 18:33:10 +01:00
  • 90a43db5a4 c++11: Replace boost::shared_ptr by std::shared_ptr. Alexandre Duret-Lutz 2013-12-18 16:45:28 +01:00
  • 67b9e8d882 c++11: get rid of spot::unique_ptr Alexandre Duret-Lutz 2013-12-18 16:25:16 +01:00
  • cdd7b475b3 * lib/argp.h: Fix compilation with g++-4.6 -std=c++0x. Alexandre Duret-Lutz 2013-12-18 13:36:13 +01:00
  • 3a406dc3d7 c++11: improve configure. Alexandre Duret-Lutz 2013-12-17 18:17:22 +01:00
  • ea6a34b0b4 * src/kripke/kripkeexplicit.cc: Work around a clang warning. Alexandre Duret-Lutz 2013-12-16 13:28:14 +01:00
  • 79d6ef073e * HACKING: Some notes about C++11. Alexandre Duret-Lutz 2013-12-16 12:17:11 +01:00
  • c88e22d0ba c++11: work around Swig 2.0 Alexandre Duret-Lutz 2013-12-16 11:57:31 +01:00
  • 9cfc9f0f3f c++11: explicitly delete copy constructors and operator=. Alexandre Duret-Lutz 2013-12-16 00:12:26 +01:00
  • 557292bd11 c++11: use for(auto...) to simplify code in src/bin/. Alexandre Duret-Lutz 2013-12-15 23:50:42 +01:00
  • 34e91b7656 c++11: replace Sgi::hash_* by Sgi::unordered_*. Alexandre Duret-Lutz 2013-12-15 23:26:25 +01:00
  • c568b4d337 hash.hh: Remove conditional code. Alexandre Duret-Lutz 2013-12-15 22:38:35 +01:00
  • f3874e05cc * configure.ac: Turn on C++11 flags. Alexandre Duret-Lutz 2013-12-15 22:30:23 +01:00