Skip to content

Commit

Permalink
Update changes
Browse files Browse the repository at this point in the history
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
  • Loading branch information
jeremiedimino committed Nov 27, 2018
1 parent f93c4ed commit 6058c84
Showing 1 changed file with 7 additions and 0 deletions.
7 changes: 7 additions & 0 deletions CHANGES.md
Original file line number Diff line number Diff line change
Expand Up @@ -35,6 +35,13 @@ next

- Document virtual libraries (experimental) (#1580, @rgrinberg)

- Reimplement the core of Dune using a new generic memoization system
(#1489, @rudihorn, @diml)

- Replace the broken cycle detection algorithm by a state of the art
one from [this paper](https://doi.org/10.1145/2756553) (#1489,
@rudihorn)

1.5.1 (7/11/2018)
-----------------

Expand Down

0 comments on commit 6058c84

Please sign in to comment.