| Commit message (Expand) | Author | Age | Files | Lines |
* | Update the initial configuration | Son Ho | 2024-04-03 | 1 | -1/+1 |
* | WIP Beginning working on better errors: began replacing raise (Failure) and a... | Escherichia | 2024-03-28 | 1 | -1/+1 |
* | Update the name generation and add CLI to print external pat names | Son Ho | 2024-03-10 | 1 | -0/+3 |
* | Make progress on propagating the changes | Son Ho | 2024-03-08 | 1 | -44/+0 |
* | Remove the option to split fwd/back functions and update SymbolicToPure | Son Ho | 2024-03-08 | 1 | -63/+0 |
* | Update the code generated for tuple projectors | Son Ho | 2024-03-08 | 1 | -0/+4 |
* | Simplify the type of the merged fwd/back functions | Son Ho | 2023-12-21 | 1 | -0/+26 |
* | Make good progress on merging the fwd/back functions | Son Ho | 2023-12-21 | 1 | -1/+1 |
* | Reset Config.return_back_funs to false | Son Ho | 2023-12-19 | 1 | -1/+1 |
* | Start updating Pure.fun_sig_info to handle merged forward and backward functions | Son Ho | 2023-12-14 | 1 | -2/+61 |
* | Update Pure.fun_sig_info | Son Ho | 2023-12-13 | 1 | -0/+4 |
* | Use a better syntax when extracting tuple types (structures with unnamed fields) | Son Ho | 2023-12-07 | 1 | -1/+17 |
* | Fix the issues with the cross-references for OCaml doc | Son Ho | 2023-11-27 | 1 | -1/+1 |
* | Update a comment | Son Ho | 2023-11-27 | 1 | -1/+2 |
* | Do not activate the sanity (invariant) checks by default | Son Ho | 2023-11-27 | 1 | -4/+4 |
* | Reorganize the "Extract" files | Son Ho | 2023-11-21 | 1 | -0/+27 |
* | Modify some options and update the Makefile | Son Ho | 2023-11-09 | 1 | -2/+2 |
* | Fix a small issue in AssociatedTypes | Son Ho | 2023-11-09 | 1 | -3/+3 |
* | Remove the possibility of generating opaque module signatures | Son Ho | 2023-10-24 | 1 | -7/+0 |
* | Make progress on the extraction | Son Ho | 2023-09-14 | 1 | -0/+4 |
* | Fix more issues | Son Ho | 2023-09-13 | 1 | -0/+8 |
* | Make progress on Extract and ExtractBase | Son Ho | 2023-08-31 | 1 | -0/+8 |
* | Add an option to not override Hashmap.lean | Son Ho | 2023-08-04 | 1 | -0/+8 |
* | Use short names for the structure fields in Lean | Son Ho | 2023-07-06 | 1 | -0/+11 |
* | Start using namespaces in the Lean backend | Son Ho | 2023-07-05 | 1 | -0/+7 |
* | Reorganize the Lean tests | Son Ho | 2023-07-04 | 1 | -0/+5 |
* | Make good progress on generating code for HOL4 | Son Ho | 2023-06-04 | 1 | -2/+3 |
* | Add a special expression for structure creation/update | Son Ho | 2023-06-04 | 1 | -1/+0 |
* | Consistently use the names TerminationMeasure and DecreasesProof | Son Ho | 2023-06-04 | 1 | -7/+16 |
* | Initial Lean backend, WIP | Jonathan Protzenko | 2023-06-04 | 1 | -3/+3 |
* | Fix the comments for ocamldoc | Son Ho | 2023-02-03 | 1 | -1/+1 |
* | Implement a micro-pass to simplify the let-bindings followed by a return | Son Ho | 2023-02-03 | 1 | -1/+1 |
* | Make progress on the fixed point computation | Son Ho | 2023-02-03 | 1 | -1/+1 |
* | Start implementing support for loops | Son Ho | 2023-02-03 | 1 | -3/+15 |
* | Generate record field projectors for Coq | Son Ho | 2022-11-16 | 1 | -5/+3 |
* | Add a `-use-fuel` option | Son Ho | 2022-11-14 | 1 | -1/+5 |
* | Implement a pass to decompose nested patterns in let-bindings | Son Ho | 2022-11-14 | 1 | -2/+19 |
* | Make good progress on the Coq backend | Son Ho | 2022-11-14 | 1 | -3/+64 |
* | Reorganize the project to prepare for new backends | Son Ho | 2022-11-14 | 1 | -2/+3 |
* | Fix some issues with the comments | Son Ho | 2022-11-11 | 1 | -7/+7 |
* | Implement a Config.ml file which groups all the global options in references | Son Ho | 2022-11-10 | 1 | -0/+192 |