Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / jwaldmann/ceta-postproc issues and pull requests

#25 - ceta needs a lot of time for checking *bounds

Issue - State: open - Opened by jwaldmann over 2 years ago - 10 comments

#24 - profiling: where does ceta spend its time?

Issue - State: open - Opened by jwaldmann over 2 years ago - 7 comments

#23 - expecting "<", but found: 'MAYBE

Issue - State: open - Opened by jwaldmann over 4 years ago - 11 comments

#22 - document how to upload/deploy on starexec

Issue - State: open - Opened by jwaldmann over 4 years ago

#21 - ceta should export nat_of_integer

Issue - State: open - Opened by jwaldmann over 4 years ago - 3 comments

#20 - check that it works with benchexec

Issue - State: open - Opened by jwaldmann over 4 years ago

#19 - use current ceta (2.39), document how to update ceta

Issue - State: open - Opened by jwaldmann over 4 years ago

#18 - compute size of answer

Issue - State: closed - Opened by jwaldmann over 7 years ago

#18 - compute size of answer

Issue - State: closed - Opened by jwaldmann over 7 years ago

#17 - should ignore MAYBE (currently: UNSUPPORTED-CLAIM:MAYBE)

Issue - State: closed - Opened by jwaldmann over 7 years ago

#16 - adapt to suggested new category "certified ITS termination"

Issue - State: closed - Opened by jwaldmann over 7 years ago - 2 comments
Labels: important for TC17

#15 - no answer shown as "MISSING CLAIM", should be "MAYBE"

Issue - State: closed - Opened by jwaldmann over 7 years ago - 1 comment
Labels: enhancement

#14 - measure how much time CeTA actually need?

Issue - State: open - Opened by jwaldmann over 7 years ago - 2 comments
Labels: enhancement

#13 - check conformance between claims (in first line, in CPF)

Issue - State: closed - Opened by jwaldmann over 7 years ago - 2 comments
Labels: bug, important for TC17

#12 - wrapper parser needed because of bench-exec

Issue - State: closed - Opened by jwaldmann over 7 years ago - 1 comment
Labels: important for TC17

#11 - use two-argument CeTA

Issue - State: closed - Opened by jwaldmann over 7 years ago - 1 comment
Labels: important for TC17

#10 - CPF parse error for AC termination proof

Issue - State: closed - Opened by jwaldmann over 8 years ago - 1 comment
Labels: bug

#9 - starexec API change (breaking)

Issue - State: closed - Opened by jwaldmann over 8 years ago - 1 comment
Labels: bug

#8 - adapt complexity model for complexity competition 2015

Pull Request - State: closed - Opened by alpako over 9 years ago - 4 comments

#7 - parse error in relative SRS proof

Issue - State: closed - Opened by jwaldmann over 10 years ago - 1 comment
Labels: bug

#6 - put starexec-result in quotes

Issue - State: closed - Opened by jwaldmann over 10 years ago
Labels: bug

#5 - put large enough RTS options in run script

Issue - State: closed - Opened by jwaldmann over 10 years ago
Labels: enhancement

#4 - repair spelling of tags

Issue - State: closed - Opened by jwaldmann over 10 years ago
Labels: bug

#3 - need to handle more than Termination and Nontermination

Issue - State: closed - Opened by jwaldmann over 10 years ago - 1 comment
Labels: enhancement

#2 - how to compile a static executable (reminder)

Issue - State: open - Opened by jwaldmann over 10 years ago - 1 comment
Labels: enhancement

#1 - ignore EOF at end (on starexec)

Issue - State: closed - Opened by jwaldmann over 10 years ago - 1 comment
Labels: bug