coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of lib/objFile.ml

September 2026

coqbot-app[bot]
Merge PR #22359: Move print-mod-uid to main rocq exe instead of rocq repl
committed
Gaëtan Gilbert
Use Obj.field instead of copying summary_disk in objfile
committed
Gaëtan Gilbert
Move print-mod-uid to main rocq exe instead of rocq repl
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

September 2023

coqbot-app[bot]
Merge PR #18040: ObjFile.open_trapping_failure: don't discard sub exception
committed
Gaëtan Gilbert
ObjFile.open_trapping_failure: don't discard sub exception
committed

June 2023

coqbot-app[bot]
Merge PR #17681: Slightly safer API for segment marshalling.
committed
Pierre-Marie Pédrot
Slightly safer API for segment marshalling.
committed

February 2022

coqbot-app[bot]
Merge PR #15641: [micromega] add magic number and pcache_version in persistent caches
committed
Frederic Besson
Expose input_int{32,64} and output_int{32,64}.
committed

October 2021

coqbot-app[bot]
Merge PR #15005: Add periods to error messages
committed
alizter.tngl.sh
Add periods to error messages.
committed
Pierre-Marie Pédrot
Merge PR #15003: Remove optional header in UserError
committed
Gaëtan Gilbert
Remove unused hdr argument of user_err
committed

July 2020

Emilio Jesus Gallego Arias
Merge PR #12677: Fix #12513: coq no longer reports mismatched version numbers.
committed
Pierre-Marie Pédrot
Fix #12513: coq no longer reports mismatched version numbers.
committed

April 2020

Enrico Tassi
Merge PR #12092: Implement a name-based representation for vo files.
committed
Pierre-Marie Pédrot
Open object files in binary mode.
committed
Pierre-Marie Pédrot
Move the ObjFile module to its own file.
committed