Skip to content
GitLab
Explore
Sign in
Simon Spies
RefinedC Extended
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
ci/VerifyThis2022
49a5cc41
·
more challenge3
·
Apr 04, 2022
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
ci/case-mt7601u
7e4bc5eb
·
update scripts for timing
·
Aug 12, 2022
ci/bff-artifact
1877edf1
·
inline the impl of statistics.quantiles for better compatibility
·
Sep 13, 2022
kimaya/refinedprosa
8be48259
·
use arrival sequence correctly in the read specs
·
Apr 21, 2023
kimaya/verifybitmap
ec855ab6
·
changes to align with RefinedC style
·
Apr 21, 2023
kimaya/verifyscheduler
50142d95
·
polish up a bit
·
Apr 25, 2023
ci/verifybitmap
f47565e9
·
style changes to conform to RefinedC style guidelines
·
Apr 25, 2023
Prev
1
2
3
Next