Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
Branches
Overview
Active
Stale
All
ci/debug
d57cd48b
·
test new coq-speed server
·
Nov 19, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/for_proph
10809c68
·
add 'atomic triple' for compare-and-set, and use it in one example
·
Jun 18, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/general-contractive
70df718a
·
generalize definition of contractiveness
·
Jul 29, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/hai/siProp
f25bdcf3
·
Initial experiment with internal_eq for bi with siProp embedding
·
Jul 12, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/hint-cut-revert
4069e553
·
Revert "Merge branch 'ralf/separable' into 'master'"
·
May 05, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/janno/strict-tc-resolution
ecd4e746
·
Enable `Typeclasses Strict Resolution` for dervied_connectives.v
·
Feb 19, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/msammler/nb_state
4a4b3d53
·
Allow specifing states that are allowed to be stuck
·
Aug 11, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/name-mangle
46e8f68d
·
enable name mangling
·
Sep 29, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/ralf/Z_of_nat
1ed41018
·
make Z.of_nat not a Coercion any more
·
May 19, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/ralf/bi-language
91aede9b
·
fixme
·
Mar 17, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/ralf/options-timing
39e22b1f
·
Revert "re-export std++ options"
·
May 05, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/robbert/big_op_binder
0721fd0d
·
Document FIXME.
·
Nov 17, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/robbert/contractive_ne
6df6c641
·
Remove `contractive_ne` and `contractive_proper` as instances.
·
May 27, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/robbert/coq_bug_7773
25de5018
·
Remove old FIXMEs.
·
Jan 05, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/robbert/faster_iDestruct
452372fa
·
Attempt at a more efficient `iDestruct` tactic that avoids context duplication.
·
Apr 30, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/robbert/faster_iDestruct2
19e25cbd
·
WIP on faster iDestruct.
·
Jun 06, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/robbert/faster_iFresh_joe
8af24118
·
Fix.
·
May 17, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/robbert/frame_fractional
ed0d0453
·
Remove framing for fractional.
·
Jan 05, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/robbert/hint_cut_plain
df44c4fe
·
Use `Hint Cut` for `Plain`.
·
May 05, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/robbert/iFrame
30890193
·
Make `[#]` produce goal with `<pers>` modality if premise is not persistent.
·
May 24, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
4
5
Next