CHANGES.md 3.19 KB
Newer Older
POTTIER Francois's avatar
POTTIER Francois committed
1
2
# CHANGES

POTTIER Francois's avatar
POTTIER Francois committed
3
4
5
6
7
8
## 2022/02/XX

* Restrict the type of `Fix.Indexing.Vector.empty`, which was too general
  and would allow out-of-bounds accesses into an empty vector.
  (Contributed by Frédéric Bour.)

POTTIER Francois's avatar
POTTIER Francois committed
9
10
11
12
13
14
15
16
17
## 2022/01/21

* The functor `Memoize.Make` now requires just `MINIMAL_IMPERATIVE_MAPS`
  instead of `IMPERATIVE_MAPS`, which was needlessly strong.

* The functor `Glue.WeakHashTablesAsImperativeMaps` now provides only
  `MINIMAL_IMPERATIVE_MAPS` instead of `IMPERATIVE_MAPS`. This change
  is made for compatibility with the new ephemeron API in OCaml 5.

POTTIER Francois's avatar
POTTIER Francois committed
18
19
20
21
## 2021/12/31

* Improved documentation.

POTTIER Francois's avatar
POTTIER Francois committed
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
## 2021/11/25

* The new module `CompactQueue` offers a minimalist mutable FIFO queue. It is
  comparable with OCaml's `Queue` module. In comparison with `Queue`, it uses
  a more compact internal representation: elements are stored contiguously in
  a circular array. This has a positive impact on performance: both time and
  memory consumption are reduced. This data structure is optimized for maximum
  throughput. (Contributed by Frédéric Bour, reviewed by François Pottier.)

* The new functor `DataFlow.ForCustomMaps` offers a forward data flow analysis
  that is tuned for greater performance. (Contributed by Frédéric Bour,
  reviewed by François Pottier.)

* The new module `Indexing` offers a safe API for manipulating indices into
  fixed-size arrays. This API involves some dynamic checks as well as static
  type checks, thereby (hopefully) greatly reducing the risk of confusion in
  code that uses many arrays and many indices into these arrays. (Contributed
  by Frédéric Bour, reviewed by François Pottier.)
POTTIER Francois's avatar
POTTIER Francois committed
40
41
42
43
44

* In `DataFlow`, allow the function `foreach_root`
  (which is part of the signature `DATA_FLOW_GRAPH`)
  to call `contribute x _` several times at a single root `x`.

POTTIER Francois's avatar
POTTIER Francois committed
45
## 2020/11/20
POTTIER Francois's avatar
POTTIER Francois committed
46
47
48
49
50
51
52

* New module `DataFlow`, which performs a forward data flow analysis over a
  directed graph. (Such a computation could previously be performed by using
  the generic solver `Fix.Make`, but it was somewhat awkward to write, as it
  required access to predecessors. The new algorithm is easier to use and is
  more efficient.)

53
54
55
56
57
* In `Memoize`, new combinator `curried`, which can be used in combination
  with `fix` or `defensive_fix`. Thus, for instance, `curried fix` is a
  fixed point combinator that constructs a memoizing two-argument curried
  function.

58
## 2020/01/31
59
60
61
62

* In `Gensym`, new abstract type `generator`,
  with three functions `generator`, `fresh`, and `current`.

63
64
65
66
* In `Memoize`, new function `visibly_memoize`,
  which not only returns a memoized function,
  but also provides outside access to the memoization table.

67
* New signatures `ONGOING_NUMBERING` and `TWO_PHASE_NUMBERING`
POTTIER Francois's avatar
POTTIER Francois committed
68
69
70
  and new module `Numbering`,
  which provides facilities for numbering things.

71
72
73
* Breaking change: the module `Fix.Number`
  is renamed `Fix.GraphNumbering`.

74
## 2018/12/06
POTTIER Francois's avatar
POTTIER Francois committed
75
76
77
78
79
80
81
82
83
84
85
86

* New release, including new modules (`Gensym`, `Memoize`,
  `Tabulate`, `Number`, `HashCons`, `Prop`, `Glue`),
  new convenience functors (`Fix.ForHashedType`, etc.),
  and new demos.
  The least-fixed-point computation algorithm is unchanged.

## 2013/06/11

* Initial release of the package,
  containing just `Fix.Make`, the
  least-fixed-point computation algorithm.