Commits · master · POTTIER Francois / fix

01 Jan, 2021 2 commits
- Make the Makefile more silent. · b9f7635b
  POTTIER Francois authored Jan 01, 2021
  
  b9f7635b
- .gitignore. · c8fa30a4
  POTTIER Francois authored Jan 01, 2021
  
  c8fa30a4
21 Nov, 2020 4 commits
- Fix the version constraint on dune. · e64726d8
  POTTIER Francois authored Nov 21, 2020
  
  e64726d8
- Enrich the operations offered by the module Boolean. · 8d9ceeed
  POTTIER Francois authored Nov 21, 2020
  
  8d9ceeed
- Fix a comment. · 42db44a2
  POTTIER Francois authored Nov 21, 2020
  
  42db44a2
- Fix indentation of comments. · 6257ed0e
  POTTIER Francois authored Nov 21, 2020
  
  6257ed0e
20 Nov, 2020 11 commits
- DataFlow: change the bag of pending nodes from LIFO to FIFO. This is about 15x... · 17c5c3de
  POTTIER Francois authored Nov 21, 2020
```
DataFlow: change the bag of pending nodes from LIFO to FIFO. This is about 15x faster in the computation of Menhir's invariant.
```
  17c5c3de
- 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 1 commit
- Rename the module [Number] to [GraphNumbering]. · f337c589
  POTTIER Francois authored Oct 03, 2019
  
  f337c589