Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / emina/rosette issues and pull requests

#260 - Add support for Bitwuzla and CVC5

Pull Request - State: open - Opened by gussmith23 over 1 year ago

#259 - Call/cc support?

Issue - State: closed - Opened by jnear over 1 year ago - 2 comments

#257 - Adding Custom Floating Point Support

Issue - State: open - Opened by RafaeNoor over 1 year ago - 3 comments

#255 - Symbolical conditions produce incorrect results in classes

Issue - State: closed - Opened by metametamoon over 1 year ago - 1 comment

#254 - Install a custom Z3 build on Apple Silicon Macs

Pull Request - State: closed - Opened by jamesbornholt over 1 year ago - 1 comment

#253 - Does not work on M1 Mac because the bundled z3 is not compatible

Issue - State: closed - Opened by joonazan over 1 year ago - 2 comments

#252 - Bump Bogdanp/setup-racket from 1.9 to 1.10

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#251 - Bump docker/build-push-action from 3 to 4

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies

#250 - Use cache for path->pkg

Pull Request - State: closed - Opened by sorawee almost 2 years ago - 1 comment

#248 - Fix unintentional value retain

Pull Request - State: closed - Opened by sorawee about 2 years ago - 3 comments

#247 - Unintentional value retain

Issue - State: closed - Opened by sorawee about 2 years ago

#246 - Fix the help description

Pull Request - State: closed - Opened by sorawee about 2 years ago - 1 comment

#245 - symtrace webserver terminates before instrumenting code and providing output

Issue - State: closed - Opened by gparmer about 2 years ago - 5 comments

#244 - Make evaluate preserve vector immutability

Pull Request - State: closed - Opened by anishathalye about 2 years ago - 1 comment

#243 - Bump Bogdanp/setup-racket from 1.8 to 1.9

Pull Request - State: closed - Opened by dependabot[bot] about 2 years ago
Labels: dependencies

#242 - defining a prop before verify results in different behavior than just verify

Issue - State: closed - Opened by dbp about 2 years ago - 2 comments

#240 - Disallow define-symbolic with different types

Pull Request - State: closed - Opened by sorawee over 2 years ago - 2 comments

#239 - Recent change breaks Rosette on the package server

Issue - State: closed - Opened by sorawee over 2 years ago - 1 comment

#238 - Make Z3 install failures more obvious on unsupported platforms

Pull Request - State: closed - Opened by jamesbornholt over 2 years ago

#237 - Support cvc5

Issue - State: open - Opened by QDelta over 2 years ago

#236 - Unrecognized solver output

Issue - State: closed - Opened by natebragg over 2 years ago - 5 comments

#235 - branches are not supported when constructing bitvectors

Issue - State: closed - Opened by QDelta over 2 years ago - 2 comments

#234 - Optimize Query in Rosette with Externally invoked Objective function

Issue - State: closed - Opened by RafaeNoor over 2 years ago - 7 comments

#233 - Bump docker/setup-buildx-action from 1 to 2

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#232 - Bump docker/build-push-action from 2 to 3

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#231 - Bump docker/login-action from 1 to 2

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#230 - Bump docker/metadata-action from 3 to 4

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#229 - Bump Bogdanp/setup-racket from 1.7 to 1.8

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#228 - improve error location

Pull Request - State: closed - Opened by sorawee over 2 years ago - 1 comment

#227 - Strange behavior with choose while synthesizing

Issue - State: closed - Opened by ManuelEberhardinger over 2 years ago - 6 comments

#226 - How to use the code produced by generate-forms?

Issue - State: closed - Opened by nano-o over 2 years ago - 2 comments

#225 - It is possible to get a symbolic's solution without assertion?

Issue - State: closed - Opened by chansey97 over 2 years ago - 2 comments

#224 - Rosette returns integer? but the symbol is real?.

Pull Request - State: closed - Opened by chansey97 over 2 years ago - 1 comment

#223 - Fix parsing of SMT-LIB-compliant models

Pull Request - State: closed - Opened by jamesbornholt over 2 years ago

#222 - The result of a get-model command should be compatible with SMT-LIB standard

Pull Request - State: closed - Opened by chansey97 over 2 years ago - 1 comment

#221 - Set print-as-expression to #f in print-forms

Pull Request - State: closed - Opened by lukenels over 2 years ago

#220 - Bump Bogdanp/setup-racket from 1.1 to 1.7

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago
Labels: dependencies

#219 - Add Docker image and continuous deployment for it

Pull Request - State: closed - Opened by Niols over 2 years ago - 14 comments

#218 - print-forms not working as expected

Issue - State: closed - Opened by nano-o over 2 years ago - 2 comments

#217 - Provide Docker image

Issue - State: closed - Opened by Niols over 2 years ago - 5 comments

#216 - match behavior is inconsistent between normal and symbolic execution

Issue - State: closed - Opened by whitequark almost 3 years ago - 3 comments

#215 - Raising hard errors

Issue - State: closed - Opened by rachitnigam almost 3 years ago - 4 comments

#214 - Error: application: not a procedure;

Issue - State: closed - Opened by VioletLi almost 3 years ago - 1 comment

#213 - Verifier fails to read model

Issue - State: closed - Opened by volisoft almost 3 years ago - 4 comments

#212 - Create a DSL with "/"

Issue - State: closed - Opened by VioletLi almost 3 years ago

#211 - Using optimize with Boolector Solver?

Issue - State: closed - Opened by RafaeNoor almost 3 years ago - 1 comment

#210 - Adding clause for boolector solver without model string

Pull Request - State: closed - Opened by RafaeNoor almost 3 years ago - 1 comment

#209 - Instructions to install rosette on Windows unclear / wrong?

Issue - State: closed - Opened by ChrisJefferson about 3 years ago - 1 comment

#208 - Optimize symbolic heap

Pull Request - State: open - Opened by sorawee about 3 years ago - 1 comment

#207 - Fix bitvector type sharing in extract and use hasheq

Pull Request - State: closed - Opened by sorawee about 3 years ago - 1 comment

#206 - Fix model parsing for Boolector 3.2.2

Pull Request - State: closed - Opened by jamesbornholt about 3 years ago - 1 comment

#205 - synthesize: Failing to generate a sudoku puzzle

Issue - State: closed - Opened by m4burns about 3 years ago - 6 comments

#204 - Expanding the `define-grammar` and `choose` constructs

Issue - State: closed - Opened by RafaeNoor about 3 years ago - 1 comment

#203 - Pretty printing `ite` expressions

Issue - State: closed - Opened by rachitnigam about 3 years ago - 3 comments

#202 - `apply` can't unsplat in certain situations which work with a base function.

Issue - State: closed - Opened by femtomc about 3 years ago - 2 comments

#201 - Use early return in rosette?

Issue - State: closed - Opened by coqt about 3 years ago - 3 comments

#200 - Is there a simple 4.0 syntax for with-asserts/with-asserts-only?

Issue - State: closed - Opened by kwmaeng91 over 3 years ago - 5 comments

#199 - Fix one more spurious CAS failure

Pull Request - State: closed - Opened by jamesbornholt over 3 years ago - 1 comment

#198 - Workaround spurious CAS failures

Pull Request - State: closed - Opened by sorawee over 3 years ago - 1 comment

#197 - raco symtrace errors with "another client is already connected"

Issue - State: closed - Opened by c0nn3r over 3 years ago - 6 comments

#195 - Running `synthesize` examples diverged

Issue - State: closed - Opened by chansey97 over 3 years ago - 2 comments

#194 - Where is `asserts`?

Issue - State: closed - Opened by chansey97 over 3 years ago - 3 comments

#193 - add a course

Pull Request - State: closed - Opened by sorawee over 3 years ago

#192 - Interfacing with Rosette in other languages

Issue - State: closed - Opened by femtomc over 3 years ago - 1 comment

#191 - remove dependency on now-nonexistent file

Pull Request - State: closed - Opened by jbclements over 3 years ago - 1 comment

#189 - Various issues in Yices support

Issue - State: closed - Opened by remysucre over 3 years ago - 1 comment

#188 - optimize: restrict keyword to #:maximize and #:minimize

Pull Request - State: closed - Opened by sorawee over 3 years ago - 1 comment

#187 - Unsound simplification of (/ x x) to 1

Issue - State: closed - Opened by remysucre over 3 years ago - 2 comments

#186 - `optimize` raises an error about `for`

Issue - State: closed - Opened by rfindler over 3 years ago - 1 comment

#185 - (expression) pattern matching forms not allowing commutativity

Issue - State: closed - Opened by Cazra over 3 years ago - 4 comments

#184 - Scribble-ify

Pull Request - State: closed - Opened by sorawee over 3 years ago - 1 comment

#183 - Add 'concrete?' function

Pull Request - State: closed - Opened by anishathalye over 3 years ago - 2 comments

#182 - (bitvector 1) vs boolean

Issue - State: closed - Opened by threonorm almost 4 years ago - 1 comment

#181 - Potential issue with Rosette

Issue - State: closed - Opened by xxks-kkk almost 4 years ago - 2 comments

#180 - Unable to optimize an expression that works with synthesize

Issue - State: closed - Opened by resistor almost 4 years ago - 5 comments

#179 - Incompatibilty with cvc4 1.6

Issue - State: closed - Opened by anishathalye almost 4 years ago - 1 comment

#178 - Support CVC4 1.8

Pull Request - State: closed - Opened by remysucre almost 4 years ago - 1 comment

#177 - bmv: handle #%variable-reference

Pull Request - State: closed - Opened by sorawee almost 4 years ago - 1 comment

#176 - Preserve syntax properties whenever possible

Pull Request - State: closed - Opened by sorawee almost 4 years ago - 1 comment

#175 - Matching of nested lists doesn't seem to work

Issue - State: closed - Opened by kenmcmil about 4 years ago - 4 comments

#174 - Remove Travis CI

Pull Request - State: closed - Opened by jamesbornholt about 4 years ago

#173 - Add GitHub Actions workflow for CI

Pull Request - State: closed - Opened by jamesbornholt about 4 years ago - 1 comment

#172 - Add the value destructuring library

Pull Request - State: closed - Opened by sorawee about 4 years ago - 1 comment

#171 - Fix bugs in rosette/lib/match

Pull Request - State: closed - Opened by sorawee about 4 years ago

#170 - Asserted expression evaluates to true under solution from `verify`

Issue - State: closed - Opened by remysucre about 4 years ago - 5 comments

#169 - with-continuation-mark based tracer

Pull Request - State: closed - Opened by sorawee about 4 years ago - 1 comment

#168 - Instrument define-values

Pull Request - State: closed - Opened by sorawee about 4 years ago - 1 comment

#167 - Workaround a Racket CS bug

Pull Request - State: closed - Opened by sorawee about 4 years ago - 1 comment

#166 - Mark `bv` constants as not quotable

Pull Request - State: closed - Opened by jamesbornholt over 4 years ago - 1 comment

#165 - Provide writeln and println from Racket

Pull Request - State: closed - Opened by anishathalye over 4 years ago - 1 comment

#164 - (if ...) emits assertions in situations where it might be easily avoided

Issue - State: closed - Opened by anishathalye over 4 years ago - 2 comments

#163 - Add node_modules to compile-omit-files

Pull Request - State: closed - Opened by sorawee over 4 years ago - 1 comment

#162 - Add more bv rewrites

Pull Request - State: closed - Opened by anishathalye over 4 years ago - 4 comments

#161 - (Question:) What would it take to implement eager concretization?

Issue - State: closed - Opened by Kingloko over 4 years ago - 1 comment