Skip to content
GitLab
Explore
Sign in
Jonas Kastberg
iris
Repository
Branches
Overview
Active
Stale
All
robbert/invariant_weaken
cfc7f8f5
·
Make invariants closed under weakening.
·
Nov 16, 2017
savedpred
7e1e3354
·
Add saved predicates
·
Oct 25, 2017
seal_ires
fdcce825
·
Bench.
·
Feb 22, 2017
strong_frame
bc4b0cc2
·
Strong framing by default for persistent hypotheses.
·
Mar 05, 2017
stronger_step_fupd_frame_lemmas
d81314dc
·
Strengthened [step_fupd_frame_l] and [step_fupdN_frame_l] lemmas
·
Feb 16, 2023
swasey/sequential
94bbe14d
·
Support sequential languages.
·
Dec 17, 2016
telescope
e8bced35
·
Adding telescopes and some useful lemmas.
·
Aug 28, 2017
total_weakestpre
81664692
·
Update examples to use total weakest preconditions.
·
Oct 27, 2017
unified_persistent_modality
09b0b3c9
·
Use more informative tags `Strong` and `Weak` for the modalities.
·
Oct 24, 2017
Prev
1
2
3
Next