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
Name Modified Size InfoDownloads / Week
LPAR19-benchmarks 2013-10-04
0
ltl3dra-0.2.6.tar.gz 2018-05-07 76.8 kB
0
Changelog-readme.txt 2017-12-20 1.7 kB
0
README 2017-12-20 4.8 kB
0
ltl3dra-0.2.5.tar.gz 2017-12-20 76.7 kB
0
ltl3dra-0.2.4.tar.gz 2017-01-15 76.6 kB
1 1 weekly downloads
ltl3dra-0.2.3.tar.gz 2016-09-13 76.5 kB
0
ltl3dra-0.2.2.tar.gz 2015-06-15 76.5 kB
0
ltl3dra-0.2.1.tar.gz 2015-02-08 75.1 kB
0
ltl3dra-0.2.tar.gz 2015-02-02 75.1 kB
0
ltl3dra-0.1.1.tar.gz 2013-09-09 68.4 kB
0
ltl3dra-0.1.tar.gz 2013-08-28 68.4 kB
0
Totals: 12 Items   676.7 kB 1 
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