Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ddsmt/ddSMT issues and pull requests
#35 - Invalid `declare-sort` output?
Issue -
State: closed - Opened by someplaceguy 11 months ago
- 2 comments
#34 - How can I execute delta debugging for formula that takes 10s to solve?
Issue -
State: closed - Opened by fwangdo about 1 year ago
- 4 comments
#33 - Unexpected output for universally quantified input
Issue -
State: closed - Opened by alebugariu over 1 year ago
- 4 comments
#32 - Segfault with Bitvector Arrays
Issue -
State: closed - Opened by evanlohn over 1 year ago
- 1 comment
#31 - Make logging output of hierarchical strategy a bit less obtrusive
Pull Request -
State: closed - Opened by nafur almost 3 years ago
Labels: enhancement
#30 - crash using ddsmt
Issue -
State: closed - Opened by barrettcw over 3 years ago
- 6 comments
#29 - Implementing initial detection of datatypes
Pull Request -
State: closed - Opened by aytey over 3 years ago
#28 - Avoid divide-by-zero when parsing an SMT file with no expressions
Pull Request -
State: closed - Opened by aytey over 3 years ago
#27 - Add THANKS file
Pull Request -
State: closed - Opened by nafur over 3 years ago
#26 - Mutator to erase entries from "declare-datatypes" and "define-funs-rec"
Pull Request -
State: closed - Opened by krobelus over 3 years ago
- 1 comment
#25 - Ensure that child processes are forked, not spawned.
Pull Request -
State: closed - Opened by 4tXJ7f over 3 years ago
#24 - Minor documentation fixes and tweaks
Pull Request -
State: closed - Opened by krobelus over 3 years ago
- 1 comment
#23 - Refactor core
Pull Request -
State: closed - Opened by nafur about 4 years ago
#22 - Move testing to a separate utility
Pull Request -
State: closed - Opened by nafur about 4 years ago
#21 - Move options to separate file.
Pull Request -
State: closed - Opened by nafur about 4 years ago
#20 - Use logging instead of _msg()
Pull Request -
State: closed - Opened by nafur about 4 years ago
#19 - Add support for declare-datatype
Issue -
State: closed - Opened by nblei over 4 years ago
- 3 comments
Labels: feature
#18 - Adding support for (get-model) command
Pull Request -
State: closed - Opened by blishko over 4 years ago
- 4 comments
#17 - Make multiplication n-ary, just like addition or substration.
Pull Request -
State: closed - Opened by nafur over 4 years ago
#16 - Extend ddSMT to support (get-model) command
Issue -
State: closed - Opened by blishko over 4 years ago
- 2 comments
#15 - adding a space to doc
Pull Request -
State: closed - Opened by yoni206 almost 5 years ago
- 1 comment
#14 - Add basic support for the theory of strings
Pull Request -
State: closed - Opened by 4tXJ7f over 6 years ago
#13 - Parser changes (for use parallel testing and portfolio updates)
Pull Request -
State: closed - Opened by janeclange over 6 years ago
#12 - portfolio (part 3)
Pull Request -
State: closed - Opened by janeclange over 6 years ago
- 1 comment
#11 - portfolio (part 2)
Pull Request -
State: closed - Opened by janeclange over 6 years ago
#10 - portfolio (part 1)
Pull Request -
State: closed - Opened by janeclange over 6 years ago
- 1 comment
#9 - small fixes
Pull Request -
State: closed - Opened by janeclange over 6 years ago
#8 - _substitute set complements
Pull Request -
State: closed - Opened by janeclange over 6 years ago
#7 - Searchstring
Pull Request -
State: closed - Opened by janeclange over 6 years ago
#6 - Timeouts
Pull Request -
State: closed - Opened by janeclange over 6 years ago
- 3 comments
#5 - Substitute function options
Pull Request -
State: closed - Opened by janeclange over 6 years ago
- 7 comments
#3 - Bit-vector constants not recognized with (set-logic ALL)
Issue -
State: closed - Opened by 4tXJ7f almost 7 years ago
- 1 comment
Labels: feature
#2 - Add support for declare-const
Issue -
State: closed - Opened by 4tXJ7f almost 7 years ago
- 1 comment
Labels: feature
#1 - Endless Self Execution
Issue -
State: closed - Opened by vedadux over 7 years ago
- 1 comment
Labels: bug