regb scala-smtlib issues

regb / scala-smtlib

Scala library for parsing and printing the SMT-LIB format

MIT License

44 stars 23 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Minor: Example code in README.md loops infinitely.

#50 ftc closed 1 year ago
0
Support tab as blank

#49 zgrannan opened 2 years ago
0
Update to SBT 1.6.2

#48 zgrannan closed 2 years ago
0
examples for algebraic data type (sum,tuple,etc)

#47 doofin closed 2 years ago
2
Publish most recent version to Maven central

#46 bramvdbogaerde opened 3 years ago
4
Replace use of (deprecated) FunSuite with funsuite.AnyFunSuite

#45 lbulej closed 3 years ago
0
Use function literals to convert methods to functions

#44 lbulej closed 3 years ago
0
Add (exception-throwing) defaults to non-exhaustive pattern matches

#43 lbulej closed 3 years ago
0
Access the Right of Either in a compatible fashion

#42 lbulej closed 3 years ago
0
Use scala.jdk.CollectionJonverters instead of JavaConversions

#41 lbulej closed 3 years ago
0
Do not rely on automatic activation

#40 lbulej closed 3 years ago
0
Make model token optional when parsing solver output

#39 jad-hamza closed 3 years ago
0
Fix SimpleTreeTransformer to prevent infinite loop

#38 kmn4 closed 3 years ago
0
Compatibility issue with newer versions of Z3/SMTLib

#37 acieroid closed 3 years ago
3
Fix or function

#36 zgrannan closed 3 years ago
2
Minor clean ups for better compatibility with recent Scala versions

#35 lbulej closed 3 years ago
1
Minor changes and upgrade to Scala 2.13.1

#34 jad-hamza closed 4 years ago
0
Exception CVC4Interpreter.buildDefault

#33 schaeftn closed 6 years ago
0
CVC4Interpreter parsing issues regarding DefineFunRec

#32 schaeftn closed 6 years ago
0
Integration tests failing

#31 kdmccormick closed 6 years ago
5
Fix broken links in README

#30 chocolatier closed 6 years ago
1
Automated project versions for easier maven publishing

#29 samarion closed 6 years ago
0
Allow eval to parse unsat assumption responses

#28 samarion closed 6 years ago
0
Fix for bit vector constant extraction

#27 mantognini closed 7 years ago
2
Provide a theory of floating points

#26 regb opened 7 years ago
0
Full Code Examples

#25 jgarci40 opened 7 years ago
2
Bump cross-versions to 2.12

#24 samarion closed 7 years ago
0
Fixed printing for certain TIP parametric commands

#23 samarion closed 8 years ago
0
TIP parser + optional positions

#22 samarion closed 8 years ago
0
Improved parser flexibility for potential overrides

#21 samarion closed 8 years ago
2
Use destroyForcibly

#20 manoskouk closed 8 years ago
0
Publish on SonaType Central Repository

#19 ahmadsalim closed 8 years ago
3
Deprecation warnings

#18 manoskouk closed 8 years ago
0
Added experimental theory of sets and common operations.

#17 ahmadsalim closed 9 years ago
2
Pretty printing `SetLogic(ALL)` gives a match error

#16 ahmadsalim closed 9 years ago
2
Added experimental/Strings.scala for the string theory of CVC4.

#15 MikaelMayer closed 9 years ago
0
peekToken can be null if the solver is interrupted/killed

#14 colder closed 9 years ago
1
Make sure we print symbolic symbols safely

#13 manoskouk closed 9 years ago
3
Use SMT-LIB 2.5 in CVC4

#12 colder closed 9 years ago
0
Varargs constructors should not include their first element twice

#11 manoskouk closed 9 years ago
3
Don't redirect signals to solver

#10 manoskouk closed 9 years ago
0
Style improvements

#9 manoskouk closed 9 years ago
0
Parse as many successes as CVC4 emits

#8 colder closed 9 years ago
0
Parse as many successes as CVC4 emits

#7 colder closed 9 years ago
0
Some fixes

#6 manoskouk closed 9 years ago
0
License

#5 JoshRosen closed 9 years ago
1
Stack overflow on pretty-printing

#4 samarion closed 9 years ago
3
Corrected small issue for no-argument function applications

#3 samarion closed 9 years ago
1
CVC4 + Z3 compliance for ADT leaves

#2 colder closed 10 years ago
0
Alternative to actual incremental mode

#1 colder closed 10 years ago
1