Skip to content

Merge Relational Analysis for Tip

Sven Keidel requested to merge relational-recency into master

Main changes:

  • Relational abstractions in sturdy-apron
  • Recency abstraction in sturdy.effects.store.RecencyStore
  • Relational analysis for Tip in sturdy.tip.RelationalAnalysis
Edited by Sven Keidel

Merge request reports