Skip to content

Add some trivial but useful heaplang libraries.

Rodolphe Lepigre requested to merge lepigre/iris:heap_lang_lib into master

These are used by the new Herlihy-Wing queue example, and I'm sure they will be useful to some other developments.

Note that the minimum and maximum spec come in two versions, one on Z and one on nat. The latter might be more useful when working with array indices which are often nat. (That is the version I use in the HWQ example).

Edited by Rodolphe Lepigre

Merge request reports