Merge requests · Spot / Spot

revert c45ff0c94 and add test case showing why

!60 · created Sep 23, 2022 by Alexandre Duret-Lutz
- Closed
- 0
updated Sep 23, 2022
tests: add figures from CAV'22 paper

!55 · created Jul 13, 2022 by Alexandre Duret-Lutz
- Closed
- 0
updated Jul 13, 2022
Suffix Operator Normal Form implementation

!39 · created Dec 08, 2021 by Antoine Martin
- Closed
- 31
updated Mar 04, 2022
fix for 488, and partial fix for 485

!33 · created Nov 17, 2021 by Alexandre Duret-Lutz
- Closed
- 1
updated Nov 18, 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
Feedback arc-set for dtgbacomp

!2 · created Feb 25, 2015 by Alexandre Lewkowicz
- Closed
- 1
updated Sep 07, 2020
[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
transform_accessible transform_copy

!1 · created Feb 19, 2015 by Alexandre Lewkowicz
- Closed
- 0
updated Feb 19, 2015