Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
I
iris
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Model registry
Operate
Environments
Monitor
Incidents
Service Desk
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Terms and privacy
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
Jonas Kastberg
iris
Branches
Overview
Active
Stale
All
Updated date
Name
Oldest updated
Updated date
master
default
838322ad
·
remove some long-dead files
·
1 year ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
jonas/step_update
9afe85b3
·
Better definition of step modality
·
1 year ago
iris/iris!887
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
iris-tex-additions
6d062e91
·
Removed `\nequivB` and fixed an incorrect alias
·
2 years ago
iris/iris!851
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
fupd_plain_soundness_no_lc_strong
8efc3267
·
Derived [fupd_soundness_no_lc] from [fupd_soundness_no_lc_unfold]
·
2 years ago
iris/iris!857
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
stronger_step_fupd_frame_lemmas
d81314dc
·
Strengthened [step_fupd_frame_l] and [step_fupdN_frame_l] lemmas
·
2 years ago
iris/iris!894
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
auth_update_frag_included
d9247945
·
Added [cmra_update_included] lemma
·
2 years ago
iris/iris!861
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
heaplang-form-cleanup
381572fc
·
nit
·
2 years ago
iris/iris!853
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
heaplang-tex-additions
716a2942
·
Added \operatorname to commands with multiple arguments
·
2 years ago
iris/iris!852
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
iris_style_improvements
c4857c8a
·
Renamed internal macro
·
2 years ago
iris/iris!797
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
later_stripping
ff41fb77
·
Made heapGS_step_cnt a local instance
·
3 years ago
iris/iris!783
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
peterson
decbe8f4
·
Ported code and proof to heaplang
·
3 years ago
iris/iris!775
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
indentation_config
d1131ebd
·
Added support for `by` and `forall`
·
3 years ago
iris/iris!752
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
gen_proc
17160905
·
Receive almost done - last stable at 15-03-2019
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
insert_alloc_local_update
ef74a78f
·
Added a new lemma to allocate fragmented ownership in unital gmaps while...
·
6 years ago
iris/iris!164
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
jh/bi_morphism
1f269f98
·
Merge branch 'janno/monfun' into jh/bi_morphism
·
7 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
janno/monfun
8a9de8a8
·
Merge branch 'gen_proofmode' into janno/monfun
·
7 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
gen_proofmode
cf4f1269
·
Merge branch 'jh/bupd_fupd_classes' into 'gen_proofmode'
·
7 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ralf/plainly
73adb81d
·
WIP
·
7 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
jh/move_bi_affine
fdd93dde
·
Move BiAffine and BiPositive in interface.v.
·
7 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
mtac2-tt
ba871b6e
·
changes in ttactics
·
7 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
Prev
1
2
3
Next