Skip to content
GitLab
Explore
Sign in
Open
8
Merged
53
Closed
4
All
65
Recent searches
Loading
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
epsilons (for rfc mb approx) are fully working, merge into master
!25
· created
Sep 16, 2021
by
waldmann
Merged
updated
Sep 16, 2021
Draft: Resolve "print successful non-branching sub-strategy"
!24
· created
Sep 16, 2021
by
waldmann
updated
Sep 16, 2021
Draft: Resolve "add semantic labeling w.r.t. counting a subset of letters mod 2"
!23
· created
Sep 15, 2021
by
waldmann
Draft: Resolve "certified termination (abstract and SRS) in Agda"
!22
· created
Aug 31, 2021
by
waldmann
updated
Sep 16, 2021
Draft: Resolve "test runs (TPDB) on starexec"
!21
· created
May 31, 2021
by
waldmann
TC21
Merged
1
updated
Sep 16, 2021
Resolve "early cut-off for too many tiles/tiled rules"
!20
· created
May 29, 2021
by
waldmann
Merged
updated
May 30, 2021
Draft: Resolve "make a cheating stragety that consults the DB for proof steps that worked in the past"
!19
· created
May 26, 2021
by
waldmann
Closed
updated
Feb 10, 2022
fix #322
!18
· created
May 26, 2021
by
waldmann
Merged
updated
May 26, 2021
Resolve "DP transform: make "guard $ not $ Q.isStrictSuffixOf r' $ lhs u" on/offable"
!17
· created
Apr 30, 2021
by
waldmann
Merged
updated
May 04, 2021
Resolve "write stats in DB"
!16
· created
Apr 14, 2021
by
waldmann
Merged
updated
Apr 15, 2021
Resolve "unify strategy for SRS-Rel and SRS-Std"
!15
· created
Apr 10, 2021
by
waldmann
Merged
updated
Apr 15, 2021
Resolve "remove rules w ->= w"
!14
· created
Apr 07, 2021
by
waldmann
Merged
updated
Apr 08, 2021
Resolve "parameter optimisation"
!13
· created
Mar 20, 2021
by
waldmann
Merged
updated
Apr 24, 2021
Resolve "DP with usable rules"
!12
· created
Mar 18, 2021
by
waldmann
Merged
updated
Mar 19, 2021
Resolve "alternative LP solvers"
!11
· created
Mar 15, 2021
by
waldmann
Merged
updated
Mar 16, 2021
Draft: Resolve "prepare for ghc-9.0"
!10
· created
Mar 05, 2021
by
waldmann
Merged
updated
Apr 09, 2021
Resolve "scheduler should keep timing information on sub-proofs"
!9
· created
Jul 06, 2020
by
waldmann
Merged
updated
Jul 07, 2020
Resolve "implement "instantiate CF part""
!8
· created
Jun 17, 2020
by
waldmann
Merged
updated
Jun 17, 2020
Resolve "recursive unlabeling"
!7
· created
May 29, 2020
by
waldmann
Merged
updated
Jun 05, 2020
Resolve "stragegy expression should accept overriding from command line"
!6
· created
May 28, 2020
by
waldmann
Merged
updated
May 29, 2020
Prev
1
2
3
4
Next