|
862d0cd3
|
Avoid mentioning [Int.equal]. Not compatible with 4.03.
|
François Pottier <f****r@i****r>
|
8 months ago
|
|
|
d6cc2f83
|
CHANGES.
|
François Pottier <f****r@i****r>
|
10 months ago
|
|
|
5cfc169b
|
Add [Fix.Memoize.ForNumberedType].
|
François Pottier <f****r@i****r>
|
10 months ago
|
|
|
bf1e9b04
|
CHANGES.
|
François Pottier <f****r@i****r>
|
10 months ago
|
|
|
bc2127ce
|
CHANGES.
|
François Pottier <f****r@i****r>
|
10 months ago
|
|
|
56929482
|
New functors [Fix.ForIntSegment] and [Fix.ForNumberedType].
|
François Pottier <f****r@i****r>
|
10 months ago
|
|
|
ed011271
|
Change OperationsForIntSegment to not define [t].
|
François Pottier <f****r@i****r>
|
10 months ago
|
|
|
6af4fe36
|
Fix typo.
|
François Pottier <f****r@i****r>
|
10 months ago
|
|
|
3026c23b
|
CHANGES.
|
François Pottier <f****r@i****r>
|
10 months ago
|
|
|
d7d64e0c
|
New functor [OperationsForIntSegment].
|
François Pottier <f****r@i****r>
|
10 months ago
|
|
|
c16bc55a
|
CHANGES.
|
François Pottier <f****r@i****r>
|
10 months ago
|
|
|
b7227828
|
New signature NUMBERED.
|
François Pottier <f****r@i****r>
|
10 months ago
|
|
|
01d22fdd
|
.gitignore
|
François Pottier <f****r@i****r>
|
10 months ago
|
|
|
67c34c8c
|
CHANGES.
|
François Pottier <f****r@i****r>
|
10 months ago
|
|
|
1e5b18d8
|
New functor [Fix.Numbering.ForOrderedType].
|
François Pottier <f****r@i****r>
|
10 months ago
|
|
|
7532bd22
|
TODO.
|
François Pottier <f****r@i****r>
|
10 months ago
|
|
|
c10a73c4
|
Fix.Numbering.Operations: manually inline [fold] into [map].
|
François Pottier <f****r@i****r>
|
10 months ago
|
|
|
6ee91c4a
|
Let dune generate [fix.opam].
|
François Pottier <f****r@i****r>
|
10 months ago
|
|
|
849dc2cf
|
Numbering.Operations: add [equal] and [compare].
|
François Pottier <f****r@i****r>
|
10 months ago
|
|
|
d0f7902a
|
CHANGES.
|
François Pottier <f****r@i****r>
|
10 months ago
|
|
|
4abbdb11
|
New functor [Numbering.Operations].
|
François Pottier <f****r@i****r>
|
10 months ago
|
|
|
88c873b5
|
CHANGES.
|
François Pottier <f****r@i****r>
|
10 months ago
|
|
|
7dd77885
|
New functor [DataFlow.ForNumberedType].
|
François Pottier <f****r@i****r>
|
10 months ago
|
|
|
6a4f1ec7
|
CHANGES.
|
François Pottier <f****r@i****r>
|
10 months ago
|
|
|
8e63ebf5
|
New functor [GraphNumbering.ForNumberedType].
|
François Pottier <f****r@i****r>
|
10 months ago
|
|
|
0b828321
|
New functor [Glue.ArraysAsImperativeMapsWithNumbering].
|
François Pottier <f****r@i****r>
|
10 months ago
|
|
|
6dd32c32
|
Makefile.
|
François Pottier <f****r@i****r>
|
12 months ago
|
|
|
5b18350e
|
Mention the submodule [SCC] in the documentation.
|
François Pottier <f****r@i****r>
|
12 months ago
|
|
|
551f9e81
|
Avoid [odoc] warnings.
|
François Pottier <f****r@i****r>
|
12 months ago
|
|
|
f80b9fb3
|
.gitignore
|
François Pottier <f****r@i****r>
|
12 months ago
|
|
|
0a8cac08
|
Update [make versions].
|
François Pottier <f****r@i****r>
|
12 months ago
|
|
|
35968b75
|
CHANGES.
|
François Pottier <f****r@i****r>
|
12 months ago
|
|
|
4179e089
|
New submodule [SCC], taken from Menhir.
|
François Pottier <f****r@i****r>
|
12 months ago
|
|
|
61c08efc
|
Disable assertions in release builds.
|
François Pottier <f****r@i****r>
|
over 1 year ago
|
|
|
2f909162
|
A couple [@inline] annotations.
|
François Pottier <f****r@i****r>
|
over 1 year ago
|
|
|
aaa0e00b
|
Makefile.
|
François Pottier <f****r@i****r>
|
over 1 year ago
|
|
|
68a408d7
|
TODO.
|
François Pottier <f****r@i****r>
|
over 1 year ago
|
|
|
64e3661a
|
CHANGES.
|
François Pottier <f****r@i****r>
|
over 1 year ago
|
|
|
6c8405a0
|
New functor [Fix.Tabulate.ForNumberedType].
|
François Pottier <f****r@i****r>
|
over 1 year ago
|
|
|
d95e25a3
|
Document the added hypothesis in [DATA_FLOW_GRAPH].
|
François Pottier <f****r@i****r>
|
over 1 year ago
|
|
|
66618478
|
Add documentation and internal comments in [DataFlow.ForCustomMaps].
|
François Pottier <f****r@i****r>
|
over 1 year ago
|
|
|
c0644789
|
Fix [make install].
|
François Pottier <f****r@i****r>
|
about 2 years ago
|
|
|
a6e2da9b
|
Update [make versions].
|
François Pottier <f****r@i****r>
|
over 2 years ago
|
|
|
c79fd1c5
|
TODO.
|
François Pottier <f****r@i****r>
|
over 2 years ago
|
|
|
bae562a2
|
Glue.ml: fix parameter names. (This makes no visible difference.)
|
François Pottier <f****r@i****r>
|
over 2 years ago
|
|
|
70af2fef
|
Add misc/announcement.md.
|
François Pottier <f****r@i****r>
|
over 3 years ago
|
|
|
6e8356f2
|
TODO.
|
François Pottier <f****r@i****r>
|
over 3 years ago
|
|
|
acdb6e13
|
Update CHANGES with the release date.
|
François Pottier <f****r@i****r>
|
over 3 years ago
|
|
|
4eeecd62
|
AUTHORS.
|
François Pottier <f****r@i****r>
|
over 3 years ago
|
|
|
e3aaf124
|
Add headers to the new files.
|
François Pottier <f****r@i****r>
|
over 3 years ago
|
|
|
6ecb35bd
|
Move demos/tst to test/tst.
|
François Pottier <f****r@i****r>
|
over 3 years ago
|
|
|
90eea13b
|
CHANGES.
|
François Pottier <f****r@i****r>
|
over 3 years ago
|
|
|
54786035
|
New [test] directory, with a few unit tests of Minimize.
|
François Pottier <f****r@i****r>
|
over 3 years ago
|
|
|
a6738264
|
TODO.
|
François Pottier <f****r@i****r>
|
over 3 years ago
|
|
|
0e3bae21
|
New modules Enum, Partition, Minimize.
|
François Pottier <f****r@i****r>
|
over 3 years ago
|
|
|
ad48c12d
|
Fix.Indexing.Vector: new functions [sort] and [invert].
|
François Pottier <f****r@i****r>
|
over 3 years ago
|
|
|
6c0ef85c
|
Line break.
|
François Pottier <f****r@i****r>
|
over 3 years ago
|
|
|
c17c26c5
|
Fix.Indexing: add [@inline] annotations.
|
François Pottier <f****r@i****r>
|
over 3 years ago
|
|
|
7ac35494
|
Replace [Int.equal] with [=] for compatibility with old versions of OCaml.
|
François Pottier <f****r@i****r>
|
over 3 years ago
|
|
|
9f83c509
|
Fix.Indexing.Vector: new functor [Of_array].
|
François Pottier <f****r@i****r>
|
over 3 years ago
|
|
|
1ebfd58f
|
Change the wording of some invalid-argument messages.
|
François Pottier <f****r@i****r>
|
over 3 years ago
|
|
|
85a3a003
|
Fix.Indexing.Vector: new function [of_array].
|
François Pottier <f****r@i****r>
|
over 3 years ago
|
|
|
2cacba13
|
Move [as_array] higher up in the file.
|
François Pottier <f****r@i****r>
|
over 3 years ago
|
|
|
fe97b78d
|
New functions in Fix.Indexing.Vector.
|
François Pottier <f****r@i****r>
|
over 3 years ago
|
|
|
bdb4b47f
|
Fix.Indexing: new function Vector.as_array.
|
François Pottier <f****r@i****r>
|
over 3 years ago
|
|
|
7a075647
|
Indexing: new functions on cardinals.
|
François Pottier <f****r@i****r>
|
over 3 years ago
|
|
|
a4cf74a0
|
Update [make versions].
|
François Pottier <f****r@i****r>
|
over 3 years ago
|
|
|
5224cc49
|
Add 4.14 to [make versions].
|
François Pottier <f****r@i****r>
|
over 4 years ago
|
|
|
9d0f5e2a
|
TODO.
|
François Pottier <f****r@i****r>
|
over 4 years ago
|
|
|
738f4038
|
CHANGES.
|
François Pottier <f****r@i****r>
|
over 4 years ago
|
|
|
39a20670
|
merge
Merge branch 'master' into 'master'
|
POTTIER Francois <f****r@i****r>
|
over 4 years ago
|
|
|
89393ef9
|
Indexing: Empty vector has empty domain
|
Frédéric Bour <f****d@t****m>
|
over 4 years ago
|
|
|
c731e956
|
Fix a bug in the Brzozowski demo, reported by Chet Murthy.
|
François Pottier <f****r@i****r>
|
over 4 years ago
|
|
|
a288f05d
|
CHANGES.
|
François Pottier <f****r@i****r>
|
over 4 years ago
|
|
|
416b5b28
|
Glue: a few changes for compatibility with the new ephemeron API.
|
François Pottier <f****r@i****r>
|
over 4 years ago
|
|
|
fcf5f457
|
Memoize.Make: MINIMAL_IMPERATIVE_MAPS suffices.
|
François Pottier <f****r@i****r>
|
over 4 years ago
|
|
|
b2dc4e89
|
README: shorter URL.
|
François Pottier <f****r@i****r>
|
over 4 years ago
|
|
|
c886d65e
|
Shorten the duration of the test in demos/brz/TestGen.ml.
|
François Pottier <f****r@i****r>
|
over 4 years ago
|
|
|
0b95c3fa
|
Add [make undo].
|
François Pottier <f****r@i****r>
|
over 4 years ago
|
|
|
01a8f863
|
Update URL in README.md.
|
François Pottier <f****r@i****r>
|
over 4 years ago
|
|
|
e0fa9e6f
|
CHANGES.
|
François Pottier <f****r@i****r>
|
over 4 years ago
|
|
|
b361cac9
|
Simplify README.md to avoid redundancy with the documentation.
|
François Pottier <f****r@i****r>
|
over 4 years ago
|
|
|
e6ed1108
|
Update synopsis.
|
François Pottier <f****r@i****r>
|
over 4 years ago
|
|
|
d01763ab
|
Remove the postprocessing of the .css file.
|
François Pottier <f****r@i****r>
|
over 4 years ago
|
|
|
7e4597cc
|
Add index.mld to improve the documentation's main page.
|
François Pottier <f****r@i****r>
|
over 4 years ago
|
|
|
a24e358e
|
Improved documentation comments.
|
François Pottier <f****r@i****r>
|
over 4 years ago
|
|
|
73245c1a
|
Add doc.sh to postprocess odoc's output.
|
François Pottier <f****r@i****r>
|
over 4 years ago
|
|
|
1b9c211f
|
Tweaks in README.
|
François Pottier <f****r@i****r>
|
over 4 years ago
|
|
|
c6fd0fa6
|
Improve [make doc]; add [make view].
|
François Pottier <f****r@i****r>
|
over 4 years ago
|
|
|
8e2a0742
|
Disable warning 70.
|
François Pottier <f****r@i****r>
|
over 4 years ago
|
|
|
05ea7369
|
[make release]: cosmetic addition.
|
François Pottier <f****r@i****r>
|
over 4 years ago
|
|
|
2a26e3db
|
README.
|
François Pottier <f****r@i****r>
|
almost 5 years ago
|
|
|
19ca4c7a
|
README.
|
François Pottier <f****r@i****r>
|
almost 5 years ago
|
|
|
d4779209
|
Run [make headache].
|
François Pottier <f****r@i****r>
|
almost 5 years ago
|
|
|
9490fb02
|
CHANGES.
|
François Pottier <f****r@i****r>
|
almost 5 years ago
|
|
|
a014857d
|
Indexing: general cleanup of the code.
|
François Pottier <f****r@i****r>
|
almost 5 years ago
|
|
|
d05a1271
|
Indexing.mli: general cleanup and improvement of the documentation.
|
François Pottier <f****r@i****r>
|
almost 5 years ago
|
|
|
22d96a09
|
DataFlow: use [update] at the roots to allow a root to be seeded twice.
|
François Pottier <f****r@i****r>
|
almost 5 years ago
|
|
|
de93d205
|
DataFlow: remove a redundant call to [CompactQueue.is_empty].
|
François Pottier <f****r@i****r>
|
almost 5 years ago
|
|
|
fd743881
|
DataFlow.ml: cosmetic cleanup.
|
François Pottier <f****r@i****r>
|
almost 5 years ago
|
|