Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / elliottt/easy-smt issues and pull requests
#29 - Bump the version to 0.2.2
Pull Request -
State: closed - Opened by elliottt 2 months ago
#28 - Run the `quantifiers` example in CI
Pull Request -
State: closed - Opened by elliottt 2 months ago
#27 - Fix `Context::forall` and `Context::exists` quantifiers
Pull Request -
State: closed - Opened by octalsrc 2 months ago
#26 - Resource temporarily unavailable (os error 35) when called too many times in MacOS
Issue -
State: closed - Opened by Qi-Zhan 5 months ago
- 2 comments
#25 - Bump the version to 0.2.1
Pull Request -
State: closed - Opened by elliottt about 1 year ago
#24 - Parse quote identifiers
Pull Request -
State: closed - Opened by rachitnigam about 1 year ago
- 2 comments
#23 - Panic when parsing quoted identifiers
Issue -
State: closed - Opened by rachitnigam about 1 year ago
- 1 comment
#22 - Bump to 0.2.0
Pull Request -
State: closed - Opened by elliottt about 1 year ago
#21 - Implement `check-sat-assuming`
Pull Request -
State: closed - Opened by rachitnigam about 1 year ago
- 4 comments
#20 - Support for activation literals
Issue -
State: open - Opened by rachitnigam over 1 year ago
- 5 comments
#19 - Require at least one value in `get_value` calls
Pull Request -
State: closed - Opened by rachitnigam over 1 year ago
#18 - Deprecate `declare` method
Pull Request -
State: closed - Opened by rachitnigam over 1 year ago
#17 - `unreachable` triggered when `get_value` called with an empty list
Issue -
State: closed - Opened by rachitnigam over 1 year ago
#16 - Fix bug in `SExpr::is_list`
Pull Request -
State: closed - Opened by fitzgen over 1 year ago
#15 - Deprecate `Context::declare` or `Context::declare_const`
Issue -
State: closed - Opened by rachitnigam over 1 year ago
- 2 comments
#14 - Add numeric ops and `define-fun`
Pull Request -
State: closed - Opened by rachitnigam over 1 year ago
- 2 comments
#13 - `SExpr::is_list` is always false according to clippy
Issue -
State: closed - Opened by rachitnigam over 1 year ago
- 2 comments
#12 - Clippy fixes
Pull Request -
State: closed - Opened by rachitnigam over 1 year ago
#11 - Add debug assertions that an `SExpr` comes from the correct `Context`
Pull Request -
State: closed - Opened by fitzgen over 1 year ago
- 1 comment
#10 - Index out of bounds error when calling `ctx.assert`
Issue -
State: closed - Opened by rachitnigam over 1 year ago
- 3 comments
#9 - Pass-through single-element arguments to variadic constructors
Pull Request -
State: closed - Opened by elliottt over 1 year ago
#8 - Request: `and_many` etc to work on single-element vectors
Issue -
State: closed - Opened by avanhatt over 1 year ago
- 1 comment
#7 - Convert from `SExprData` to integers
Pull Request -
State: closed - Opened by fitzgen over 1 year ago
#6 - Publish to crates.io
Issue -
State: closed - Opened by fitzgen over 1 year ago
- 3 comments
#5 - Helper method to turn an s-expr atom that is a bitvector into a rust number
Issue -
State: closed - Opened by fitzgen over 1 year ago
- 2 comments
#4 - Add support for replay files and use a builder for creating contexts
Pull Request -
State: closed - Opened by fitzgen over 1 year ago
#3 - Ability to write solver interactions to a (replayable) file
Issue -
State: closed - Opened by avanhatt over 1 year ago
- 3 comments
#2 - Helper methods for common solvers
Issue -
State: open - Opened by fitzgen over 1 year ago
#1 - Arena allocation
Pull Request -
State: closed - Opened by elliottt over 1 year ago