| Commit message (Expand) | Author | Files | Lines |
|---|
| 2024-06-24 | Update charon | Nadrieril | 1 | -1/+1 |
| 2024-06-17 | Regenerate the tests | Son Ho | 1 | -1/+1 |
| 2024-06-17 | Update charon | Nadrieril | 1 | -1/+1 |
| 2024-06-05 | Update charon | Nadrieril | 1 | -1/+1 |
| 2024-05-24 | Update output files | Nadrieril | 1 | -2/+2 |
| 2024-05-24 | Update test outputs | Nadrieril | 1 | -2/+2 |
| 2024-05-24 | Tweak a path | Nadrieril | 1 | -2/+2 |
| 2024-05-23 | Bump charon version | Nadrieril | 1 | -2/+2 |
| 2024-04-25 | Update the tests for External | Son Ho | 1 | -54/+23 |
| 2024-04-04 | Regenerate the test files | Son Ho | 1 | -5/+5 |
| 2024-04-04 | Regenerate the test files | Son Ho | 1 | -2/+2 |
| 2024-03-20 | Regenerate the code | Son Ho | 1 | -3/+3 |
| 2023-12-23 | Regenerate the files | Son Ho | 1 | -3/+1 |
| 2023-12-22 | Regenerate the test files and add the fstar-split tests | Son Ho | 1 | -68/+27 |
| 2023-11-27 | Generate a dedicated file for the external types | Son Ho | 1 | -5/+5 |
| 2023-11-27 | Update the generation of files for external definitions and regenerate the tests | Son Ho | 1 | -2/+2 |
| 2023-11-21 | Regenerate the files | Son Ho | 1 | -9/+18 |
| 2023-10-27 | Regenerate the Coq test files | Son Ho | 1 | -19/+20 |
| 2023-08-04 | Update the Makefile and regenerate the test files | Son Ho | 1 | -0/+2 |
| 2023-07-06 | Improve the generated comments | Son Ho | 1 | -9/+9 |
| 2023-06-04 | Make good progress on generating code for HOL4 | Son Ho | 1 | -4/+4 |
| 2023-02-03 | Regenerate the hashmap code and update the proofs | Son Ho | 1 | -4/+1 |
| 2023-02-03 | Regenerate the files | Son Ho | 1 | -7/+2 |
| 2022-11-16 | Change the name of the generated Coq modules | Son Ho | 1 | -6/+6 |
| 2022-11-16 | Improve formatting | Son Ho | 1 | -19/+20 |
| 2022-11-14 | Regenerate the files and fix the proofs | Son Ho | 1 | -1/+1 |
| 2022-11-14 | Reactivate the option -test-trans-unis for Coq | Son Ho | 1 | -0/+3 |
| 2022-11-14 | Improve the formatting of the generated code | Son Ho | 1 | -8/+18 |
| 2022-11-14 | Implement a pass to decompose nested patterns in let-bindings | Son Ho | 1 | -2/+3 |
| 2022-11-14 | Make minor modifications | Son Ho | 1 | -2/+1 |
| 2022-11-14 | Make good progress on the Coq backend | Son Ho | 1 | -0/+100 |
