issues
search
jwaldmann
/
ceta-postproc
GNU Lesser General Public License v3.0
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
ceta needs a lot of time for checking *bounds
#25
jwaldmann
opened
2 years ago
10
profiling: where does ceta spend its time?
#24
jwaldmann
opened
2 years ago
7
expecting "<", but found: 'MAYBE
#23
jwaldmann
opened
4 years ago
11
document how to upload/deploy on starexec
#22
jwaldmann
opened
4 years ago
0
ceta should export nat_of_integer
#21
jwaldmann
opened
4 years ago
3
check that it works with benchexec
#20
jwaldmann
opened
4 years ago
0
use current ceta (2.39), document how to update ceta
#19
jwaldmann
opened
4 years ago
0
compute size of answer
#18
jwaldmann
closed
7 years ago
0
should ignore MAYBE (currently: UNSUPPORTED-CLAIM:MAYBE)
#17
jwaldmann
closed
7 years ago
0
adapt to suggested new category "certified ITS termination"
#16
jwaldmann
closed
7 years ago
2
no answer shown as "MISSING CLAIM", should be "MAYBE"
#15
jwaldmann
closed
7 years ago
1
measure how much time CeTA actually need?
#14
jwaldmann
opened
7 years ago
2
check conformance between claims (in first line, in CPF)
#13
jwaldmann
closed
7 years ago
2
wrapper parser needed because of bench-exec
#12
jwaldmann
closed
7 years ago
1
use two-argument CeTA
#11
jwaldmann
closed
7 years ago
1
CPF parse error for AC termination proof
#10
jwaldmann
closed
7 years ago
1
starexec API change (breaking)
#9
jwaldmann
closed
7 years ago
1
adapt complexity model for complexity competition 2015
#8
alpako
closed
9 years ago
4
parse error in relative SRS proof
#7
jwaldmann
closed
7 years ago
1
put starexec-result in quotes
#6
jwaldmann
closed
10 years ago
0
put large enough RTS options in run script
#5
jwaldmann
closed
10 years ago
0
repair spelling of tags
#4
jwaldmann
closed
8 years ago
0
need to handle more than Termination and Nontermination
#3
jwaldmann
closed
8 years ago
1
how to compile a static executable (reminder)
#2
jwaldmann
opened
10 years ago
1
ignore EOF at end (on starexec)
#1
jwaldmann
closed
8 years ago
1