coq - The formal proof system

Age	Commit message (Expand)	Author
2021-03-26	Support OCaml primitives with an actual arity larger than 4.	Guillaume Melquiond
2021-03-26	Make it more obvious when the calling convention of APPLY changes.	Guillaume Melquiond
2021-03-26	Fix assertion that checks that APPLY can only be passed 4 arguments.	Guillaume Melquiond
2021-02-23	Normalize evars during bytecode compilation (fix #13841).	Guillaume Melquiond
2021-01-10	Remove MAKEPROD.	Guillaume Melquiond
2020-11-13	Turn Ksequence into a unary opcode, as its binary structure was never used.	Guillaume Melquiond
2020-11-13	Remove unused if-then-else construct from VM.	Guillaume Melquiond
2020-11-13	Restore discard_dead_code and use it to simplify match-with constructs.	Guillaume Melquiond
2020-11-13	Remove unchecked arithmetic operations from VM, as they are not used.	Guillaume Melquiond
2020-10-08	Remove occurrences of Parray.reroot.	Guillaume Melquiond
2020-09-22	Use the same memory layout as closures for accumulators.	Guillaume Melquiond
2020-09-22	Modify bytecode representation of closures to please OCaml's GC (fix #12636).	Guillaume Melquiond
2020-08-18	Rename VM-related kernel/cfoo files to kernel/vmfoo	Gaëtan Gilbert