Download Latest Version ltl3dra-0.2.6.tar.gz (76.8 kB)
Email in envelope

Get an email when there's a new version of LTL3DRA

Home / LPAR19-benchmarks
Name Modified Size InfoDownloads / Week
Parent folder
real.ltl 2013-10-04 2.5 kB
0
uniform.ltl 2013-10-04 4.9 kB
0
morefg.ltl 2013-10-04 4.6 kB
0
fg.ltl 2013-10-04 4.8 kB
0
Totals: 4 Items   16.7 kB 0 
version 0.2.6 (2017-12-20):
  -- new features:
    -- provides possibility to check whether formula is from LTL-GUX (-C)

version 0.2.5 (2017-08-03):
  -- bug fixes: 
    -- incorrect issue of univ-branch propoerty in HOA output of VWAA
	-- it was incorrectly claimed that BA were created by ltl3ba
  Thanks Alexandre Duret-Lutz for reporting the bugs.

version 0.2.4 (2017-01-15):
  -- compile error solved
  -- bugs introduced by 0.2.3 fixed. 
  Thanks Tomas Babiak and Alexandre Duret-Lutz for reporting them.

version 0.2.3 (2016-09-13):
  -- compile issues in g++ 6.1 plus fixed. Thanks Alexadre Duret-Lutz for
             poiting them out and suggesting the fixes.

version 0.2.2 (2015-05-15):
  --syntax check for fragments. Based on patch provided by Joachim Klein. Thanks.
  --bug fixes:
    -- computation of Z_sets with U operator
    -- HOAF had wrong information about the number of Inf sets for some gen. Rabin pairs

version 0.2.1 (2015-02-02):
  -- bug fixes:
    -- -B option produced TGDRA instead of BA-neverclaim
    -- -t dption for statistics did not work
    -- formating issues in HOAF output
  Thanks Alexandre Duret-Lutz for reporting these bugs.

version 0.2 (2015-02-02):
  -- added options for HOAF output
  -- options for output redesigned. Ltl2star has now -L, HOAF -H and the
       original outputs of ltl3dra v.0.1 -T. One can now specify which automaton
       should be printed:
         1: VWAA
         2: TGDRA
         3: DRA
  -- bug fixes of LTL3BA 1.1.1 included
  -- utilities tgdra and tgdra3dot added

version 0.1.1 (2013-09-09):
  -- fixed bug in ltl2dstar output format:
    -- wrong number of states,
    -- wrong numbering of acceptance conditions.
  Thanks Alexandre Duret-Lutz for reporting it.
Source: Changelog-readme.txt, updated 2017-12-20