Skip to content

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

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

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

Merge request reports

Loading