Skip to content

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

Jacques-Henri Jourdanrequested to merge
jh/lattices-notations into master

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

Merge request reports