Merge requests · Spot / Spot

auts_to_aiger: Fix output name index

!101 · created Nov 29, 2023 by Florian Renkin
- Merged
- Approved
- 0
updated Nov 29, 2023
work around some gcc 9.4 warnings

!100 · created Nov 28, 2023 by Alexandre Duret-Lutz
- Merged
- 0
updated Nov 28, 2023
twagraph: fix highlight-edges in defrag_states

!99 · created Nov 23, 2023 by Alexandre Duret-Lutz
- Closed
- 0
updated Nov 24, 2023
python: add easy ways to remove highlights

!98 · created Nov 23, 2023 by Alexandre Duret-Lutz
- Merged
- 0
updated Nov 23, 2023
never iterate on the edge_vector()

!97 · created Nov 17, 2023 by Alexandre Duret-Lutz
- Merged
- 0
updated Nov 18, 2023
autfilt: fix a typo in the --help output

!96 · created Nov 17, 2023 by Alexandre Duret-Lutz
- Merged
- 0
updated Nov 17, 2023
ltsmin: make it easier to find the README

!95 · created Nov 15, 2023 by Alexandre Duret-Lutz
- Merged
- 0
updated Nov 15, 2023
gfguarantee: fix handling of true/false languages

!94 · created Nov 15, 2023 by Alexandre Duret-Lutz
- Closed
- 0
updated Nov 15, 2023
Remove binary integer literals

!93 · created Nov 08, 2023 by Alexandre Duret-Lutz
- Merged
- 0
updated Nov 08, 2023
introduce realizability_simplifier to share more of ltlsynt's code

!92 · created Nov 03, 2023 by Alexandre Duret-Lutz
- Merged
- 0
updated Nov 03, 2023
ltlsynt: do a fixpoint around the polarity simplifications

!91 · created Oct 03, 2023 by Alexandre Duret-Lutz
- Closed
- 0
updated Oct 03, 2023
notebooks: typos

!90 · created Sep 26, 2023 by Florian Renkin
- Merged
- 0
updated Oct 02, 2023
ltlsynt: detect APs with constant polarity

!89 · created Sep 20, 2023 by Alexandre Duret-Lutz
- Merged
- 0
updated Sep 20, 2023
forq

!88 · created Sep 15, 2023 by Alexandre Duret-Lutz
- Closed
- 0
updated Sep 15, 2023
relabel_bse: rework to simplify more patterns

!87 · created Sep 13, 2023 by Alexandre Duret-Lutz
- Merged
- 0
updated Sep 13, 2023
python: add bindings for set of unsigned int

!86 · created Sep 08, 2023 by Alexandre Duret-Lutz
- Merged
- 0
updated Sep 08, 2023
miscelaneous changes

!85 · created Jul 28, 2023 by Alexandre Duret-Lutz
- Merged
- 0
updated Jul 28, 2023
debian: add missing build dependencies

!84 · created May 15, 2023 by Alexandre Duret-Lutz
- Closed
- 0
updated May 15, 2023
some bug fixes

!83 · created Apr 18, 2023 by Alexandre Duret-Lutz
- Merged
- 0
updated Apr 19, 2023
fix spurious test-case failure when Python is not installed

!82 · created Mar 29, 2023 by Alexandre Duret-Lutz
- Merged
- 0
updated Mar 29, 2023