From: "François Pottier" <email@example.com> To: OCaML Mailing List <firstname.lastname@example.org> Subject: [Caml-list] [ANN] New release of Fix (20211125) Date: Fri, 26 Nov 2021 09:07:24 +0100 [thread overview] Message-ID: <email@example.com> (raw) Dear OCaml users, I am pleased to announce a new release of Fix, with several new modules contribued by Frédéric Bour (thanks!). In short, Fix is a toolkit that helps perform memoization and fixed point computations (including data flow analyses). More generally, it offers a number of basic algorithmic building blocks that can be useful in many circumstances. opam update opam install fix.20211125 Documentation can be found here: https://gitlab.inria.fr/fpottier/fix/-/blob/master/README.md http://cambium.inria.fr/~fpottier/fix/doc/fix/Fix/index.html Enjoy, -- François Pottier firstname.lastname@example.org http://cambium.inria.fr/~fpottier/ ## 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.) * 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`.
reply other threads:[~2021-11-26 8:07 UTC|newest] Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --email@example.com \ --firstname.lastname@example.org \ --email@example.com \ --subject='Re: [Caml-list] [ANN] New release of Fix (20211125)' \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: link
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for NNTP newsgroup(s).