Merge requests · Spot / Spot

ltlsynt: improve error message in case of missing --ins and --outs

!21 · created Oct 22, 2021 by Alexandre Duret-Lutz
- Merged
- 0
updated Oct 23, 2021
synthesis: rename create_game() to ltl_to_game()

!20 · created Oct 18, 2021 by Alexandre Duret-Lutz
- Merged
- 0
updated Oct 18, 2021
ltlsynt: --ins is optional but not its argument

!19 · created Oct 11, 2021 by Alexandre Duret-Lutz
- Merged
- 0
updated Oct 11, 2021
acd improvements

!18 · created Sep 24, 2021 by Alexandre Duret-Lutz
- Merged
- Approved
- 0
updated Sep 25, 2021
Making aiger a class

!17 · created Jun 08, 2021 by Philipp Schlehuber
- Closed
- 6
updated Nov 04, 2021
Adl/bdd rename

!16 · created Jan 20, 2021 by Alexandre Duret-Lutz
- Closed
- 1
updated Jan 27, 2021
twa_graph: swap the two passes of merge_edges()

!15 · created Jan 19, 2021 by Alexandre Duret-Lutz
- Merged
- 0
updated Jan 20, 2021
for master

!14 · created Jan 18, 2021 by Alexandre Duret-Lutz master
- Merged
- 0
updated Jan 18, 2021
448 & 449

!13 · created Jan 17, 2021 by Alexandre Duret-Lutz
- Merged
- 0
updated Jan 17, 2021
fix rpm builds

!12 · created Jan 16, 2021 by Alexandre Duret-Lutz
- Merged
- 0
updated Jan 16, 2021
Adl/447

!11 · created Jan 14, 2021 by Alexandre Duret-Lutz
- Merged
- 0
updated Jan 15, 2021
Adl/2021

!10 · created Jan 05, 2021 by Alexandre Duret-Lutz
- Merged
- 0
updated Jan 05, 2021
Ytm/parse : adding new dl_open + declaration + usage of "state labels" in PINS modules.

!9 · created Nov 13, 2020 by Yann Thierry-Mieg
- 3
updated May 16, 2024
Improving split and reorganizing

!8 · created Sep 24, 2020 by Alexandre Duret-Lutz
- Merged
- Approved
- 0
updated Sep 24, 2020
remfin: Make removing of fins more modular.

!7 · created Jun 06, 2017 by Henrich Lauko
short task
- Merged
- 4
updated Oct 01, 2017
[WIP] tra2tba: Implement transformation of TRA to TBA acceptance condition.

!6 · created May 09, 2017 by Henrich Lauko
short task
- Closed
- 1
updated Sep 07, 2020
* doc/org/concepts.org: Typo

!5 · created Jan 30, 2017 by Laurent Xu
doc
- Closed
- 1
updated Jan 30, 2017
Python wrapping twa_graph::edges() and sanity replacing tabulars by spaces

!4 · created Mar 09, 2016 by Laurent Xu Spot 2.0
- Closed
- 0
updated Mar 10, 2016
Integrate automata determinisation

!3 · created Feb 05, 2016 by Alexandre Lewkowicz
short task
- Closed
- 1
updated Feb 12, 2016
Feedback arc-set for dtgbacomp

!2 · created Feb 25, 2015 by Alexandre Lewkowicz
- Closed
- 1
updated Sep 07, 2020