Skip to content
GitLab
Explore
Sign in
Iris
RefinedC
Repository
Branches
Overview
Active
Stale
All
time/ocaml412
ced94844
·
Use OCaml 4.12.0 in CI.
·
Aug 30, 2021
ci/case_router
56567644
·
make router_options.c compile
·
Aug 31, 2021
ci/bool-simpl
831a56f3
·
fix spinlock_proof.v
·
Sep 02, 2021
ci/more-bit-cases
119d3306
·
make milbeaut_xdmac.c compile
·
Sep 27, 2021
ci/reification
49b66356
·
disable rewriting rules; add a failure goal
·
Oct 21, 2021
ci/bits-record-param
72a909ed
·
failure attempt
·
Dec 02, 2021
bits-deep-backup
599855ef
·
fix two trust_me, one remaining
·
Dec 03, 2021
time/one-let-bind
7c16a22b
·
only one let binding
·
Dec 06, 2021
rr
67aa9dcd
·
upd frontend
·
Dec 13, 2021
kimaya/linkProsa
380260e5
·
add message_extra file and connect with Prosa
·
Apr 20, 2022
kimaya/bitmapVerify
2cf46941
·
fix faulty rebase
·
May 01, 2022
time/forwarding
a1dae899
·
try faster refined solver
·
May 05, 2022
nb_state
91c31322
·
Update to new Iris language interface
·
Aug 10, 2022
!139
ci/case-mt7601u
7e4bc5eb
·
update scripts for timing
·
Aug 12, 2022
!121
ci/bff-artifact
1877edf1
·
inline the impl of statistics.quantiles for better compatibility
·
Sep 13, 2022
kimaya/verifyscheduler
69fa74b5
·
fixes to be compatible with new coq version
·
Apr 28, 2023
kimaya/verifybitmap
1bbed469
·
add Z_least_significant_one_sound2 lemma (admitted)
·
May 04, 2023
kimaya/refinedprosa
956e965a
·
add changes discussed in meeting
·
May 11, 2023
time/faster_map_lookup
a32cb4fd
·
hopefully fix automation
·
May 12, 2023
time/add_id_cast_let_bind
46559e0c
·
add id cast to goal in li_let_bind
·
May 14, 2023
Prev
1
2
3
Next