Commits · 36bb565fdd084499709284766bf5f2a22230de24 · POTTIER Francois / fix

20 Nov, 2020 10 commits
- Disable warning 67 (unused functor parameter). · 36bb565f
  POTTIER Francois authored Nov 20, 2020
```
Not sure why it bugs me now and did not do so earlier.
```
  36bb565f
- Add Glue.MinimalSemiLattice. · 39d3eafc
  POTTIER Francois authored Nov 20, 2020
  
  39d3eafc
- Improve src/Makefile. · 16133de0
  POTTIER Francois authored Nov 20, 2020
  
  16133de0
- Fix a documentation comment. · 9437f559
  POTTIER Francois authored Nov 20, 2020
  
  9437f559
- Update DataFlow to require a minimal semi-lattice instead of a semi-lattice. · da13a22b
  POTTIER Francois authored Nov 20, 2020
  
  da13a22b
- Introduce the notion of a minimal semi-lattice. · 9233a53e
  POTTIER Francois authored Nov 20, 2020
  
  9233a53e
- CHANGES. · 994d8565
  POTTIER Francois authored Nov 20, 2020
  
  994d8565
- Indentation in documentation comments. · 92ba374d
  POTTIER Francois authored Nov 20, 2020
  
  92ba374d
- Change 4.09.0 to 4.09.1 in [make versions]. · 200a3711
  POTTIER Francois authored Nov 20, 2020
  
  200a3711
- Comment. · dc6d09c7
  POTTIER Francois authored Nov 20, 2020
  
  dc6d09c7
18 Mar, 2020 7 commits
- Fix link. · 5c2b950b
  POTTIER Francois authored Mar 18, 2020
  
  5c2b950b
- Fix [make export]. · 033d8702
  POTTIER Francois authored Mar 18, 2020
  
  033d8702
- Use documentation comments, in an attempt to improve the documentation generated by odoc. · 5599d298
  POTTIER Francois authored Mar 18, 2020
  
  5599d298
- TODO. · 69777caa
  POTTIER Francois authored Mar 18, 2020
  
  69777caa
- Fix link. · 70dcb4ac
  POTTIER Francois authored Mar 18, 2020
  
  70dcb4ac
- Link to the documentation in the README. · 945f570d
  POTTIER Francois authored Mar 18, 2020
  
  945f570d
- Add [make doc] and [make export]. · 03c8d337
  POTTIER Francois authored Mar 18, 2020
  
  03c8d337
14 Feb, 2020 1 commit
- CHANGES: fix a release date. · 34697178
  POTTIER Francois authored Feb 14, 2020
  
  34697178
13 Feb, 2020 3 commits
- New type abbreviation ['a fix]. New combinator [curried]. · c7e6d9b9
  POTTIER Francois authored Feb 13, 2020
  
  c7e6d9b9
- TODO. · e2bc358e
  POTTIER Francois authored Feb 13, 2020
  
  e2bc358e
- TODO. · 481cab9d
  POTTIER Francois authored Feb 13, 2020
  
  481cab9d
03 Feb, 2020 1 commit
- New module [DataFlow]. · cc74047f
  POTTIER Francois authored Feb 03, 2020
  
  cc74047f
01 Feb, 2020 1 commit
- Declare a full dependency on dune, not a build dependency. · 9d9ec4a3
  POTTIER Francois authored Feb 01, 2020
  
  9d9ec4a3
31 Jan, 2020 1 commit
- Rename the internal module [Graph] to [CoreDependencyGraph]. · fe749bda
  POTTIER Francois authored Jan 31, 2020
  
  fe749bda
30 Jan, 2020 8 commits
- Remove dependency of demos/brz/TestGen on containers. (Contributed by Gabriel Radanne.) · d613834a
  POTTIER Francois authored Jan 30, 2020
  
  d613834a
- CHANGES: Update release date. · 25500f7d
  POTTIER Francois authored Jan 30, 2020
  
  25500f7d
- README: update a URL. · 394bb060
  POTTIER Francois authored Jan 30, 2020
  
  394bb060
- Specify OCaml flags in a central place, and distinguish development versus release builds. · 67a35e8b
  POTTIER Francois authored Jan 30, 2020
  
  67a35e8b
- Change [make versions] to build just the package, not the tests. · 4bfbf305
  POTTIER Francois authored Jan 30, 2020
  
  4bfbf305
- Remove references to [Pervasives.compare]. · ef021520
  POTTIER Francois authored Jan 30, 2020
  
  ef021520
- Add [make test] and [make versions]. · f415f592
  POTTIER Francois authored Jan 30, 2020
  
  f415f592
- Add src/Makefile for convenience. · c8cfabe8
  POTTIER Francois authored Jan 30, 2020
  
  c8cfabe8
03 Oct, 2019 8 commits
- Rename the module [Number] to [GraphNumbering]. · f337c589
  POTTIER Francois authored Oct 03, 2019
  
  f337c589
- New signature [TWO_PHASE_NUMBERING]. · df7dc515
  POTTIER Francois authored Oct 03, 2019
```
New functors [ForOrderedType], [ForHashedType], and [ForType] in Numbering.
```
  df7dc515
- Simplify the implementation of graph numbering using [Numbering]. · 41bf7ca8
  POTTIER Francois authored Oct 03, 2019
  
  41bf7ca8
- Numbering: raise a more informative exception when [encode] or [decode] is... · 56d72622
  POTTIER Francois authored Oct 03, 2019
```
Numbering: raise a more informative exception when [encode] or [decode] is given an invalid argument.
```
  56d72622
- New module [Numbering]. · c5d81829
  POTTIER Francois authored Oct 03, 2019
  
  c5d81829
- New function [visibly_memoize]. · 1c54abc7
  POTTIER Francois authored Oct 03, 2019
  
  1c54abc7
- Expose more type equalities in the interface of [Glue]. · b3182635
  POTTIER Francois authored Oct 03, 2019
  
  b3182635
- New abstract type [Gensym.generator]. · 4fabb29f
  POTTIER Francois authored Oct 03, 2019
  
  4fabb29f