Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / regb/scala-smtlib issues and pull requests
#50 - Minor: Example code in README.md loops infinitely.
Pull Request -
State: closed - Opened by ftc about 2 years ago
#50 - Minor: Example code in README.md loops infinitely.
Pull Request -
State: closed - Opened by ftc about 2 years ago
#49 - Support tab as blank
Pull Request -
State: open - Opened by zgrannan over 2 years ago
#48 - Update to SBT 1.6.2
Pull Request -
State: closed - Opened by zgrannan over 2 years ago
#47 - examples for algebraic data type (sum,tuple,etc)
Issue -
State: closed - Opened by doofin about 3 years ago
- 2 comments
#47 - examples for algebraic data type (sum,tuple,etc)
Issue -
State: closed - Opened by doofin about 3 years ago
- 2 comments
#46 - Publish most recent version to Maven central
Issue -
State: open - Opened by bramvdbogaerde over 3 years ago
- 4 comments
#46 - Publish most recent version to Maven central
Issue -
State: open - Opened by bramvdbogaerde over 3 years ago
- 4 comments
#45 - Replace use of (deprecated) FunSuite with funsuite.AnyFunSuite
Pull Request -
State: closed - Opened by lbulej almost 4 years ago
#45 - Replace use of (deprecated) FunSuite with funsuite.AnyFunSuite
Pull Request -
State: closed - Opened by lbulej almost 4 years ago
#45 - Replace use of (deprecated) FunSuite with funsuite.AnyFunSuite
Pull Request -
State: closed - Opened by lbulej almost 4 years ago
#44 - Use function literals to convert methods to functions
Pull Request -
State: closed - Opened by lbulej almost 4 years ago
#44 - Use function literals to convert methods to functions
Pull Request -
State: closed - Opened by lbulej almost 4 years ago
#43 - Add (exception-throwing) defaults to non-exhaustive pattern matches
Pull Request -
State: closed - Opened by lbulej almost 4 years ago
#43 - Add (exception-throwing) defaults to non-exhaustive pattern matches
Pull Request -
State: closed - Opened by lbulej almost 4 years ago
#42 - Access the Right of Either in a compatible fashion
Pull Request -
State: closed - Opened by lbulej almost 4 years ago
#42 - Access the Right of Either in a compatible fashion
Pull Request -
State: closed - Opened by lbulej almost 4 years ago
#41 - Use scala.jdk.CollectionJonverters instead of JavaConversions
Pull Request -
State: closed - Opened by lbulej almost 4 years ago
#41 - Use scala.jdk.CollectionJonverters instead of JavaConversions
Pull Request -
State: closed - Opened by lbulej almost 4 years ago
#40 - Do not rely on automatic activation
Pull Request -
State: closed - Opened by lbulej almost 4 years ago
#39 - Make model token optional when parsing solver output
Pull Request -
State: closed - Opened by jad-hamza almost 4 years ago
#39 - Make model token optional when parsing solver output
Pull Request -
State: closed - Opened by jad-hamza almost 4 years ago
#39 - Make model token optional when parsing solver output
Pull Request -
State: closed - Opened by jad-hamza almost 4 years ago
#38 - Fix SimpleTreeTransformer to prevent infinite loop
Pull Request -
State: closed - Opened by kmn4 almost 4 years ago
#38 - Fix SimpleTreeTransformer to prevent infinite loop
Pull Request -
State: closed - Opened by kmn4 almost 4 years ago
#37 - Compatibility issue with newer versions of Z3/SMTLib
Issue -
State: closed - Opened by acieroid almost 4 years ago
- 3 comments
#37 - Compatibility issue with newer versions of Z3/SMTLib
Issue -
State: closed - Opened by acieroid almost 4 years ago
- 3 comments
#36 - Fix or function
Pull Request -
State: closed - Opened by zgrannan almost 4 years ago
- 2 comments
#36 - Fix or function
Pull Request -
State: closed - Opened by zgrannan almost 4 years ago
- 2 comments
#35 - Minor clean ups for better compatibility with recent Scala versions
Pull Request -
State: closed - Opened by lbulej about 4 years ago
- 1 comment
#35 - Minor clean ups for better compatibility with recent Scala versions
Pull Request -
State: closed - Opened by lbulej about 4 years ago
- 1 comment
#34 - Minor changes and upgrade to Scala 2.13.1
Pull Request -
State: closed - Opened by jad-hamza about 5 years ago
#34 - Minor changes and upgrade to Scala 2.13.1
Pull Request -
State: closed - Opened by jad-hamza about 5 years ago
#33 - Exception CVC4Interpreter.buildDefault
Issue -
State: closed - Opened by schaeftn over 6 years ago
#33 - Exception CVC4Interpreter.buildDefault
Issue -
State: closed - Opened by schaeftn over 6 years ago
#33 - Exception CVC4Interpreter.buildDefault
Issue -
State: closed - Opened by schaeftn over 6 years ago
#32 - CVC4Interpreter parsing issues regarding DefineFunRec
Issue -
State: closed - Opened by schaeftn over 6 years ago
#32 - CVC4Interpreter parsing issues regarding DefineFunRec
Issue -
State: closed - Opened by schaeftn over 6 years ago
#32 - CVC4Interpreter parsing issues regarding DefineFunRec
Issue -
State: closed - Opened by schaeftn over 6 years ago
#31 - Integration tests failing
Issue -
State: closed - Opened by kdmccormick over 6 years ago
- 5 comments
Labels: bug
#31 - Integration tests failing
Issue -
State: closed - Opened by kdmccormick over 6 years ago
- 5 comments
Labels: bug
#31 - Integration tests failing
Issue -
State: closed - Opened by kdmccormick over 6 years ago
- 5 comments
Labels: bug
#30 - Fix broken links in README
Pull Request -
State: closed - Opened by chocolatier about 7 years ago
- 1 comment
#30 - Fix broken links in README
Pull Request -
State: closed - Opened by chocolatier about 7 years ago
- 1 comment
#29 - Automated project versions for easier maven publishing
Pull Request -
State: closed - Opened by samarion about 7 years ago
#29 - Automated project versions for easier maven publishing
Pull Request -
State: closed - Opened by samarion about 7 years ago
#29 - Automated project versions for easier maven publishing
Pull Request -
State: closed - Opened by samarion about 7 years ago
#28 - Allow eval to parse unsat assumption responses
Pull Request -
State: closed - Opened by samarion about 7 years ago
#28 - Allow eval to parse unsat assumption responses
Pull Request -
State: closed - Opened by samarion about 7 years ago
#28 - Allow eval to parse unsat assumption responses
Pull Request -
State: closed - Opened by samarion about 7 years ago
#27 - Fix for bit vector constant extraction
Pull Request -
State: closed - Opened by mantognini over 7 years ago
- 2 comments
#27 - Fix for bit vector constant extraction
Pull Request -
State: closed - Opened by mantognini over 7 years ago
- 2 comments
#27 - Fix for bit vector constant extraction
Pull Request -
State: closed - Opened by mantognini over 7 years ago
- 2 comments
#26 - Provide a theory of floating points
Issue -
State: open - Opened by regb almost 8 years ago
#26 - Provide a theory of floating points
Issue -
State: open - Opened by regb almost 8 years ago
#25 - Full Code Examples
Issue -
State: open - Opened by jgarci40 about 8 years ago
- 2 comments
#25 - Full Code Examples
Issue -
State: open - Opened by jgarci40 about 8 years ago
- 2 comments
#25 - Full Code Examples
Issue -
State: open - Opened by jgarci40 about 8 years ago
- 2 comments
#24 - Bump cross-versions to 2.12
Pull Request -
State: closed - Opened by samarion about 8 years ago
#24 - Bump cross-versions to 2.12
Pull Request -
State: closed - Opened by samarion about 8 years ago
#24 - Bump cross-versions to 2.12
Pull Request -
State: closed - Opened by samarion about 8 years ago
#23 - Fixed printing for certain TIP parametric commands
Pull Request -
State: closed - Opened by samarion about 8 years ago
#23 - Fixed printing for certain TIP parametric commands
Pull Request -
State: closed - Opened by samarion about 8 years ago
#23 - Fixed printing for certain TIP parametric commands
Pull Request -
State: closed - Opened by samarion about 8 years ago
#22 - TIP parser + optional positions
Pull Request -
State: closed - Opened by samarion over 8 years ago
#22 - TIP parser + optional positions
Pull Request -
State: closed - Opened by samarion over 8 years ago
#22 - TIP parser + optional positions
Pull Request -
State: closed - Opened by samarion over 8 years ago
#21 - Improved parser flexibility for potential overrides
Pull Request -
State: closed - Opened by samarion over 8 years ago
- 2 comments
#21 - Improved parser flexibility for potential overrides
Pull Request -
State: closed - Opened by samarion over 8 years ago
- 2 comments
#21 - Improved parser flexibility for potential overrides
Pull Request -
State: closed - Opened by samarion over 8 years ago
- 2 comments
#20 - Use destroyForcibly
Pull Request -
State: closed - Opened by manoskouk almost 9 years ago
#20 - Use destroyForcibly
Pull Request -
State: closed - Opened by manoskouk almost 9 years ago
#20 - Use destroyForcibly
Pull Request -
State: closed - Opened by manoskouk almost 9 years ago
#19 - Publish on SonaType Central Repository
Issue -
State: closed - Opened by ahmadsalim almost 9 years ago
- 3 comments
#19 - Publish on SonaType Central Repository
Issue -
State: closed - Opened by ahmadsalim almost 9 years ago
- 3 comments
#19 - Publish on SonaType Central Repository
Issue -
State: closed - Opened by ahmadsalim almost 9 years ago
- 3 comments
#18 - Deprecation warnings
Pull Request -
State: closed - Opened by manoskouk almost 9 years ago
#18 - Deprecation warnings
Pull Request -
State: closed - Opened by manoskouk almost 9 years ago
#18 - Deprecation warnings
Pull Request -
State: closed - Opened by manoskouk almost 9 years ago
#17 - Added experimental theory of sets and common operations.
Pull Request -
State: closed - Opened by ahmadsalim about 9 years ago
- 2 comments
#17 - Added experimental theory of sets and common operations.
Pull Request -
State: closed - Opened by ahmadsalim about 9 years ago
- 2 comments
#16 - Pretty printing `SetLogic(ALL)` gives a match error
Issue -
State: closed - Opened by ahmadsalim over 9 years ago
- 2 comments
#16 - Pretty printing `SetLogic(ALL)` gives a match error
Issue -
State: closed - Opened by ahmadsalim over 9 years ago
- 2 comments
#15 - Added experimental/Strings.scala for the string theory of CVC4.
Pull Request -
State: closed - Opened by MikaelMayer over 9 years ago
#15 - Added experimental/Strings.scala for the string theory of CVC4.
Pull Request -
State: closed - Opened by MikaelMayer over 9 years ago
#14 - peekToken can be null if the solver is interrupted/killed
Issue -
State: closed - Opened by colder over 9 years ago
- 1 comment
#14 - peekToken can be null if the solver is interrupted/killed
Issue -
State: closed - Opened by colder over 9 years ago
- 1 comment
#14 - peekToken can be null if the solver is interrupted/killed
Issue -
State: closed - Opened by colder over 9 years ago
- 1 comment
#13 - Make sure we print symbolic symbols safely
Pull Request -
State: closed - Opened by manoskouk over 9 years ago
- 3 comments
#13 - Make sure we print symbolic symbols safely
Pull Request -
State: closed - Opened by manoskouk over 9 years ago
- 3 comments
#12 - Use SMT-LIB 2.5 in CVC4
Pull Request -
State: closed - Opened by colder over 9 years ago
#12 - Use SMT-LIB 2.5 in CVC4
Pull Request -
State: closed - Opened by colder over 9 years ago
#12 - Use SMT-LIB 2.5 in CVC4
Pull Request -
State: closed - Opened by colder over 9 years ago
#11 - Varargs constructors should not include their first element twice
Pull Request -
State: closed - Opened by manoskouk over 9 years ago
- 3 comments
#11 - Varargs constructors should not include their first element twice
Pull Request -
State: closed - Opened by manoskouk over 9 years ago
- 3 comments
#11 - Varargs constructors should not include their first element twice
Pull Request -
State: closed - Opened by manoskouk over 9 years ago
- 3 comments
#10 - Don't redirect signals to solver
Pull Request -
State: closed - Opened by manoskouk over 9 years ago
#10 - Don't redirect signals to solver
Pull Request -
State: closed - Opened by manoskouk over 9 years ago
#10 - Don't redirect signals to solver
Pull Request -
State: closed - Opened by manoskouk over 9 years ago
#9 - Style improvements
Pull Request -
State: closed - Opened by manoskouk almost 10 years ago