summaryrefslogtreecommitdiff
path: root/src/PrintPure.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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
| | | | declarations
* 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
| | | | Option and Vec
* 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
| | | | the pure AST
* 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
| | | | `monadic` boolean field to `Let`
* Change the type of [Pure.call.args] to [expression list] rather thanSon Ho2022-01-281-10/+14
| | | | [typed_rvalue list]
* 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
| | | | the Assignment variant
* 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
|
* Fix some mistakesSon Ho2022-01-271-1/+1
|
* Add more printing facilities and fix minor bugsSon Ho2022-01-271-16/+38
|
* Implement PrintPure.let_to_stringSon Ho2022-01-271-3/+74
|
* Implement PrintPure.switch_to_stringSon Ho2022-01-271-0/+68
|
* Implement inst_fun_sig_to_stringSon Ho2022-01-271-0/+13
|
* Implement PrintPure.fun_sig_to_stringSon Ho2022-01-271-6/+24
|
* Implement PrintPure.typed_rvalue_to_stringSon Ho2022-01-271-43/+72
|
* Implement PrintPure.typed_lvalue_to_stringSon Ho2022-01-271-0/+61
|
* Make more progress on PrintPureSon Ho2022-01-271-16/+59
|
* Start working on PrintPure.mlSon Ho2022-01-271-0/+115