summaryrefslogtreecommitdiff
path: root/src/Types.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Reorganize a bit the projectSon Ho2022-10-271-208/+0
* Update the code documentation to fix links and syntax issuesSon Ho2022-10-261-5/+5
* Add meta data with code locations to the various definitionsSon Ho2022-10-261-14/+19
* Reformat the project with duneSon Ho2022-09-221-17/+0
* Add an Opaque variant to type_decl_kind and start updating the codeSon Ho2022-03-031-1/+5
* Move the names from Identifiers to NamesSon Ho2022-03-031-0/+1
* Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...declSon Ho2022-03-031-6/+6
* Update the way function names are handledSon Ho2022-02-241-1/+1
* Update the Makefile to add hashmap as a test and fix some issuesSon Ho2022-02-081-4/+4
* Start adding more assumed types and functionsSon Ho2022-02-081-1/+7
* Register the names of the integer types and ops to detect name clashes inSon Ho2022-02-041-2/+5
* Implement extraction of function callsSon Ho2022-02-031-0/+3
* Make the field names optional and make progress on ExtractToFStarSon Ho2022-01-291-1/+1
* Make minor cleaningSon Ho2022-01-291-9/+6
* Derive ord for the typesSon Ho2022-01-181-10/+11
* Update the types and deserialization following charon's updatesSon Ho2022-01-181-0/+27
* Implement greedy expansion of symbolic variables and expansion beforeSon Ho2022-01-141-0/+5
* Make good progress on eval_local_function_call_symbolicSon Ho2022-01-051-2/+5
* Generate visitors for tySon Ho2022-01-031-1/+53
* Use RegionVarId and RegionId in a more consistent mannerSon Ho2021-12-171-3/+13
* Merge the ADTs, tuples and assumed types in the type and valueSon Ho2021-12-011-3/+10
* Factorize type_var and region_varSon Ho2021-12-011-12/+6
* Move some definitions to new filesSon Ho2021-12-011-44/+0
* Add commentsSon Ho2021-12-011-0/+1
* Add various commentsSon Ho2021-12-011-0/+1
* Remove the vector type for the Id moduleSon Ho2021-11-301-8/+5
* Start deriving formatters for debuggingSon Ho2021-11-291-6/+14
* Implement fun_def_to_stringSon Ho2021-11-291-0/+4
* Make various improvements in PrintSon Ho2021-11-291-0/+15
* Start working logging and make progress on printing ASTsSon Ho2021-11-291-2/+5
* Implement expand_bottom_valueSon Ho2021-11-231-1/+23
* Start working on pretty-printingSon Ho2021-11-191-2/+5
* Remove the automatic derivation of Yojson (de)serializersSon Ho2021-11-181-14/+6
* Make more progress on CfimOfJsonSon Ho2021-11-171-2/+2
* Start implementing by hand the json deserializersSon Ho2021-11-171-5/+5
* Also generate to_yojson functionsSon Ho2021-11-171-14/+14
* Use [@@ëerive of_json] on all the typesSon Ho2021-11-171-6/+14
* Split main.ml between Identifiers.ml and Types.mlSon Ho2021-11-031-0/+97
generated by cgit v1.2.3 (git 2.25.1) at 2025-12-20 12:05:07 +0000