Ecosyste.ms: Issues

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

GitHub / uwplse/PUMPKIN-PATCH issues and pull requests

#21 - See if it is possible to extend proof optimization to also optimize functions

Issue - State: open - Opened by tlringer over 5 years ago
Labels: enhancement, question

#20 - Does proof patching work well with trees?

Issue - State: open - Opened by tlringer over 5 years ago
Labels: question

#19 - Add support for cutting lemmas in optimization

Issue - State: open - Opened by tlringer over 5 years ago
Labels: enhancement

#18 - Implement good nested induction support

Issue - State: open - Opened by tlringer over 5 years ago
Labels: enhancement

#17 - PUMPKIN PATCH is bad at understanding rewrites

Issue - State: open - Opened by tlringer over 5 years ago

#16 - Inductive hypotheses in _rect eliminators aren't recognized as inductive hypotheses

Issue - State: open - Opened by tlringer over 5 years ago - 2 comments
Labels: bug, blocked

#15 - Failure case patch is not quite what we want

Issue - State: open - Opened by tlringer over 5 years ago

#13 - Merge Nate's fixpoint to induction principle translation in from DEVOID (fixes #5)

Pull Request - State: closed - Opened by tlringer over 5 years ago - 1 comment

#12 - Run Preprocess automatically

Issue - State: open - Opened by tlringer over 5 years ago - 1 comment

#11 - Put into the Coq CI

Issue - State: open - Opened by tlringer over 5 years ago
Labels: blocked

#10 - Update to latest coq version

Issue - State: open - Opened by tlringer over 5 years ago

#9 - Use good evar_map hygeine

Issue - State: closed - Opened by tlringer over 5 years ago - 1 comment

#8 - Clean up code a lot

Issue - State: open - Opened by tlringer over 5 years ago - 2 comments
Labels: meta

#7 - Merge in DEVOID

Issue - State: closed - Opened by tlringer over 5 years ago
Labels: meta

#6 - Implement proof optimization

Issue - State: closed - Opened by tlringer over 5 years ago
Labels: enhancement

#4 - Make a test script

Issue - State: open - Opened by tlringer over 5 years ago

#3 - Website

Pull Request - State: closed - Opened by nateyazdani almost 7 years ago - 3 comments

#2 - Port to v8.6:

Pull Request - State: closed - Opened by ejgallego almost 7 years ago - 5 comments
Labels: update

#1 - Refactor code to more closely match CPP paper

Pull Request - State: closed - Opened by tlringer about 7 years ago