1054 Commits

Author	SHA1	Message	Date
Christian Rinderknecht	dcbfbf781d	Extended lib_utils/pos.ml{i}. First import of Ligodity. (No "simplify" yet.)	2019-05-15 16:04:37 +02:00
Georges Dupéron	22b331dbed	Added tests to build, fixed some unused variables.	2019-05-15 15:17:04 +02:00
Galfour	3c6af09b21	fix warning; fix error in tests	2019-05-15 11:44:05 +00:00
Georges Dupéron	c43570a82d	Move into src/; add vendors/ subfolder, add CI script.	2019-05-14 17:53:44 +02:00