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
Hai Dang
Iris
Branches
Overview
Active
Stale
All
Updated date
Name
Oldest updated
Updated date
stuck_fill
0df83ac0
·
Make proof clear.
·
5 years ago
iris/iris!276
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
auth_rename
02b65ee9
·
More rename
·
6 years ago
iris/iris!251
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
frac_auth
b150317d
·
Fix merge with master
·
6 years ago
iris/iris!215
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
master
default
protected
f5d03e25
·
be more explicit about quantification order
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
ci/disable-ltac-backtrace
b51b7a70
·
Set the Ltac backtrace option in tests.
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
mtac2-tt
c4dd5369
·
update Makefile
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
robbert/bupd_alt
ebb452d3
·
Alternative definition of basic updates.
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
iris-3.1
6eeb2c95
·
reflect in README that this is the 3.1 branch
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
iris-3.0
e42a8649
·
update README to reflect the branch's state
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ralf/wp_par
101a0d98
·
avoid non-value notation in val_scope
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ci/maximedenes/instance-nobody-open-proof
2e426d3f
·
Make trivial instances explicit
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ci/debug
e4f26808
·
debug CI
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
robbert/ufrac
1d67a47f
·
The unbounded fractional authoritative camera.
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ci/prophecy
d3f1f876
·
Pass over Ralf's comments on Commit 851f05c2
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
robbert/plausibly
3e4b87c2
·
Show that bupd entails plausibly.
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
robbert/bupd_be_gone
d3814459
·
Remove basic updates from the Iris model, and define them using plainly.
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
joe/fupd_extra
818a8dfa
·
Show that step fupd commutes with forall for plain predicates in Iris.
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ci/value_constructor
8897df8d
·
Move `Atomic`, `IntoVal` and `AsVal` instances to lifting.
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ci/robbert/into_val_pures
ae5de30b
·
Allow `IntoVal` to take pure steps.
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ci/janno/debug-opam
0b532336
·
Switch to iris-ci/debug.
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
Prev
1
2
3
Next