Skip to content
GitLab

Lattices notation for order, join, meet, top and bot.

Merged Jacques-Henri Jourdan requested to merge jh/lattices-notations into master

They are needed both for monPred and the weak memory lifetime logic.