issues
search
sl-comp
/
SL-COMP18
Resources for the SL-COMP 2018 edition
3
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
fix bug in benchmark shidlia_entl
#29
ghost
closed
5 years ago
0
fixed multiple + for the translator
#28
lequangloc
closed
6 years ago
0
Status of the test case qf_shidlia_entl/dll-entl-05.smt2 and qf_shidlia_entl/dll-entl-13.smt2??
#27
ghost
closed
6 years ago
2
Fix bugs in test cases sls_join_4_3_cond.sb.smt2 and tree_size_split-2.sb.smt2
#26
ghost
closed
6 years ago
0
Possible wrong status of the test case qf_shidlia_entl/dll-entl-02.smt2?
#25
ghost
closed
6 years ago
8
translator for s2s
#24
lequangloc
closed
6 years ago
0
Description of Songbird
#23
ghost
closed
6 years ago
0
Error when translating test cases in the benchmark shid_entl
#22
ghost
closed
6 years ago
2
Error when translating the example qf_shid_entl/dll-vc17.smt2
#21
ghost
closed
6 years ago
1
Antecedent not translated for quantified entailments
#20
benedictleejh
closed
6 years ago
2
Fix missing angle bracket
#19
benedictleejh
closed
6 years ago
0
Errors when translating linear arithmetic test cases (category qf_shidlia_entl)
#18
ghost
closed
6 years ago
3
Resolve conflicts in variable naming and input keywords for the translator of Songbird
#17
ghost
closed
6 years ago
0
Error in translation of test case `dll_entails_lsrev.sb.smt2` to Sleek, Songbird's format
#16
ghost
closed
6 years ago
2
Possibly incorrect status of test cases dll-vc06?
#15
ghost
closed
6 years ago
1
`unknown` being output in translation
#14
benedictleejh
closed
6 years ago
1
`error` being output in translation
#13
benedictleejh
closed
6 years ago
1
Missing consequent in SLEEK translation
#12
benedictleejh
closed
6 years ago
1
Fix parser errors with SLEEK output
#11
benedictleejh
closed
6 years ago
0
`nil` not correctly translated to `null` for SLEEK
#10
benedictleejh
closed
6 years ago
2
added benchmarks for basic inference rules
#9
lequangloc
closed
6 years ago
1
Errors when translating existential variables in the benchmark shid_entl
#8
ghost
closed
6 years ago
6
fix bugs in setting the output format to SL_COMP14 from command line
#7
ghost
closed
6 years ago
1
support translation to Songbird's syntax
#6
ghost
closed
6 years ago
1
Error when translating examples in SL-COMP'18 format to each participating prover's format.
#5
ghost
closed
6 years ago
4
Should the prefix "Ref" of data sort be removed when translating from SL-COMP'18 to SL-COMP'14 syntax?
#4
ghost
opened
6 years ago
3
new sat (general inductive predicates) and ent (linearly compositinal predicates)
#3
lequangloc
closed
6 years ago
1
Errors when running the tool slcomp-parser
#2
ghost
closed
6 years ago
2
Fix compile error for missing function `strcmp` on gcc5
#1
benedictleejh
closed
6 years ago
0