Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
borrowck
c21ace88
·
Expose fractional authoritative elements in frac_auth
·
Mar 13, 2024
option_weak_instances
578551e9
·
Strengthen option OFE and camera instances for QoL
·
Mar 13, 2024
iris-4.1.0-borrowck
95a94d10
·
Expose fractional authoratatives in frac_auth
·
Mar 06, 2024
iris-4.1.0-option_weak_instances
029c1857
·
Strengthen option OFE and camera instances for QoL
·
Jan 23, 2024
fractional_loop_instance
edff3e1a
·
Move instance out of scope of looping co-instance
·
May 16, 2023
master
default
protected
1af9e5d6
·
add iCombine FIXME
·
May 14, 2023
robbert/issue520
a8f357a0
·
Test cases.
·
May 04, 2023
ralf/separable
50e76b62
·
Write some documentation about classes.
·
May 03, 2023
ralf/rename-by-string
09f4ea3f
·
remove the super hacky non-CPS version of string_to_ident
·
May 02, 2023
robbert/pm_unify_class
221ce5ec
·
`Unify` type classes that factors out use of `notypeclasses refine` in proof mode classes.
·
Apr 30, 2023
ralf/bi-persistently-emp
220dad25
·
Change `BiPersistentlyEmp` into `BiPersistentlyTrue`, which seems more natural.
·
Apr 28, 2023
robbert/resolve_tc
9fe5d81c
·
Use `resolve_tc` and remove all uses of "legacy" `apply` in Iris Proof Mode.
·
Apr 18, 2023
ralf/Z
1e37031b
·
get rid of Z.to_nat coercion, and add some Z-based APIs: big_sepL, and HeapLang arrays
·
Jan 12, 2023
ci/robbert/big_op_binder
0721fd0d
·
Document FIXME.
·
Nov 17, 2022
robbert/no_native_compute
93d9ef74
·
Avoid relying on native_compute.
·
Nov 16, 2022
simon/parametric-index
64cd40ba
·
Merge branch 'master' into simon/parametric-index
·
Oct 27, 2022
ci/robbert/set_solver_eauto
336404e0
·
update to std++ snapshot
·
Oct 27, 2022
ralf/make
297edd7f
·
add QuickPersistent, QuickIntuitionistic classes
·
Aug 16, 2022
ci/msammler/nb_state
4a4b3d53
·
Allow specifing states that are allowed to be stuck
·
Aug 11, 2022
robbert/add_sub
e1f9c08b
·
Port to std++.
·
Aug 10, 2022
Prev
1
2
3
4
5
Next