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

#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

#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