Issues · Spot / Spot · GitLab

Streett changes for HOA 1.1 2 of 6 tasks completed

#249 · opened Mar 26, 2017 by Alexandre Duret-Lutz Spot 2.7 hoa wish
- 2
updated Nov 08, 2018
translation to improve

#264 · opened May 16, 2017 by Alexandre Duret-Lutz wish
- 0
updated Sep 02, 2017
more families of LTL formulas for genltl

#265 · opened May 17, 2017 by Alexandre Duret-Lutz gen wish
- 0
updated Jun 09, 2017
Transform Alternating Automata into Weak Alternating Automata 3 of 4 tasks completed

#266 · opened Jun 09, 2017 by Thomas Medioni wish
- 0
updated Oct 01, 2017
streett-like to streett

#272 · opened Jun 21, 2017 by Alexandre Duret-Lutz short task wish
- 0
updated Jun 21, 2017
is_inherently_weak should support alternating automata

#275 · opened Jul 20, 2017 by Thomas Medioni wish
- 1
updated Aug 09, 2017
missed simplifications

#173 · opened May 04, 2016 by Alexandre Duret-Lutz bug simulation wish
- 1
updated Sep 06, 2017
SPOT_PARSE_LOCATION

#232 · opened Feb 19, 2017 by Alexandre Duret-Lutz wish
- 1
updated Sep 06, 2017
Add other logics to Spot 0 of 4 tasks completed

#225 · opened Feb 10, 2017 by Maximilien Colange wish
- 1
updated Sep 06, 2017
autfilt --when EXPR

#222 · opened Feb 04, 2017 by Alexandre Duret-Lutz wish
- 0
updated Sep 06, 2017
overhaul the formula simplification routines 0 of 5 tasks completed

#281 · opened Sep 15, 2017 by Alexandre Duret-Lutz tl wish
- 0
updated Sep 15, 2017
connect tgba_determinize() and dtwa_sat_minimize() in ltl2tgba

#177 · opened May 17, 2016 by Alexandre Duret-Lutz wish
- 0
updated Nov 15, 2017
option to limit stack depth in emptiness checks

#209 · opened Jan 27, 2017 by Alexandre Duret-Lutz wish
- 0
updated Nov 15, 2017
ltlcross -D should allow setting a limit to the size of the deterministic automaton

#169 · opened Apr 27, 2016 by Alexandre Duret-Lutz wish
- 0
updated Nov 15, 2017
macport

#201 · opened Dec 14, 2016 by Etienne Renault darwin wish
- 0
updated Nov 15, 2017
Rewrite testing automata as Fin( ! 0)

#163 · opened Apr 25, 2016 by Etienne Renault wish
- 0
updated Nov 15, 2017
Produce fair Kripke when loading DVE file

#151 · opened Feb 15, 2016 by Etienne Renault wish
- 0
updated Nov 15, 2017
case where ltlcross consumes too much memory

#140 · opened Feb 05, 2016 by Alexandre Duret-Lutz wish
- 0
updated Nov 15, 2017
improve detection and handling of weak automata in remove_fin()

#183 · opened Jul 13, 2016 by Alexandre Duret-Lutz wish
- 1
updated Nov 15, 2017
add an intersect() method to twa_graph

#127 · opened Dec 09, 2015 by Alexandre Duret-Lutz wish
- 1
updated Jun 28, 2018
implement simulation-based inclusion checks

#182 · opened Jun 28, 2016 by Alexandre Duret-Lutz simulation wish
- 0
updated Nov 15, 2017
Python API documentation

#124 · opened Nov 17, 2015 by Alexandre Duret-Lutz wish
- 1
updated Nov 15, 2017
missed simplification

#180 · opened Jun 13, 2016 by Alexandre Duret-Lutz simulation wish
- 0
updated Nov 15, 2017
minimize_wdba() should have improved detection of terminal automata in its output

#121 · opened Nov 06, 2015 by Alexandre Duret-Lutz wish
- 0
updated Nov 15, 2017
minimize_wdba() should be specialized for terminal automata

#120 · opened Nov 06, 2015 by Alexandre Duret-Lutz wish
- 0
updated Nov 15, 2017
Automatic build for various distributions

#111 · opened Oct 09, 2015 by Alexandre Duret-Lutz wish
- 0
updated Nov 15, 2017
named temporal operators

#102 · opened Aug 14, 2015 by Alexandre Duret-Lutz wish
- 0
updated Nov 15, 2017
An example of BA translation that is better than its original TGBA

#75 · opened Apr 16, 2015 by Alexandre Duret-Lutz wish
- 2
updated Dec 14, 2020
'Step by step' mode for algorithms in python

#74 · opened Apr 09, 2015 by Etienne Renault wish
- 0
updated Nov 15, 2017
are_isomorphic and canonicalize should also consider reorderings of acceptance sets

#58 · opened Feb 20, 2015 by Alexandre Duret-Lutz wish
- 0
updated Nov 15, 2017
hoa: use acc-name to validate Acceptance

#54 · opened Jan 28, 2015 by Alexandre Duret-Lutz hoa wish
- 0
updated Nov 15, 2017
fusion-star support 4 of 7 tasks completed

#51 · opened Jan 15, 2015 by Alexandre Duret-Lutz wish
- 1
updated Nov 15, 2017
improve failure reporting of ltlcross

#38 · opened Dec 19, 2014 by Alexandre Duret-Lutz wish
- 1
updated Nov 15, 2017
implement a feed-back arc set heuristic

#37 · opened Dec 19, 2014 by Alexandre Duret-Lutz wish
- 0
updated Nov 15, 2017
PSL and persistent formulas

#29 · opened Dec 19, 2014 by Alexandre Duret-Lutz wish
- 0
updated Nov 15, 2017
Finalize PSL support 0 of 4 tasks completed

#28 · opened Dec 19, 2014 by Alexandre Duret-Lutz wish
- 0
updated Nov 15, 2017
improve syntactic characterization to take simplification rules into account

#10 · opened Dec 19, 2014 by Alexandre Duret-Lutz wish
- 0
updated Nov 15, 2017
improve remove-x

#27 · opened Dec 19, 2014 by Alexandre Duret-Lutz wish
- 0
updated Nov 15, 2017
find a way to reduce {b*;r} = (b W r) when r is satisfiable

#2 · opened Dec 06, 2014 by Alexandre Duret-Lutz rewritings wish
- 0
updated Nov 15, 2017
improve speed of wdba-minimization

#26 · opened Dec 19, 2014 by Alexandre Duret-Lutz wish
- 3
updated Nov 15, 2017
ltlfilt --ltl=subclass

#24 · opened Dec 19, 2014 by Alexandre Duret-Lutz wish
- 0
updated Nov 15, 2017
rewrite the web page ltl2tgba.html so its interface is similar to that of the command-line ltl2tgba

#18 · opened Dec 19, 2014 by Alexandre Duret-Lutz wish
- 0
updated Nov 15, 2017
better compilation options

#13 · opened Dec 19, 2014 by Alexandre Duret-Lutz wish
- 0
updated Nov 15, 2017
even more LTL simplification for GF formulas

#12 · opened Dec 19, 2014 by Alexandre Duret-Lutz rewritings wish
- 0
updated Nov 15, 2017
accessibility properties

#308 · opened Dec 06, 2017 by Alexandre Duret-Lutz wish
- 0
updated Dec 06, 2017
complementation of semi-deterministic automata

#310 · opened Dec 15, 2017 by Alexandre Duret-Lutz wish
- 3
updated Jul 30, 2020
evaluation of formula on word

#322 · opened Jan 26, 2018 by Alexandre Duret-Lutz wish
- 1
updated Mar 24, 2018
better handling of silly histories in sat_minimize()

#344 · opened Apr 20, 2018 by Alexandre Duret-Lutz wish
- 0
updated Apr 20, 2018
partition an automaton into safety and liveness

#364 · opened Oct 01, 2018 by Alexandre Duret-Lutz wish
- 1
updated Nov 05, 2018
a curious case of smaller "unambiguous" automaton

#365 · opened Oct 01, 2018 by Alexandre Duret-Lutz wish
- 0
updated Oct 01, 2018
add acc_cond::is_hyper_rabin() and acc_cond::is_hyper_streett() functions

#369 · opened Nov 07, 2018 by Alexandre Duret-Lutz wish
- 0
updated Nov 07, 2018
Enumerate all possibles SCCs/automata of size N

#370 · opened Nov 13, 2018 by Etienne Renault wish
- 0
updated Nov 13, 2018
ltl2tgba -G cases that can be improved

#385 · opened Apr 24, 2019 by Alexandre Duret-Lutz rewritings wish
- 1
updated Jul 22, 2020
postprocessing twice may improve things

#386 · opened Apr 24, 2019 by Alexandre Duret-Lutz wish
- 1
updated Jul 31, 2019
use graphviz layers for interactive display

#394 · opened Nov 28, 2019 by Alexandre Duret-Lutz wish
- 0
updated Nov 28, 2019
a case when -G -D produce a parity automaton more than twice smaller than -P -D

#397 · opened Jan 15, 2020 by Alexandre Duret-Lutz wish
- 1
updated Jan 16, 2020
random conjunctions of patterns

#400 · opened Mar 12, 2020 by Alexandre Duret-Lutz wish
- 0
updated Mar 12, 2020
handling unconstrained I/O in ltlsynt

#415 · opened May 29, 2020 by Alexandre Duret-Lutz wish
- 1
updated May 29, 2020
for ltlsynt parity game solving could stop once the winner of initial state is known

#423 · opened Sep 10, 2020 by Alexandre Duret-Lutz wish
- 0
updated Sep 10, 2020
support for exclusive APs in ltl2tgba

#438 · opened Nov 12, 2020 by Alexandre Duret-Lutz wish
- 1
updated Nov 12, 2020
iterate over bit sets in bitvect or bitset

#440 · opened Nov 17, 2020 by Alexandre Duret-Lutz wish
- 0
updated Nov 17, 2020
improve determinisation of automata matching string-like patterns 2 of 3 tasks completed

#444 · opened Dec 08, 2020 by Alexandre Duret-Lutz wish
- 0
updated Dec 09, 2020
generalize defrag_state()

#450 · opened Jan 20, 2021 by Alexandre Duret-Lutz wish
- 0
updated Jan 20, 2021