Skip to content
GitLab
Explore
Sign in
Simon Spies
RefinedC Extended
Repository
Branches
Overview
Active
Stale
All
ci/more-bit-cases
119d3306
·
make milbeaut_xdmac.c compile
·
Sep 27, 2021
ci/bool-simpl
831a56f3
·
fix spinlock_proof.v
·
Sep 02, 2021
ci/case_router
56567644
·
make router_options.c compile
·
Aug 31, 2021
time/ocaml412
ced94844
·
Use OCaml 4.12.0 in CI.
·
Aug 30, 2021
time/bitvec
44e07b78
·
export bitfield type again
·
Aug 26, 2021
ci/bitvec_typed
fb10dbcd
·
attempts
·
Aug 13, 2021
time/vm_compute_map_lookup
07727efe
·
try with
iris/stdpp!309
·
Jul 28, 2021
ci/vip
c1eeca7c
·
Use relative paths whenever possible in code.
·
Jul 12, 2021
time/more_prov
98ecdc91
·
update iris
·
Jun 18, 2021
ci/more_prov
5d1b43a8
·
More provenances
·
Jun 16, 2021
pnvi
974b6c23
·
Abstract away the events.
·
Jun 14, 2021
ci/free_no_layout
26e65ba6
·
Remove the layout argument of [free_block].
·
May 27, 2021
time/learn_sidecond
c5d99607
·
Learn side-conditions in the continuation.
·
Apr 29, 2021
alloc_align
04fc29bd
·
Get rid of the integer-to-pointer cast.
·
Apr 29, 2021
msammler/fixed_width_addr2
1115604b
·
start trying bitvector
·
Apr 15, 2021
msammler/fixed_width_addr
1c2373c5
·
WIP: fixed width addr
·
Apr 14, 2021
ci/ptrfrag
24a1d9b2
·
Generalisation of pointer fragments.
·
Apr 08, 2021
ci/allocstack
4cff19f9
·
Change the definition of [has_disjoint_siblings].
·
Mar 30, 2021
ci/VerifyThis2021
41f29994
·
Some cleanup for VerifyThis.
·
Mar 27, 2021
ci/pldi21-submission-artifact
092a447f
·
update table
·
Mar 24, 2021
Prev
1
2
3
Next