Merge requests · waldmann / Matchbox SRS Termination · GitLab

Resolve "CPF output for strictified proofs"

!45 · created Aug 10, 2023 by waldmann
- Merged
updated Aug 13, 2023
Resolve "--print-proof: summary ignores part of Split"

!44 · created Feb 27, 2023 by waldmann
bug
- Merged
updated Feb 27, 2023
Resolve "enumerate (and filter) small relative SRS"

!43 · created Feb 17, 2023 by waldmann
- Merged
updated Feb 23, 2023
Draft: Resolve "interval interpretations"

!42 · created Feb 11, 2023 by waldmann
- Merged
updated Feb 23, 2023
Resolve "find arctic matrices via SMT encoding (QF_LRA)"

!41 · created Aug 15, 2022 by waldmann
- Merged
updated Aug 26, 2022
Resolve "re-visit SMT solver interfaces"

!40 · created Aug 14, 2022 by waldmann
SMT
- Merged
updated Aug 15, 2022
Resolve "(re)implement CPF output"

!39 · created May 15, 2022 by waldmann
certification
- Merged
updated May 19, 2022
Resolve "KBO should use SRS compression"

!38 · created May 02, 2022 by waldmann
- Merged
updated May 02, 2022
Resolve "implement special matrix shapes"

!37 · created May 01, 2022 by waldmann
- Merged
updated May 01, 2022
Resolve "reduce number of nonzero matrix entries"

!36 · created Apr 30, 2022 by waldmann
SAT
- Merged
updated May 01, 2022
Resolve "draw graph of (sparse) matrix interpretation"

!35 · created Apr 30, 2022 by waldmann
- Merged
updated Apr 30, 2022
Resolve "plot graph of proof search steps"

!34 · created Apr 19, 2022 by waldmann
- Merged
updated Apr 23, 2022
Resolve "finding relative loops"

!33 · created Apr 19, 2022 by waldmann
nontermination
- Merged
updated Apr 19, 2022
strat

!32 · created Mar 16, 2022 by waldmann
- Merged
updated Mar 16, 2022
Resolve "SAT encoding for loops"

!31 · created Mar 12, 2022 by waldmann
- Merged
updated Mar 16, 2022
Resolve "use leancheck.Tiers for lazy enumeration of transport system candidates"

!30 · created Feb 08, 2022 by waldmann
- Merged
updated Feb 10, 2022
Draft: Resolve "transport system computation hangs, was: what happens with num-233? (output is cut short)"

!29 · created Feb 03, 2022 by waldmann
bug
- Closed
updated Feb 10, 2022
Unbounded bits

!28 · created Jan 30, 2022 by waldmann
- Merged
updated Jan 30, 2022
Draft: Resolve "benchmarking pqueue"

!27 · created Dec 10, 2021 by waldmann
- Merged
updated Dec 11, 2021
Draft: Resolve "print more statistics when parameter-optimizing"

!26 · created Sep 16, 2021 by waldmann
optimizer
updated Dec 30, 2021

Prev
1
2
3
4
Next