-
Notifications
You must be signed in to change notification settings - Fork 92
Pull requests: PrincetonUniversity/VST
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
port some automation related files and a bit of program.v
#784
by rinshankaihou
was merged Jul 30, 2024
Loading…
build: support PROFILING and TIMED like coq_makefile
#777
by SkySkimmer
was merged Jun 12, 2024
Loading…
Changed definition of valid_pointer' wrt locations with PURE resource…
#771
by lennartberinger
was merged May 30, 2024
Loading…
Ported progs64/VSUpile from compcert 3.8 to 3.13, ported proofs, and …
#768
by lennartberinger
was merged Apr 16, 2024
Loading…
Initial version of proof connecting VSU system to VST+Compcert soundn…
#767
by lennartberinger
was merged Apr 16, 2024
Loading…
improved VSU diagnostics; better support for initialized cstring
#765
by andrew-appel
was merged Apr 8, 2024
Loading…
Added a slightly stronger lemma HORec_sub, plus some earlier changes wrt sc_tac
#759
by lennartberinger
was merged Mar 17, 2024
Loading…
Patch to partially address issue #756 (localize/unlocalize/quick_typecheck3)
#757
by andrew-appel
was merged Mar 8, 2024
Loading…
Previous Next
ProTip!
Filter pull requests by the default branch with base:master.