Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / PrincetonUniversity/VST issues and pull requests
#16 - Prove reified set function correct
Issue -
State: closed - Opened by jldodds about 10 years ago
Labels: proof
#15 - array_seg_reroot_lemma too strict
Issue -
State: closed - Opened by andrew-appel about 10 years ago
- 1 comment
#14 - CBV for listspec
Issue -
State: closed - Opened by jldodds about 10 years ago
Labels: mc_reify
#13 - Make local2ptree complete
Issue -
State: closed - Opened by jldodds about 10 years ago
Labels: enhancement
#12 - Create "round-trip" tactic
Issue -
State: closed - Opened by jldodds about 10 years ago
Labels: enhancement
#11 - Prove soundness of symexe tactic
Issue -
State: closed - Opened by jldodds about 10 years ago
- 1 comment
Labels: proof, mc_reify
#10 - Rewrite some proofs to use reified tactics
Issue -
State: closed - Opened by jldodds about 10 years ago
Labels: tests
#9 - Symbolic execution for load rule
Issue -
State: closed - Opened by jldodds about 10 years ago
Labels: enhancement
#8 - Write load RTac
Issue -
State: closed - Opened by jldodds about 10 years ago
Labels: proof
#7 - Reify assertD load lemma
Issue -
State: closed - Opened by jldodds about 10 years ago
Labels: enhancement
#6 - Write assertD (super-super-canonical) lemma for load
Issue -
State: closed - Opened by jldodds about 10 years ago
Labels: enhancement
#5 - Prove semax_set_localD
Issue -
State: closed - Opened by jldodds about 10 years ago
- 1 comment
Labels: proof
#4 - Set tactic not working
Issue -
State: closed - Opened by jldodds about 10 years ago
- 1 comment
Labels: bug
#3 - Write canceller tactic
Issue -
State: closed - Opened by jldodds about 10 years ago
Labels: enhancement
#2 - Remove/limit typechecker
Issue -
State: closed - Opened by jldodds about 10 years ago
- 1 comment
Labels: tests
#1 - Run Benchmarks
Issue -
State: closed - Opened by jldodds about 10 years ago
Labels: tests