coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of kernel/nativelibrary.mli

January 2025

coqbot-app[bot]
Merge PR #19995: Abstract away the representation of module-related types
committed
Pierre-Marie Pédrot
Move the module-related definitions from Declarations to a new module.
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

May 2021

Théo Zimmermann
Add examples from former detailed tactic examples chapter to their new location.
committed

March 2021

coqbot-app[bot]
Merge PR #13956: Remove useless prefix argument in native compilation.
committed
Pierre-Marie Pédrot
Remove useless prefix argument in native compilation.
committed

March 2020

Hugo Herbelin
Merge PR #11559: Remove year in headers.
committed
Théo Zimmermann
Update headers in the whole code base.
committed

July 2019

Maxime Dénès
Merge PR #10359: Remove dependency of native_compile on global env for symbols
committed

June 2019

Clément Pit-Claudel
Merge PR #10320: Update headers to the new year.
committed
Théo Zimmermann
Update ml-style headers to new year.
committed
Gaëtan Gilbert
Move type definition Nativecode.symbols to Nativevalues
committed

March 2018

Maxime Dénès
Merge PR #6855: Update headers following #6543.
committed

February 2018

Théo Zimmermann
Update headers following #6543.
committed

November 2017

Maxime Dénès
Merge PR #6065: [api] Deprecate all legacy uses of Names in core.
committed
Emilio Jesus Gallego Arias
[api] Deprecate all legacy uses of Names in core.
committed

July 2017

Pierre-Marie Pédrot
Bump year in headers.
committed

June 2017

Maxime Dénès
Merge PR#713: Bump year in headers.
committed
Maxime Dénès
Bump year in headers.
committed

April 2016

Pierre Courtieu
Merge remote-tracking branch 'OFFICIAL/trunk' into morefresh
committed

January 2016

Pierre-Marie Pédrot
Merge branch 'v8.5'
committed
Maxime Dénès
Update copyright headers.
committed

July 2015

Pierre-Marie Pédrot
Merge branch 'v8.5'
committed
Maxime Dénès
Native compiler: refactor code handling pre-computed values.
committed

January 2015

Maxime Dénès
Update headers.
committed

April 2014

Maxime Dénès
Native compiler: hide compiled files in a .coq-native subdirectory.
committed

December 2013

Maxime Dénès
Removing native_name reference from constant_body.
committed

August 2013

letouzey
Declarations.mli: reorganization of modular structures
committed

January 2013

mdenes
New implementation of the conversion test, using normalization by evaluation to native OCaml code.
committed