| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Wrap VM bytecode used on the OCaml side in an OCaml block. |  Pierre-Marie Pédrot | 2018-04-30 |
| * | More efficient reallocation of VM global tables. | Pierre-Marie Pédrot | 2018-03-26 |
| * | Moving the VM global atom table to a ML reference. | Pierre-Marie Pédrot | 2018-03-26 |
| * | Moving the VM global data to a ML reference. | Pierre-Marie Pédrot | 2018-03-26 |
| * | Merge PR #6855: Update headers following #6543. |  Maxime Dénès | 2018-03-05 |
| |\ | |||
| * \ | Merge PR #935: Handling evars in the VM | Maxime Dénès | 2018-03-04 |
| |\ \ | |||
| | * | | Handling evars in the VM. | Pierre-Marie Pédrot | 2018-03-03 |
| * | | | [VM] Unify Const_sorts and Const_type, and remove Vsort. | Maxime Dénès | 2018-03-02 |
| |/ / | |||
| | * | Update headers following #6543. |  Théo Zimmermann | 2018-02-27 |
| |/ | |||
| * | Fix #6677: Critical bug with VM and universes | Maxime Dénès | 2018-02-12 |
| * | Safer VM interfaces | Maxime Dénès | 2018-01-26 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |