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

#50 - [Interp][Infra] Remove unneeded versioning

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

#50 - [Interp][Infra] Remove unneeded versioning

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

#49 - [Formal] Environment-based operational semantics

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

#49 - [Formal] Environment-based operational semantics

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

#48 - [Formal] Simplify notations and fix notation scoping

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

#48 - [Formal] Simplify notations and fix notation scoping

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

#47 - [Formal] Polymorphic (key + value) maps with typeclass

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

#47 - [Formal] Polymorphic (key + value) maps with typeclass

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

#46 - [Formal] Simplify proof script of `eval_deterministic`

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

#46 - [Formal] Simplify proof script of `eval_deterministic`

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

#45 - [Formal] Prove concrete lambda calculus evaluation deterministic

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

#45 - [Formal] Prove concrete lambda calculus evaluation deterministic

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

#44 - [Formal] Add example proof of bad DDE evaluation

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

#44 - [Formal] Add example proof of bad DDE evaluation

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

#43 - [Formal] Add documentations

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

#43 - [Formal] Add documentations

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

#42 - [PA] Resolve stack-stitching issue

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

#42 - [PA] Resolve stack-stitching issue

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

#41 - [WIP][Formal] Formalize concrete lambda calculus semantics

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

#41 - [WIP][Formal] Formalize concrete lambda calculus semantics

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

#40 - [Formal] Mechanize concrete lambda calculus semantics

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

#40 - [Formal] Mechanize concrete lambda calculus semantics

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

#39 - [WIP][PA] Probe stack-stitching issue

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

#39 - [WIP][PA] Probe stack-stitching issue

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

#38 - [PA] General improvements and bug fixes

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

#38 - [PA] General improvements and bug fixes

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

#37 - [Tests][PA] Improve property-based tests

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

#37 - [Tests][PA] Improve property-based tests

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

#36 - [WIP][PA] Probe stack-stitching issue

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

#35 - [PA] General improvements and bug fixes

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

#34 - [Tests][PA] Improve property-based tests

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

#33 - [Infra] Generate coverage files in _build

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

#32 - [Infra] New file structure

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

#31 - [Infra] New file structure

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

#30 - [Tests][PA] Validate randomized tests and maximize variable use

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

#29 - [Tests][PA] Set up property-based testing

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

#28 - [WIP][Tests][PA] Test cyclic programs

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

#27 - [Fix][PA] Use immutable Set for visited program points

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

#26 - [Fix][PA] Avoid false positives when stubbing function applications

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

#25 - [Fix][PA] Resolve issue with Var Non-Local rule

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

#24 - [Tests][PA] Set up test infra for program analysis

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

#23 - [PA] Use Hashset over list where necessary

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

#22 - [PA] Fix/refine Var rules

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

#21 - [PA] Stub cyclic expressions only at function application

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

#20 - [PA] Left fold to optimize space (since no need to preserve order)

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

#19 - Update README to include program analysis

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

#18 - TODOs from Jan. 10 meeting

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

#17 - [Infra] Update Dune version and create DDE opam package

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

#16 - [Infra] Add debug utilities for program analysis

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

#15 - [PA] Program analysis over extended language

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

#14 - [PA] Program analysis over the lambda calculus (plus int and bool)

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

#13 - [Infra] Set up program analysis and restructure project

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

#11 - [Interp] Implement new semantics

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

#10 - [Refactor][Tests] Optionally run benchmarks with `--bench`

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

#8 - [Infra] Restructure directories

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

#7 - [Tests] Benchmark lazy semantics

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

#6 - [Interp] Use mutually recursive type for expressions

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

#5 - [Tests] Turn off coverage for unreachable expressions

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

#4 - [Refactor] Raise proper exceptions

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

#3 - [Interp] Only return stack of call sites from Function value

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

#2 - [Infra] Debug mode

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

#1 - [Tests] New test infra and bug fixes

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