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

Commit graph

  • 365d0ead94 * src/tgbaalgos/reducerun.hh: Typos in documentation. Alexandre Duret-Lutz 2013-07-20 17:08:23 +02:00
  • b26b910358 * src/bin/ltlcross.cc: Typo. Alexandre Duret-Lutz 2013-07-20 16:13:47 +02:00
  • 00bf8d1641 * doc/org/ioltl.org: Typos. Alexandre Duret-Lutz 2013-07-09 20:39:14 +02:00
  • 9bd49cfcfc * NEWS, configure.ac: Bump version to 1.1.3a. Alexandre Duret-Lutz 2013-07-09 15:53:44 +02:00
  • 026830d159 Release Spot 1.1.3. Alexandre Duret-Lutz 2013-07-09 14:03:07 +02:00
  • a9a96ee4ff ltlcross: do not use f after it has been destroyed. Alexandre Duret-Lutz 2013-07-09 13:59:22 +02:00
  • 168265bdf0 * NEWS: Summarize recent changes. Alexandre Duret-Lutz 2013-07-09 06:25:05 +02:00
  • 327bd2d621 Support reading the new style of neverclaim output by Spin 6.24+. Alexandre Duret-Lutz 2013-07-09 06:14:38 +02:00
  • ff102d3d94 Fix non-standard use of the date command. Alexandre Duret-Lutz 2013-06-25 10:36:55 +02:00
  • fc5d4e1a41 Fix "BDD Error" in scc_filter(). Alexandre Duret-Lutz 2013-06-19 20:58:25 +02:00
  • 372a086cb7 Improve ltlfilt.org Alexandre Duret-Lutz 2013-06-09 18:55:57 +02:00
  • 644b5f0152 * configure.ac, NEWS: Bump version to 1.1.2a. Alexandre Duret-Lutz 2013-06-09 18:44:42 +02:00
  • 424f04ca11 Release Spot 1.1.2. Alexandre Duret-Lutz 2013-06-09 18:05:20 +02:00
  • ecc8b8c79c * NEWS: Summarize recent changes. Alexandre Duret-Lutz 2013-06-09 16:01:34 +02:00
  • 178ba87681 Improve documentation here and there. Alexandre Duret-Lutz 2013-06-08 23:59:17 +02:00
  • 1cd9b204ed Fix verbatim blocks of Doxygen comments. Alexandre Duret-Lutz 2013-06-08 23:43:16 +02:00
  • 1ec9cebe58 Move \ingroup before \brief in all Doxygen comments. Alexandre Duret-Lutz 2013-06-08 23:24:37 +02:00
  • 0ec3f7843a simulation: fix compilation with g++ < 4.5. Alexandre Duret-Lutz 2013-05-22 20:06:26 +02:00
  • 4c1a9fdb10 More files to ignore. Alexandre Duret-Lutz 2013-05-17 11:11:19 +02:00
  • 330b6ddac0 * src/bin/ltlcross.cc (statistics): Initialize all members. Alexandre Duret-Lutz 2013-05-16 17:46:18 +02:00
  • 57d25f0e21 * NEWS, configure.ac: Bump version to 1.1.1a. Alexandre Duret-Lutz 2013-05-13 20:04:04 +02:00
  • 27a18a0410 Release Spot 1.1.1 Alexandre Duret-Lutz 2013-05-13 16:20:29 +02:00
  • 5a6b50acbb org: Augment the load-path. Alexandre Duret-Lutz 2013-05-13 16:12:32 +02:00
  • b457e78fb0 * doc/org/ltlfilt.org: Add an example with --stutter-invariant. Alexandre Duret-Lutz 2013-05-13 16:10:09 +02:00
  • 54b25b8c8e ltlcross: more documentation Alexandre Duret-Lutz 2013-05-13 09:09:21 +02:00
  • 9b82d7557c ltlcross: add a --products=N option Alexandre Duret-Lutz 2013-05-12 20:54:49 +02:00
  • b4670f85f1 bdddict: add an unregister_all_typed_variables() method Alexandre Duret-Lutz 2013-05-12 18:26:41 +02:00
  • 0c7c933805 simulation: Fix co-simulation and iterated simulations of BA automata Alexandre Duret-Lutz 2013-05-12 17:49:20 +02:00
  • 372790a489 bin: Ignore empty lines on input. Alexandre Duret-Lutz 2013-05-12 17:32:46 +02:00
  • 9e589422d1 ltlcross: Add a --seed option. Alexandre Duret-Lutz 2013-05-12 17:28:09 +02:00
  • 6b5b002ff9 Introduce scc_filter_states(). Alexandre Duret-Lutz 2013-05-12 17:22:00 +02:00
  • 2cab8197e5 ltlfilt: Fix handling --universal, --eventual, and --stutter-invariant. Alexandre Duret-Lutz 2013-05-10 21:21:48 +02:00
  • eed7e2df8f lbtt: improve the LBTT output Alexandre Duret-Lutz 2013-05-09 19:13:51 +02:00
  • e2378b4904 Fix genltl --gh-r Alexandre Duret-Lutz 2013-04-30 00:01:35 +02:00
  • b881c10155 * NEWS, configure.ac: Bump version to 1.1a. Alexandre Duret-Lutz 2013-04-28 17:24:08 +02:00
  • 556ba6df9e Release Spot 1.1 Alexandre Duret-Lutz 2013-04-28 13:00:17 +02:00
  • c5225a8295 * doc/Makefile.am (org-stamp): Depend on init.el.in, not init.el. Alexandre Duret-Lutz 2013-04-28 16:30:51 +02:00
  • a2b98c6340 man: Fix installation and distribution of spot-x.7. Alexandre Duret-Lutz 2013-04-28 15:20:25 +02:00
  • 66c77f587b cgi: improve documentation Alexandre Duret-Lutz 2013-04-28 12:36:35 +02:00
  • db006f6280 * Makefile.am (SUBDIRS): Build doc last. Alexandre Duret-Lutz 2013-04-28 11:43:48 +02:00
  • c5d59523dc * AUTHORS: Add Étienne Alexandre Duret-Lutz 2013-04-28 10:44:10 +02:00
  • 5165fa2784 * src/tgba/tgbatba.hh: Mention degeneralize(). Alexandre Duret-Lutz 2013-04-28 00:24:07 +02:00
  • ea3a66cace * doc/org/ltl2tgba.org: Typo. Alexandre Duret-Lutz 2013-04-28 00:23:11 +02:00
  • fec939c1a6 ltlcross: count SCCs of various strenghts Alexandre Duret-Lutz 2013-04-27 20:33:51 +02:00
  • cb7cd868a5 isweakscc: cleanup interfaces and code Alexandre Duret-Lutz 2013-04-27 20:02:11 +02:00
  • 450ec22bc3 Heuristics for SCC strength Etienne Renault 2013-03-06 15:50:37 +01:00
  • b4fbbc9562 Fix Warning GCC 4.8 Etienne Renault 2013-04-11 11:57:03 +02:00
  • 9cd7500f26 * NEWS: Mention recent changes. Alexandre Duret-Lutz 2013-04-27 10:51:56 +02:00
  • 9caa9ad134 Implement a favor_even_univ option in the rewriting rules. Alexandre Duret-Lutz 2012-06-11 19:09:34 +02:00
  • 969d927145 Add the Spin'13 benchmark. Alexandre Duret-Lutz 2013-02-25 09:27:04 +01:00
  • b6d4806dca translate: use compositional suspension on request Alexandre Duret-Lutz 2013-04-26 17:43:43 +02:00
  • 88cd376dff scc_filter: Improve selection of missing acceptance sets. Alexandre Duret-Lutz 2013-03-02 15:34:38 +01:00
  • 4c2791e042 postproc: Perform simulation on the BA in --high mode. Alexandre Duret-Lutz 2013-04-26 11:03:47 +02:00
  • ce2bb052cb Add compositional suspension to the web interface. Alexandre Duret-Lutz 2013-04-27 10:13:46 +02:00
  • 53c6923567 Introduce compositional suspension (SPIN'13) Alexandre Duret-Lutz 2013-04-27 10:11:48 +02:00
  • ba6fe9e183 * doc/org/init.el.in: Disable org-publish-use-timestamps-flag. Alexandre Duret-Lutz 2013-04-26 11:48:12 +02:00
  • 11303a4620 * NEWS: Mention recent changes. Alexandre Duret-Lutz 2013-04-15 14:26:27 +02:00
  • 212cb835fc bench/ltl2tgba: Adjust to support different config files. Alexandre Duret-Lutz 2013-04-12 18:17:14 +02:00
  • c2e96387e4 * AUTHORS: Add Elie (recent patches) and Heikki (very old patch). Alexandre Duret-Lutz 2013-04-12 11:36:04 +02:00
  • 302bafc41f * bench/ltl2tgba/sum.py: Adjust. Elie Abi Saad 2013-02-14 15:29:12 +01:00
  • 2e5e5d1e3c Add inputs support. Elie Abi Saad 2013-02-14 15:17:50 +01:00
  • 69dcff5ab0 org: Make sure ../../src/bin is searched first. Alexandre Duret-Lutz 2013-04-11 18:59:32 +02:00
  • 33ba8a78c5 * src/bin/man/ltlfilt.x: Add a bibliography section. Alexandre Duret-Lutz 2013-04-08 18:24:08 +02:00
  • a7bfb42de7 remove_x: Implement detection of stutter-invariant LTL formulas. Alexandre Duret-Lutz 2013-04-05 18:51:05 +02:00
  • 8896c3d5da * src/tgba/bddprint.hh: Typo in Doxygen comment. Alexandre Duret-Lutz 2013-04-04 12:06:20 +02:00
  • 12d369fc30 * doc/Makefile.am: Add missing dependency on userdoc/ Alexandre Duret-Lutz 2013-03-28 17:57:21 +01:00
  • 9145515bb8 ltlscan: get rid of boost::lexical_cast Alexandre Duret-Lutz 2013-03-27 19:12:45 +01:00
  • 990ba837d3 * NEWS: mention doc/org/ and doc/userdoc/ Alexandre Duret-Lutz 2013-03-26 17:58:44 +01:00
  • d5490c181b * HACKING: Document the use of emacs / org-mode. Alexandre Duret-Lutz 2013-03-21 09:02:52 +01:00
  • 19ca5a607d org: Add an org-deploy rule Alexandre Duret-Lutz 2013-03-20 17:18:42 +01:00
  • 1f4e035147 * doc/org/ioltl.org: Fix link to ltl2dstar. Alexandre Duret-Lutz 2013-03-20 16:43:32 +01:00
  • e23203b819 org: batch-generate userdoc/ and distribute it Alexandre Duret-Lutz 2013-03-20 16:39:37 +01:00
  • c24270bbf5 org: upgrade to 1.0.2 Alexandre Duret-Lutz 2013-03-19 15:24:46 +01:00
  • d1ad744887 org: update for 1.0.1 Alexandre Duret-Lutz 2013-01-23 18:31:54 +01:00
  • 152a46b961 Add a .dir-locals.el for org files. Alexandre Duret-Lutz 2013-01-23 18:31:01 +01:00
  • 345b8c5b14 doc: add org-mode documentation for user tools Alexandre Duret-Lutz 2013-01-10 10:30:48 +01:00
  • 2f5d961d10 * iface/dve2/Makefile.am: Add missing dependency. Alexandre Duret-Lutz 2013-03-26 17:07:51 +01:00
  • 9723738404 dve2: use the new translator class Alexandre Duret-Lutz 2013-03-26 17:00:44 +01:00
  • c5b7e8e1da Introduce a translator class. Alexandre Duret-Lutz 2013-03-25 19:21:09 +01:00
  • 0edb2b7a17 * NEWS: Document recent changes. Alexandre Duret-Lutz 2013-03-23 17:59:35 +01:00
  • 276f9108c6 ltl2tgta: Honor -x as well Alexandre Duret-Lutz 2013-03-23 17:19:50 +01:00
  • d78670ad44 spot-x.7: new man page for common fine-tuning options Alexandre Duret-Lutz 2013-03-23 17:08:28 +01:00
  • 1337c9c3e1 simulation: many fixes. Alexandre Duret-Lutz 2013-02-13 18:17:30 +01:00
  • a965af711c postproc: add an scc-filter option Alexandre Duret-Lutz 2013-02-14 14:35:14 +01:00
  • bc7a2865de postproc: add some experimental don't care options Alexandre Duret-Lutz 2013-02-12 19:28:13 +01:00
  • ca94168540 * src/tgbaalgos/simulation.cc: Merge two loops. Alexandre Duret-Lutz 2013-02-12 19:16:55 +01:00
  • 08c77318ae Add the "don't care" simulation Thomas Badie 2012-09-27 16:45:40 +02:00
  • 5796114e37 postproc: add a "simul" option to select the simulation algorithm Alexandre Duret-Lutz 2013-02-12 17:24:24 +01:00
  • c46891edc7 sccfilter: ignore more acceptance conditions Alexandre Duret-Lutz 2012-12-04 12:14:46 +01:00
  • 05e59a9e1a postproc: Add an option_map parameter Alexandre Duret-Lutz 2013-02-01 19:00:31 +01:00
  • 1b2f9fe5d8 degen: fix a memory leak Alexandre Duret-Lutz 2013-02-11 14:01:02 +01:00
  • 63cb925f1f * src/tgbaalgos/degen.cc: Fix style. Alexandre Duret-Lutz 2013-02-10 23:45:16 +01:00
  • 73ee50446b degen: disable custom order by default Alexandre Duret-Lutz 2013-01-03 19:48:12 +01:00
  • c04951c444 degen: small fixups and interface with ltl2tgba Alexandre Duret-Lutz 2012-12-06 00:34:00 +01:00
  • bb1aa0ca13 * AUTHORS: Add Tomáš Babiak. Alexandre Duret-Lutz 2012-12-05 20:07:47 +01:00
  • 774a266bfe degen: introduce three optimizations Tomáš Babiak 2012-12-05 20:00:55 +01:00
  • 35e16a0b9a * src/bin/ltlfilt.cc: Destroy equivalent_to, implied_by, and imply. Alexandre Duret-Lutz 2013-04-05 18:50:32 +02:00
  • 2e7711a322 * src/ltlast/formula.cc: Typo. Alexandre Duret-Lutz 2013-04-03 17:12:20 +02:00
  • c083c0df33 ltl2tgba: fix translation of !{xxx} when xxx reduces to false Alexandre Duret-Lutz 2013-04-03 17:44:17 +02:00
  • a9fc213a44 fix a memory leak in basic LTL simplifications Alexandre Duret-Lutz 2013-03-28 17:24:20 +01:00