summaryrefslogtreecommitdiff
path: root/src/PrintPure.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Address much stuff of the PR, throw exceptions at remaining placesSidney Congard2022-07-181-3/+6
* Traduct globals body separately (WIP)Sidney Congard2022-06-301-1/+9
* concrete & symbolic evaluation work with new LLBC formatSidney Congard2022-06-211-4/+3
* read globals from LLBC JSON into functionsSidney Congard2022-06-081-3/+3
* Treat integer casts in a general mannerSon Ho2022-05-151-6/+6
* Start updating the way the function return type (with errors and states)Son Ho2022-05-041-19/+4
* CleanupSon Ho2022-05-011-12/+8
* Perform more renamingsSon Ho2022-05-011-4/+4
* Perform some renamingsSon Ho2022-05-011-1/+1
* Rename "lvalue" to "pattern"Son Ho2022-05-011-12/+12
* Make more progress propagating the changesSon Ho2022-04-291-2/+1
* Make good progress updating the codeSon Ho2022-04-291-11/+10
* Merge the rvalues with the expressionsSon Ho2022-04-291-42/+101
* Update ExtractToFStarSon Ho2022-04-271-24/+21
* Introduce the Abs expression and continue updating the codeSon Ho2022-04-261-2/+12
* Introduce the App expression, and make progress updating the codeSon Ho2022-04-261-29/+67
* Make minor modificationsSon Ho2022-04-211-1/+5
* Improve the generation of names for given back valuesSon Ho2022-04-211-7/+19
* Work on pretty namesSon Ho2022-04-211-9/+4
* Introduce mdplace to link meta information about the given back valuesSon Ho2022-04-201-22/+28
* Improve the generation of pretty names by correctly using theSon Ho2022-04-201-18/+22
* Improve PrintPure.mlSon Ho2022-04-201-6/+7
* In fun_id rename the variant Local to RegularSon Ho2022-03-031-1/+1
* Make good progress on adding support for external and opaqueSon Ho2022-03-031-6/+10
* Rename CFIM to LLBCSon Ho2022-03-031-3/+3
* Add an Opaque variant to type_decl_kind and start updating the codeSon Ho2022-03-031-0/+1
* Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...declSon Ho2022-03-031-34/+34
* Update the way function names are handledSon Ho2022-02-241-2/+4
* Add the `State` assumed type in Pure.mlSon Ho2022-02-231-1/+10
* Add type checking utilities for the pure ADTSon Ho2022-02-081-5/+13
* Fix some issuesSon Ho2022-02-081-1/+2
* Make progress on implementing support for types and functions likeSon Ho2022-02-081-1/+17
* Start adding more assumed types and functionsSon Ho2022-02-081-1/+13
* Merge the switches over integers and the matches over enumerations inSon Ho2022-02-041-14/+1
* Make the field names optional and make progress on ExtractToFStarSon Ho2022-01-291-3/+7
* Make the pure expressions typedSon Ho2022-01-281-13/+17
* Make the scrutinee in Pure.Switch an expression rather than a valueSon Ho2022-01-281-3/+6
* Cleanup a bitSon Ho2022-01-281-6/+5
* Remove the Return and Fail variants from Pure.expression and add aSon Ho2022-01-281-22/+26
* Change the type of [Pure.call.args] to [expression list] rather thanSon Ho2022-01-281-10/+14
* Simplify the let-bindings in the pure ASTSon Ho2022-01-281-29/+27
* Make substantial simplifications to the pure ASTSon Ho2022-01-281-95/+59
* Apply the micro-passes to the pure ASTsSon Ho2022-01-281-1/+1
* Remove the Aggregated variant from SymbolicAst.meta as it is included inSon Ho2022-01-281-3/+0
* Generate meta-information for the assignmentsSon Ho2022-01-281-0/+21
* Fix some issues with the naming of input variablesSon Ho2022-01-271-1/+1
* Make minor modifications and create PureMicroPasses.mlSon Ho2022-01-271-1/+1
* Add mplace information in Pure.mlSon Ho2022-01-271-8/+21
* Add meta information for the variable names in SymbolicAstSon Ho2022-01-271-2/+2
* Make minor modificationsSon Ho2022-01-271-1/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-26 18:34:15 +0000