V

Verified Software Toolchain (Coq)

Settings | Report Duplicate

1

I Use This!

Low Activity

Commits : Listings

Analyzed about 9 hours ago. based on code collected about 9 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Oct 09, 2025 — Oct 09, 2026 Showing page 1 of 258 Search / Filter on:
Fix issues #868, #866, #858, #848, #847, #831; update CI (#870)	Andrew Appel	More...				17 days ago
turn on CI for release	William Mansky	More...				about 2 months ago
Adapt to the change in CompCert semantics between CompCert 3.7 and 3.8 (#857)	Andrew Appel	More...				4 months ago
Adapt to https://github.com/rocq-prover/rocq/pull/21947 (#855)	Pierre Roux	More...				5 months ago
Fix incorrect Proof commands (#854)	Gaëtan Gilbert	More...				6 months ago
Allow coq-vst-zlist to be version dev (#851)	Jason Gross	More...				7 months ago
Update coq upper bound to < 9.2~ in opam (#852)	Jason Gross	More...				7 months ago
Update compcert version and Makefile	Andrew Appel	More...				7 months ago
VST/lib: Moved C sources up one level in directory structure (#846)	Andrew Appel	More...				9 months ago
Tweak CI	Andrew Appel	More...				11 months ago
Tweak CI	Andrew Appel	More...				11 months ago
Tweak CI	Andrew Appel	More...				11 months ago
Tweak CI to exclude coq-paco in Rocq 9.1	Andrew Appel	More...				11 months ago
Tweak CI	Andrew Appel	More...				11 months ago
Tweak CI	Andrew Appel	More...				11 months ago
Tweak CI	Andrew Appel	More...				11 months ago
Tweak CI	Andrew Appel	More...				11 months ago
Tweak CI	Andrew Appel	More...				11 months ago
Tweak CI	Andrew Appel	More...				11 months ago
Update CI to include Coq 9.0, 9.1	Andrew Appel	More...				11 months ago
Bumped version number to 2.16	Andrew Appel	More...				11 months ago
Fix deprecations for Rocq 9 (#826)	Andrew Appel	More...				11 months ago
Adapt to rocq-prover/rocq#21063 (fixed apply auto-projecting from record with letin projection) (#837)	Gaëtan Gilbert	More...				about 1 year 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...				over 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

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