coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of kernel/redFlags.ml

November 2025

coqbot-app[bot]
Merge PR #21352: Implement [RedFlags] with bitfields.
committed
Rodolphe Lepigre
Implement [RedFlags] with bitfields.
committed

October 2024

coqbot-app[bot]
Merge PR #19692: Update the OCaml headers to reflect the fact Coq is now Rocq.
committed
Pierre-Marie Pédrot
Update the OCaml headers to reflect the fact Coq is now Rocq.
committed

January 2024

coqbot-app[bot]
Merge PR #18327: Make projection constants transparent and allowing projections themselves to be made opaque
committed
Rodolphe Lepigre
Add [RedFlags.red_sub_list] and [RedFlags.red_add_list].
committed
Rodolphe Lepigre
Extend [kernel/redFlags.ml] with projection.
committed

September 2023

coqbot-app[bot]
Merge PR #18023: Some cleanup around CClosure
committed
Rodolphe Lepigre
Move [RedFlags] out of [CClosure].
committed