ligo/vendors/UnionFind/dune

(library
  (name UnionFind)
  (public_name UnionFind)
  (wrapped true)
  (libraries RedBlackTrees)
  (modules Partition0 Partition1 Partition2 Partition3 Partition UnionFind Poly2)
  (modules_without_implementation Partition))
update union-find library (part 1: remove old copy, download https://github.com/rinderknecht/UnionFind.git 3fc434d0d75e40d40d17f5abb70d86a51f434771 in new folder) 2020-01-06 18:26:24 +01:00			`(library`
			`(name UnionFind)`
union-find: rename partition to UnionFind for more consistency across the various names that opam and dune assign to this library 2020-01-06 19:02:26 +01:00			`(public_name UnionFind)`
Shared more code in ParserUnit.ml Rewrite of the integration of the preprocessor. Compiles bt DOES NOT PASS THE CI. 2020-04-03 19:08:14 +02:00			`(wrapped true)`
Added a polymorphic version of one of the UnionFind implementations 2020-04-09 14:28:04 +02:00			`(libraries RedBlackTrees)`
			`(modules Partition0 Partition1 Partition2 Partition3 Partition UnionFind Poly2)`
update union-find library (part 1: remove old copy, download https://github.com/rinderknecht/UnionFind.git 3fc434d0d75e40d40d17f5abb70d86a51f434771 in new folder) 2020-01-06 18:26:24 +01:00			`(modules_without_implementation Partition))`