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
Package Registry
Model registry
Operate
Environments
Terraform modules
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
Ralf Jung
Iris
Branches
Overview
Active
Stale
All
Oldest updated
Name
Oldest updated
Updated date
less_canonical
5226baf6
·
FAIL : Less canonical projections.
·
9 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
less_canonical_new
a9e2d8f3
·
Another failed approach to avoid declaring other projections than the carrier as canonical.
·
8 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
seal_ires
fdcce825
·
Bench.
·
8 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
fast_string
157e41c2
·
Use fast_string.
·
8 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
strong_frame
bc4b0cc2
·
Strong framing by default for persistent hypotheses.
·
8 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
jh/sprop_upred
111318cb
·
Upred is isomorphic to some kind of monotonous SProp predicate. (WIP)
·
7 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
robbert/no_always_forall
60b3610c
·
Experiment: remove always_forall.
·
7 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
unified_persistent_modality
09b0b3c9
·
Use more informative tags `Strong` and `Weak` for the modalities.
·
7 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
robbert/iAssert_with
9835899b
·
Syntax `iAssert (Q with spat) as ...` which is consistent with `with`s elsewhere.
·
7 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ralf/emp-intro
15b4a65e
·
when the goal is an evar, pick emp when possible
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ci/stability
2f7efe5a
·
rerun CI
·
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
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
robbert/plausibly
3e4b87c2
·
Show that bupd entails plausibly.
·
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
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
ci/robbert/kill_locked_value_lambdas
b00f573b
·
Get rid of locked value lambdas.
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
robbert/big_sepM2
d88db874
·
big_sepM2.
·
6 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
robbert/own_ghost
12a6f8fb
·
Use notation for `own`.
·
5 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
ci/robbert/tc_opaque
bb0f3924
·
`equiv` is no longer type class opaque.
·
5 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
Prev
1
2
3
4
Next