Branches · Hai Dang / Iris

Skip to content

GitLab

Projects Groups Topics Snippets

/

Help
Sign in

I Iris
Project information
- Project information
- Activity
- Labels
- Members
Repository
- Repository
- Files
- Commits
- Branches
- Tags
- Contributor statistics
- Graph
- Compare revisions
Issues 0
- Issues 0
- List
- Boards
- Service Desk
- Milestones
Merge requests 0
- Merge requests 0
CI/CD
- CI/CD
- Pipelines
- Jobs
- Artifacts
- Schedules
Deployments
- Deployments
- Environments
- Releases
Packages and registries
- Packages and registries
- Model experiments
Monitor
- Monitor
- Incidents
Analytics
- Analytics
- Value stream
- CI/CD
- Repository
Wiki
- Wiki
Snippets
- Snippets
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards

Collapse sidebar

Hai Dang
Iris
Repository
Branches

Overview
Active
Stale
All

less_canonical

5226baf6 · FAIL : Less canonical projections. · Feb 22, 2016

Download source code

zip tar.gz tar.bz2 tar
ralf/magic-singleton

9bd5532f · demonstrate a weird issue · Mar 02, 2016

Download source code

zip tar.gz tar.bz2 tar
jh_inductive_pairs

7d2a0390 · Failed attempt at improving performances of pairs by using inductives · Jun 16, 2016

Download source code

zip tar.gz tar.bz2 tar
atomic

16cfe6ce · Use telescopes for atomic triples. · Nov 23, 2016

Download source code

zip tar.gz tar.bz2 tar
ralf/auth-frac

cf25cbc8 · WIP: this is not nice. we should have a sigma-type-based auth instead. · Nov 30, 2016

Download source code

zip tar.gz tar.bz2 tar
primproj-fail

e3760751 · WIP: Make uPred, OFE and CMRAs use primitive projections · Dec 07, 2016

Download source code

zip tar.gz tar.bz2 tar
swasey/sequential

94bbe14d · Support sequential languages. · Dec 17, 2016

Download source code

zip tar.gz tar.bz2 tar
less_canonical_new

a9e2d8f3 · Another failed approach to avoid declaring other projections than the carrier as canonical. · Feb 02, 2017

Download source code

zip tar.gz tar.bz2 tar
ralf/options-file

95c7b32b · hack Makefile to install .v files (for iris_options) · Feb 07, 2017

Download source code

zip tar.gz tar.bz2 tar
jh/independent_metric

b863cfd7 · Unbundle the inductives defining the metrics and equivalences of excl and csum. · Feb 08, 2017

Download source code

zip tar.gz tar.bz2 tar
jh/done_contradiction

8e3bb685 · Trigger CI. · Feb 13, 2017

Download source code

zip tar.gz tar.bz2 tar
seal_ires

fdcce825 · Bench. · Feb 22, 2017

Download source code

zip tar.gz tar.bz2 tar
fast_string

157e41c2 · Use fast_string. · Feb 22, 2017

Download source code

zip tar.gz tar.bz2 tar
strong_frame

bc4b0cc2 · Strong framing by default for persistent hypotheses. · Mar 05, 2017

Download source code

zip tar.gz tar.bz2 tar
ralf/salways

84da47cb · WIP: try to prove more rules for salways · Mar 21, 2017

Download source code

zip tar.gz tar.bz2 tar
jh/sprop_upred

111318cb · Upred is isomorphic to some kind of monotonous SProp predicate. (WIP) · Apr 04, 2017

Download source code

zip tar.gz tar.bz2 tar
no_closed

949bc625 · Get rid of closedness conditions. · Aug 18, 2017

Download source code

zip tar.gz tar.bz2 tar
no_always_forall

60b3610c · Experiment: remove always_forall. · Aug 21, 2017

Download source code

zip tar.gz tar.bz2 tar
telescope

e8bced35 · Adding telescopes and some useful lemmas. · Aug 28, 2017

Download source code

zip tar.gz tar.bz2 tar
janno/metacoq

3cc68b98 · WIP generating mmatches. · Sep 25, 2017

Download source code

zip tar.gz tar.bz2 tar

Prev
1
2
3
Next

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code