summaryrefslogtreecommitdiff
path: root/file_formats
Commit message (Expand)AuthorAgeFilesLines
* Use compressed marshaling to write .cmt, .cmti, .cmi, .cmo, .cma filesXavier Leroy2023-02-262-2/+2
* Replace structured constants by their Obj.t representation in CMO filesSébastien Hinderer2023-02-221-1/+1
* Add an early error when compiling different modules with mismatching -for-pac...Pierre Chambart2022-09-131-1/+2
* Remove configuration options --disable-force-safe-string and DEFAULT_STRING=u...Kate2022-02-012-2/+0
* Shapes: Store shapes in CMT* filesUlysse Gérard2021-11-092-1/+8
* ability to restart compilation from .cmir-linear IR files Greta Yorsh2020-10-132-0/+2
* Save Linear IR before emit (#8939)Greta Yorsh2020-10-072-0/+137
* Cm[ox]_format: document fields that are stored in reverse order.Daniel Bünzli2020-01-312-0/+4
* [refactoring] typing/cmi_format: type-annotate {input,output}_value for safetyGabriel Scherer2019-11-071-9/+16
* split patterns into "value patterns" and "computation patterns"Gabriel Scherer2019-10-312-3/+3
* Remove Misc.may_map and similarLeo White2019-05-231-1/+1
* Move some middle-end files around (#2281)Mark Shinwell2019-04-017-0/+636