V

Verified Software Toolchain (Coq)

Settings | Report Duplicate

1

I Use This!

Low Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 2 days ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 21, 2025 — Aug 21, 2026 Showing page 1 of 258 Search / Filter on:
Adapt to the change in CompCert semantics between CompCert 3.7 and 3.8 (#857)	Andrew Appel	More...				2 months ago
Adapt to https://github.com/rocq-prover/rocq/pull/21947 (#855)	Pierre Roux	More...				3 months ago
Fix incorrect Proof commands (#854)	Gaëtan Gilbert	More...				4 months ago
Allow coq-vst-zlist to be version dev (#851)	Jason Gross	More...				6 months ago
Update coq upper bound to < 9.2~ in opam (#852)	Jason Gross	More...				6 months ago
Update compcert version and Makefile	Andrew Appel	More...				6 months ago
VST/lib: Moved C sources up one level in directory structure (#846)	Andrew Appel	More...				8 months ago
Tweak CI	Andrew Appel	More...				9 months ago
Tweak CI	Andrew Appel	More...				9 months ago
Tweak CI	Andrew Appel	More...				9 months ago
Tweak CI to exclude coq-paco in Rocq 9.1	Andrew Appel	More...				9 months ago
Tweak CI	Andrew Appel	More...				9 months ago
Tweak CI	Andrew Appel	More...				9 months ago
Tweak CI	Andrew Appel	More...				9 months ago
Tweak CI	Andrew Appel	More...				9 months ago
Tweak CI	Andrew Appel	More...				9 months ago
Tweak CI	Andrew Appel	More...				9 months ago
Update CI to include Coq 9.0, 9.1	Andrew Appel	More...				9 months ago
Bumped version number to 2.16	Andrew Appel	More...				9 months ago
Fix deprecations for Rocq 9 (#826)	Andrew Appel	More...				9 months ago
Adapt to rocq-prover/rocq#21063 (fixed apply auto-projecting from record with letin projection) (#837)	Gaëtan Gilbert	More...				11 months ago
Adapt to rocq-prover/rocq#20809 (use evar created by `evar` tactic instead of hard-coded name in `unfold_post`) (#834)	Dario Halilovic	More...				about 1 year ago
Import FInFun (#825)	Andrew Appel	More...				about 1 year ago
Update catalog-of-examples.md	Andrew Appel	More...				over 1 year ago
Fix issues #762 #772 #814 (#815)	Andrew Appel	More...				over 1 year ago
Remove _Float16 hack from VSTlib, no longer needed with CompCert 3.15	Andrew Appel	More...				over 1 year ago
VSTlib compatibility with 'nans' branch of VCFloat (#809)	Andrew Appel	More...				over 1 year ago
Fix issue #789 (#807)	Andrew Appel	More...				over 1 year ago
Get 'make all' to work in VST 2.15, 32-bit mode (#806)	Andrew Appel	More...				over 1 year ago
Revert "Adapt to https://github.com/coq/coq/pull/19530 (#794)" (#799)	Andres Erbsen	More...				over 1 year ago

←
1
2
3
4
5
6
7
8
9
…
257
258
→