Merge requests · Spot / Spot

remfin: Make removing of fins more modular.

!7 · created Jun 06, 2017 by Henrich Lauko
short task
- Merged
- 4
updated Oct 01, 2017
Improving split and reorganizing

!8 · created Sep 24, 2020 by Alexandre Duret-Lutz
- Merged
- Approved
- 0
updated Sep 24, 2020
Adl/2021

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

!11 · created Jan 14, 2021 by Alexandre Duret-Lutz
- Merged
- 0
updated Jan 15, 2021
fix rpm builds

!12 · created Jan 16, 2021 by Alexandre Duret-Lutz
- Merged
- 0
updated Jan 16, 2021
448 & 449

!13 · created Jan 17, 2021 by Alexandre Duret-Lutz
- Merged
- 0
updated Jan 17, 2021
for master

!14 · created Jan 18, 2021 by Alexandre Duret-Lutz master
- Merged
- 0
updated Jan 18, 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
acd improvements

!18 · created Sep 24, 2021 by Alexandre Duret-Lutz
- Merged
- Approved
- 0
updated Sep 25, 2021
ltlsynt: --ins is optional but not its argument

!19 · created Oct 11, 2021 by Alexandre Duret-Lutz
- Merged
- 0
updated Oct 11, 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: 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: simplify split_2step_fast_here

!22 · created Oct 23, 2021 by Alexandre Duret-Lutz
- Merged
- 0
updated Oct 23, 2021
ltlsynt: fix a bug in split_2step_fast_here

!23 · created Oct 24, 2021 by Alexandre Duret-Lutz
- Merged
- 0
updated Oct 25, 2021
python: make sure swig also work with --disable-dependency-tracking

!24 · created Oct 29, 2021 by Alexandre Duret-Lutz
- Merged
- 0
updated Oct 29, 2021
print_dot: improve the rendering of Mealy machines

!25 · created Oct 29, 2021 by Alexandre Duret-Lutz
- Merged
- 0
updated Oct 30, 2021
agg parser fixes

!26 · created Nov 03, 2021 by Alexandre Duret-Lutz
- Merged
- 0
updated Nov 04, 2021
buddy checks and more

!27 · created Nov 04, 2021 by Alexandre Duret-Lutz
- Merged
- 0
updated Nov 04, 2021
misc fixes

!28 · created Nov 05, 2021 by Alexandre Duret-Lutz
- Merged
- 0
updated Nov 05, 2021
zlktree: fix colored output of acd_transform_sbacc()

!29 · created Nov 10, 2021 by Alexandre Duret-Lutz
- Merged
- 0
updated Nov 10, 2021