summaryrefslogtreecommitdiff
path: root/compiler/PureUtils.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2022-11-14Add a `-use-fuel` optionSon Ho1-4/+12
2022-11-14Make [Result::Failure] type an [Error] parameterSon Ho1-5/+27
2022-11-14Improve the formatting of the generated codeSon Ho1-0/+9
2022-11-14Make good progress on the Coq backendSon Ho1-2/+2
2022-11-14Reorganize the project to prepare for new backendsSon Ho1-1/+1
2022-11-11Fix some issues with the commentsSon Ho1-1/+1
2022-11-10Implement the generation of stateful backward functions (controlled by an opt...Son Ho1-0/+6
2022-11-10Update the way function names are handled in PureSon Ho1-16/+19
2022-11-10Reorganize branching symbolic expansions to prepare for the join operationSon Ho1-0/+4
2022-11-10Update `switch` to have a specific treatment of ADTsSon Ho1-1/+1
2022-11-07Replace all the occurrences of `failwith ...` with `raise (Failure ...)`Son Ho1-1/+1
2022-10-27Reformat the codeSon Ho1-1/+2
2022-10-27Move constant_value to PrimitiveValues.mlSon Ho1-5/+5
2022-10-27Reorganize a bit the projectSon Ho1-0/+0
2022-10-26Update the code documentation to fix links and syntax issuesSon Ho1-9/+9
2022-09-22Update PureMicroPasses.inline_useless_var_reassignmentsSon Ho1-0/+6
2022-09-22Make minor modificationsSon Ho1-1/+1
2022-07-29Create global declaration group, address PR changes but introduce bugsSidney Congard1-0/+5
2022-06-30Take failing rvalues into account in FunsAnalysis.analyze_fun_declsSon Ho1-18/+0
2022-05-04Start implementing divergence, can_fail, statefullness analysesSon Ho1-34/+0
2022-05-04Make minor modificationsSon Ho1-1/+1
2022-05-04Make minor modificationsSon Ho1-5/+14
2022-05-04Start updating the way the function return type (with errors and states)Son Ho1-37/+4
2022-05-01Move the type-checking functions for pure AST to PureTypeCheck.mlSon Ho1-145/+0
2022-05-01Improve type-checkingSon Ho1-10/+23
2022-05-01Do more cleanupSon Ho1-11/+13
2022-05-01CleanupSon Ho1-8/+8
2022-05-01Perform some renamingsSon Ho1-7/+7
2022-05-01Rename "lvalue" to "pattern"Son Ho1-30/+30
2022-04-29Make more progress propagating the changesSon Ho1-11/+4
2022-04-29Make progress on PureMicroPassesSon Ho1-1/+25
2022-04-29Make good progress updating the codeSon Ho1-4/+18
2022-04-29Merge the rvalues with the expressionsSon Ho1-232/+332
2022-04-27Make minor modificationsSon Ho1-0/+34
2022-04-27Fix various bugs when extracting with a state monadSon Ho1-0/+9
2022-04-26Introduce the Abs expression and continue updating the codeSon Ho1-22/+60
2022-04-26Introduce the App expression, and make progress updating the codeSon Ho1-7/+53
2022-04-21Work on pretty namesSon Ho1-4/+2
2022-04-20Introduce mdplace to link meta information about the given back valuesSon Ho1-2/+4
2022-03-03In fun_id rename the variant Local to RegularSon Ho1-2/+2
2022-03-03Make good progress on adding support for external and opaqueSon Ho1-2/+5
2022-03-03Add an Opaque variant to type_decl_kind and start updating the codeSon Ho1-3/+3
2022-03-03Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...declSon Ho1-12/+12
2022-02-23Start working on generating code which uses a state-error monadSon Ho1-1/+10
2022-02-23Add the `State` assumed type in Pure.mlSon Ho1-0/+3
2022-02-23Improve the code generation by inlining more let-bindingsSon Ho1-0/+23
2022-02-08Fix some mistakes in the type conversion to pureSon Ho1-3/+15
2022-02-08Add type checking utilities for the pure ADTSon Ho1-0/+107
2022-02-04Make a minor modificationSon Ho1-2/+2
2022-02-04Merge the switches over integers and the matches over enumerations inSon Ho1-0/+11
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 18:05:23 +0000