You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

François Pottier 6fe129a761 Rename [STRUCTURE_OPT] to [GSTRUCTURE_OPT].		3 months ago
..
Decoder.ml	Rename [OSTRUCTURE] to [DSTRUCTURE].	3 months ago
Decoder.mli	Rename [OSTRUCTURE] to [DSTRUCTURE].	3 months ago
Generalization.ml	Rename [STRUCTURE_OPT] to [GSTRUCTURE_OPT].	3 months ago
Generalization.mli	Rename [STRUCTURE_OPT] to [GSTRUCTURE_OPT].	3 months ago
InfiniteArray.ml	InfiniteArray: stylistic changes in the code.	1 year ago
InfiniteArray.mli	Simplify the Gospel postcondition of [InfiniteArray.make].	1 year ago
Makefile	Add [make gospel].	1 year ago
OccursCheck.ml	Rename [OCSTRUCTURE] to [OSTRUCTURE].	3 months ago
OccursCheck.mli	Rename [OCSTRUCTURE] to [OSTRUCTURE].	3 months ago
Signatures.ml	Rename [STRUCTURE_OPT] to [GSTRUCTURE_OPT].	3 months ago
Solver.ml	remove is_leaf from the signature by moving variable decoding around	3 months ago
Solver.mli	simplify Signatures by requiring debug [pprint] everywhere	3 months ago
Structure.ml	remove is_leaf from the signature by moving variable decoding around	3 months ago
Structure.mli	Rename [STRUCTURE_OPT] to [GSTRUCTURE_OPT].	3 months ago
Unifier.ml	Rename UnifierSig to Signatures.	1 year ago
Unifier.mli	Documentation comments.	1 year ago
Utils.ml	Publish [Utils.gensym] and hide [postincrement].	1 year ago
Utils.mli	Utils: publish [postincrement].	1 year ago
dune	Enable warning 42 again.	12 months ago
index.mld	Inline away all signatures in the documentation.	1 year ago
tarjan.ml	Headers.	1 year ago
tarjan.mli	Headers.	1 year ago