Ecosyste.ms: Issues

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

GitHub / verse-lab/sisyphus issues and pull requests

#76 - Tests run out of memory even with `-j1`

Issue - State: open - Opened by samuelgruetter about 1 year ago - 1 comment

#76 - Tests run out of memory even with `-j1`

Issue - State: open - Opened by samuelgruetter about 1 year ago - 1 comment

#75 - Update readme.md

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

#75 - Update readme.md

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

#74 - Add tables for benchmarks

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

#74 - Add tables for benchmarks

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

#73 - Final polishing fixes to Sisyphus

Pull Request - State: closed - Opened by kiranandcode almost 2 years ago

#73 - Final polishing fixes to Sisyphus

Pull Request - State: closed - Opened by kiranandcode almost 2 years ago

#72 - Tree to array now works

Pull Request - State: closed - Opened by kiranandcode almost 2 years ago

#72 - Tree to array now works

Pull Request - State: closed - Opened by kiranandcode almost 2 years ago

#71 - Stack reverse now works

Pull Request - State: closed - Opened by kiranandcode almost 2 years ago

#71 - Stack reverse now works

Pull Request - State: closed - Opened by kiranandcode almost 2 years ago

#70 - Stack filter now works

Pull Request - State: closed - Opened by kiranandcode almost 2 years ago

#70 - Stack filter now works

Pull Request - State: closed - Opened by kiranandcode almost 2 years ago

#69 - Sll partition now works

Pull Request - State: closed - Opened by kiranandcode almost 2 years ago

#69 - Sll partition now works

Pull Request - State: closed - Opened by kiranandcode almost 2 years ago

#68 - Sll of array works

Pull Request - State: closed - Opened by kiranandcode almost 2 years ago

#68 - Sll of array works

Pull Request - State: closed - Opened by kiranandcode almost 2 years ago

#67 - Array foldi works

Pull Request - State: closed - Opened by kiranandcode almost 2 years ago

#67 - Array foldi works

Pull Request - State: closed - Opened by kiranandcode almost 2 years ago

#66 - Fixes non-terminating generator

Pull Request - State: closed - Opened by mkeoliya almost 2 years ago - 2 comments

#66 - Fixes non-terminating generator

Pull Request - State: closed - Opened by mkeoliya almost 2 years ago - 2 comments

#65 - Array is sorted now passes

Pull Request - State: closed - Opened by kiranandcode almost 2 years ago

#65 - Array is sorted now passes

Pull Request - State: closed - Opened by kiranandcode almost 2 years ago

#64 - Updated benchmarks to optionally use cached build outputs

Pull Request - State: closed - Opened by kiranandcode almost 2 years ago

#64 - Updated benchmarks to optionally use cached build outputs

Pull Request - State: closed - Opened by kiranandcode almost 2 years ago

#63 - Made the generator Lazy

Pull Request - State: closed - Opened by kiranandcode almost 2 years ago - 8 comments

#63 - Made the generator Lazy

Pull Request - State: closed - Opened by kiranandcode almost 2 years ago - 8 comments

#62 - Array findi now works

Pull Request - State: closed - Opened by kiranandcode almost 2 years ago

#61 - Array partition works except for enumerative synthesis component

Pull Request - State: closed - Opened by kiranandcode almost 2 years ago

#60 - Array Exists now passes

Pull Request - State: closed - Opened by kiranandcode almost 2 years ago

#59 - Adds support for qualified names in expressions

Pull Request - State: closed - Opened by mkeoliya almost 2 years ago

#58 - Adds functional SLL Reverse as an example

Pull Request - State: closed - Opened by mkeoliya almost 2 years ago - 2 comments
Labels: wont-fix, not-a-bug

#57 - Reduces CI time by 5x

Pull Request - State: closed - Opened by mkeoliya almost 2 years ago - 2 comments

#55 - Adds all viable examples (programs, proofs + build scripts)

Pull Request - State: closed - Opened by kiranandcode almost 2 years ago

#54 - Adds full support for array_find_mapi

Pull Request - State: closed - Opened by mkeoliya almost 2 years ago

#53 - Improve CI times

Issue - State: closed - Opened by kiranandcode almost 2 years ago - 1 comment

#52 - Make supporting dynamic functions easier

Issue - State: open - Opened by kiranandcode almost 2 years ago

#51 - Implements full support for higher order functions

Pull Request - State: closed - Opened by kiranandcode almost 2 years ago

#50 - Fixed bug in mutable variable handling

Pull Request - State: closed - Opened by mkeoliya almost 2 years ago

#49 - Updated to make tests pass

Pull Request - State: closed - Opened by kiranandcode almost 2 years ago

#48 - Frame out unused vars

Pull Request - State: closed - Opened by mkeoliya almost 2 years ago

#47 - Added support for analyzing `while_upto` and higher order functions

Pull Request - State: closed - Opened by kiranandcode almost 2 years ago

#45 - Add support for higher order functions in the generator

Issue - State: closed - Opened by kiranandcode almost 2 years ago

#43 - Add support for higher order functions in general

Issue - State: closed - Opened by kiranandcode almost 2 years ago

#42 - Add support for higher order boolean functions

Issue - State: closed - Opened by kiranandcode almost 2 years ago

#41 - Add support for for/while loops encoded as internal recursion

Issue - State: closed - Opened by kiranandcode almost 2 years ago - 1 comment

#40 - Track trivially dispatchable admits.

Issue - State: open - Opened by kiranandcode almost 2 years ago

#39 - Add Danvy's mystery list function

Issue - State: open - Opened by mkeoliya almost 2 years ago

#38 - Seq to array no longer validates with Z3

Issue - State: open - Opened by kiranandcode almost 2 years ago

#37 - Updates resources/examples to use Common modules

Pull Request - State: closed - Opened by kiranandcode almost 2 years ago

#36 - Extend framework for specification inference?

Issue - State: open - Opened by kiranandcode almost 2 years ago
Labels: long-term

#35 - Refactor common utils to separate folder

Pull Request - State: closed - Opened by mkeoliya almost 2 years ago

#34 - Array of rev list halfway there

Pull Request - State: closed - Opened by kiranandcode almost 2 years ago

#33 - fix: opam and gitignore

Pull Request - State: closed - Opened by volodeyka almost 2 years ago

#32 - Add make_rev_list

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

#31 - Write table with examples and feature requirements

Issue - State: closed - Opened by kiranandcode almost 2 years ago - 1 comment

#29 - Add feasible examples to main repo and prune out old examples

Issue - State: closed - Opened by kiranandcode almost 2 years ago

#28 - Update parser to handle ! and refs correctly

Issue - State: closed - Opened by kiranandcode almost 2 years ago - 1 comment

#26 - Added Alcotest Automatic Testing Support

Pull Request - State: closed - Opened by kiranandcode about 2 years ago

#25 - Support repair of Higher order functions that use invariants

Issue - State: open - Opened by kiranandcode about 2 years ago
Labels: long-term

#24 - HUMANS ARE OBSELETE

Pull Request - State: closed - Opened by kiranandcode about 2 years ago

#23 - Refactor expression generator

Pull Request - State: closed - Opened by mkeoliya about 2 years ago

#22 - SPEED!! Improve evaluation speed

Pull Request - State: closed - Opened by kiranandcode about 2 years ago

#21 - Eliminate parsing of proof scripts

Issue - State: open - Opened by kiranandcode about 2 years ago - 1 comment
Labels: long-term

#20 - Implements Proof Evaluation and Extraction

Pull Request - State: closed - Opened by kiranandcode about 2 years ago

#19 - Add new examples

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

#18 - Add expression generator for invariants

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

#17 - Implements Z3 based program verification

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

#16 - Make Lang.Expr.t of operations consistent

Issue - State: open - Opened by kiranandcode over 2 years ago
Labels: long-term

#15 - Proof parser for Coq

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

#14 - Implements skeleton for Proof Generator module

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

#13 - added Sed support to allow annotations (should be mac compatible): ha…

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

#12 - Modify CFML workflow to allow annotations

Issue - State: closed - Opened by kiranandcode over 2 years ago

#11 - Use OCaml compiler infastructure to infer types when sanitizing programs

Issue - State: open - Opened by kiranandcode over 2 years ago
Labels: long-term

#10 - Dynamic tracing Implemented

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

#9 - Renames `proof_validator` to `coq`

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

#7 - Test if the project can be compiled by people other than @gopiandcode

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

#5 - Implement a proof module to encapsulate all proof-related components

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

#4 - Refactor `logic` module into separate `proof` and `expr` modules

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

#3 - Rename `proof_validator` module to `Coq`

Issue - State: closed - Opened by kiranandcode over 2 years ago

#2 - Update Dynamic Trace Analysis to work with mutli-file OCaml projects

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

#1 - Remove manual proof parsing code

Issue - State: closed - Opened by kiranandcode over 2 years ago