Ecosyste.ms: Issues

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

GitHub / JHU-PL-Lab/dde issues and pull requests

#100 - [PA] More sync (more working recursive programs)

Pull Request - State: closed - Opened by robertzhidealx about 1 year ago

#100 - [PA] More sync (more working recursive programs)

Pull Request - State: closed - Opened by robertzhidealx about 1 year ago

#99 - [PA] Sync

Pull Request - State: closed - Opened by robertzhidealx about 1 year ago

#99 - [PA] Sync

Pull Request - State: closed - Opened by robertzhidealx about 1 year ago

#98 - [PA] Result simplifier and Dot transpiler

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

#98 - [PA] Result simplifier and Dot transpiler

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

#97 - [PA] Stub at Var Non-Local

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

#97 - [PA] Stub at Var Non-Local

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

#96 - [PA] Revert b6a92fd and overhaul of solving records

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

#96 - [PA] Revert b6a92fd and overhaul of solving records

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

#95 - [WIP][PA] Revert

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

#95 - [WIP][PA] Revert

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

#94 - Add LetRec and substitute at Let

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

#94 - Add LetRec and substitute at Let

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

#93 - [PA] More recursion tests

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

#93 - [PA] More recursion tests

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

#92 - Make assertions a language feature + more arithmetic operators

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

#92 - Make assertions a language feature + more arithmetic operators

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

#91 - [PA] Derive Z3 sort for labeled result/stub pair

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

#91 - [PA] Derive Z3 sort for labeled result/stub pair

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

#90 - [PA] Use Z3 to solve if conditions

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

#90 - [PA] Use Z3 to solve if conditions

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

#89 - [PA] Probe CHC generation issue on recursive example

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

#89 - [PA] Probe CHC generation issue on recursive example

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

#88 - [PA] Working CHC generator and verification test framework

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

#88 - [PA] Working CHC generator and verification test framework

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

#87 - [WIP][PA] Verification tests via Z3

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

#87 - [WIP][PA] Verification tests via Z3

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

#86 - [PA] Sync toCHC with spec and set up tests exploiting CHCs

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

#86 - [PA] Sync toCHC with spec and set up tests exploiting CHCs

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

#85 - [PA] Play with Z3

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

#85 - [PA] Play with Z3

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

#84 - [PA] Implement record operations & update Eval

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

#84 - [PA] Implement record operations & update Eval

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

#83 - [WIP] Z3 integration

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

#83 - [WIP] Z3 integration

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

#82 - [PA] Implement record operations & update Eval

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

#82 - [PA] Implement record operations & update Eval

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

#81 - [WIP] Z3 integration

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

#81 - [WIP] Z3 integration

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

#80 - [PA] Implement record operations & update Eval

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

#80 - [PA] Implement record operations & update Eval

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

#79 - [Interp] Make record operations lazy & update Eval

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

#79 - [Interp] Make record operations lazy & update Eval

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

#78 - [PA] Use results instead of expressions in path conditions

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

#78 - [PA] Use results instead of expressions in path conditions

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

#77 - [PA] Set up benchmarks

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

#77 - [PA] Set up benchmarks

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

#76 - [Interp] Add record and its operations to language

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

#76 - [Interp] Add record and its operations to language

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

#75 - [PA] Minor adjustment to Eval

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

#75 - [PA] Minor adjustment to Eval

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

#74 - [PA] Minor adjustment to Eval

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

#74 - [PA] Minor adjustment to Eval

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

#73 - [PA] Path conditions

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

#73 - [PA] Path conditions

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

#72 - [PA] Sync with theory + major refactoring

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

#72 - [PA] Sync with theory + major refactoring

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

#71 - [Formal] Fix stack pruning algorithm

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

#71 - [Formal] Fix stack pruning algorithm

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

#70 - [PA][Tests] Test with church numerals

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

#70 - [PA][Tests] Test with church numerals

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

#69 - [Formal] Use NoDup list instead of Ensemble as set

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

#69 - [Formal] Use NoDup list instead of Ensemble as set

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

#68 - [Formal] Use NoDup list instead of Ensemble as set

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

#68 - [Formal] Use NoDup list instead of Ensemble as set

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

#67 - Set up continuous integration

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

#67 - Set up continuous integration

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

#66 - [Formal] Major fixes to AllPaths.v

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

#66 - [Formal] Major fixes to AllPaths.v

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

#65 - [Formal][Refactor] Simplify notations and proofs

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

#65 - [Formal][Refactor] Simplify notations and proofs

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

#64 - [Formal] All-paths program analysis

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

#64 - [Formal] All-paths program analysis

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

#63 - [Formal][Refactor] Extract and simplify common utilities

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

#63 - [Formal][Refactor] Extract and simplify common utilities

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

#62 - [WIP][PA][Tests] Test with church numerals

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

#62 - [WIP][PA][Tests] Test with church numerals

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

#61 - [PA] `Eval` if conditions

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

#61 - [PA] `Eval` if conditions

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

#60 - [Formal] Fix pure lambda calculus program analysis

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

#60 - [Formal] Fix pure lambda calculus program analysis

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

#59 - [WIP][Formal] Fix pure lambda calculus program analysis

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

#59 - [WIP][Formal] Fix pure lambda calculus program analysis

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

#58 - [Formal] Auto-assign expression labels

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

#58 - [Formal] Auto-assign expression labels

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

#57 - [WIP][PA] Eval function for conditionals

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

#57 - [WIP][PA] Eval function for conditionals

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

#56 - [Formal][Infra] Share DDE language notations across theories.

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

#56 - [Formal][Infra] Share DDE language notations across theories.

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

#54 - [Formal] Simplify Core.v logic and proofs

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

#54 - [Formal] Simplify Core.v logic and proofs

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

#52 - [WIP][PA][Tests] Add more tests

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

#52 - [WIP][PA][Tests] Add more tests

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

#51 - [Formal][Infra] New project structure and build system

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

#51 - [Formal][Infra] New project structure and build system

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