Commits · master · POTTIER Francois / fix

29 Mar, 2022 1 commit
- Add 4.14 to [make versions]. · 5224cc49
  POTTIER Francois authored Mar 29, 2022
  
  5224cc49
07 Feb, 2022 4 commits
- TODO. · 9d0f5e2a
  POTTIER Francois authored Feb 07, 2022
  
  9d0f5e2a
- CHANGES. · 738f4038
  POTTIER Francois authored Feb 07, 2022
  
  738f4038
- Merge branch 'master' into 'master' · 39a20670
  POTTIER Francois authored Feb 07, 2022
```
Indexing: Empty vector has empty domain

See merge request !3
```
  39a20670
- Indexing: Empty vector has empty domain · 89393ef9
  Frédéric Bour authored Feb 07, 2022
  
  89393ef9
31 Jan, 2022 1 commit
- Fix a bug in the Brzozowski demo, reported by Chet Murthy. · c731e956
  POTTIER Francois authored Jan 31, 2022
```
Regular expressions were not correctly canonicalized.
```
  c731e956
21 Jan, 2022 3 commits
- CHANGES. · a288f05d
  POTTIER Francois authored Jan 21, 2022
  
  a288f05d
- Glue: a few changes for compatibility with the new ephemeron API. · 416b5b28
  POTTIER Francois authored Jan 21, 2022
  
  416b5b28
- Memoize.Make: MINIMAL_IMPERATIVE_MAPS suffices. · fcf5f457
  POTTIER Francois authored Jan 21, 2022
  
  fcf5f457
31 Dec, 2021 14 commits
- README: shorter URL. · b2dc4e89
  POTTIER Francois authored Dec 31, 2021
  
  b2dc4e89
- Shorten the duration of the test in demos/brz/TestGen.ml. · c886d65e
  POTTIER Francois authored Dec 31, 2021
  
  c886d65e
- Add [make undo]. · 0b95c3fa
  POTTIER Francois authored Dec 31, 2021
  
  0b95c3fa
- Update URL in README.md. · 01a8f863
  POTTIER Francois authored Dec 31, 2021
  
  01a8f863
- CHANGES. · e0fa9e6f
  POTTIER Francois authored Dec 31, 2021
  
  e0fa9e6f
- Simplify README.md to avoid redundancy with the documentation. · b361cac9
  POTTIER Francois authored Dec 31, 2021
  
  b361cac9
- Update synopsis. · e6ed1108
  POTTIER Francois authored Dec 31, 2021
  
  e6ed1108
- Remove the postprocessing of the .css file. · d01763ab
  POTTIER Francois authored Dec 31, 2021
  
  d01763ab
- Add index.mld to improve the documentation's main page. · 7e4597cc
  POTTIER Francois authored Dec 31, 2021
  
  7e4597cc
- Improved documentation comments. · a24e358e
  POTTIER Francois authored Dec 31, 2021
  
  a24e358e
- Add doc.sh to postprocess odoc's output. · 73245c1a
  POTTIER Francois authored Dec 31, 2021
  
  73245c1a
- Tweaks in README. · 1b9c211f
  POTTIER Francois authored Dec 31, 2021
  
  1b9c211f
- Improve [make doc]; add [make view]. · c6fd0fa6
  POTTIER Francois authored Dec 31, 2021
  
  c6fd0fa6
- Disable warning 70. · 8e2a0742
  POTTIER Francois authored Dec 31, 2021
  
  8e2a0742
22 Dec, 2021 1 commit
- [make release]: cosmetic addition. · 05ea7369
  POTTIER Francois authored Dec 22, 2021
  
  05ea7369
25 Nov, 2021 16 commits
- README. · 2a26e3db
  POTTIER Francois authored Nov 25, 2021
  
  2a26e3db
- README. · 19ca4c7a
  POTTIER Francois authored Nov 25, 2021
  
  19ca4c7a
- Run [make headache]. · d4779209
  POTTIER Francois authored Nov 25, 2021
  
  d4779209
- CHANGES. · 9490fb02
  POTTIER Francois authored Nov 25, 2021
  
  9490fb02
- Indexing: general cleanup of the code. · a014857d
  POTTIER Francois authored Nov 25, 2021
  
  a014857d
- Indexing.mli: general cleanup and improvement of the documentation. · d05a1271
  POTTIER Francois authored Nov 25, 2021
  
  d05a1271
- DataFlow: use [update] at the roots to allow a root to be seeded twice. · 22d96a09
  POTTIER Francois authored Nov 25, 2021
  
  22d96a09
- DataFlow: remove a redundant call to [CompactQueue.is_empty]. · de93d205
  POTTIER Francois authored Nov 25, 2021
  
  de93d205
- DataFlow.ml: cosmetic cleanup. · fd743881
  POTTIER Francois authored Nov 25, 2021
  
  fd743881
- DataFlow.mli: documentation comments. · a9a3c0bb
  POTTIER Francois authored Nov 25, 2021
  
  a9a3c0bb
- Clean up the description of the signature [ARRAY]. · 73485045
  POTTIER Francois authored Nov 25, 2021
  
  73485045
- Publish [CompactQueue]. · 8af4e336
  POTTIER Francois authored Nov 25, 2021
  
  8af4e336
- Indexing: remove unused [open]. · ee7458c3
  POTTIER Francois authored Nov 25, 2021
  
  ee7458c3
- CompactQueue: comments and stylistic improvements. · f0b3b92e
  POTTIER Francois authored Nov 25, 2021
  
  f0b3b92e
- Cleanup in CompactQueue.mli. · c83d9513
  POTTIER Francois authored Nov 25, 2021
  
  c83d9513
- Authors. · ceca8d12
  POTTIER Francois authored Nov 25, 2021
  
  ceca8d12