Merge requests · Iris / RefinedC

add via_vm_compute

!106 · created Aug 05, 2021 by Michael Sammler
- Merged
- 0
updated Aug 05, 2021
split out heap_loc_eq

!105 · created Aug 03, 2021 by Michael Sammler
- Merged
- 0
updated Aug 03, 2021
Generate [return 0] for main + small refactoring.

!104 · created Aug 03, 2021 by Rodolphe Lepigre
- Merged
- 1
- 0
updated Aug 03, 2021
allow opening invariants around typed_read_end and typed_write_end

!103 · created Jul 28, 2021 by Michael Sammler
- Merged
- 0
updated Jul 30, 2021
Use vm_compute in compute_map_lookup

!102 · created Jul 27, 2021 by Michael Sammler
- Closed
- 1
updated Jul 30, 2021
update to coq 8.13.2

!101 · created Jul 27, 2021 by Michael Sammler
- Merged
- 0
updated Jul 27, 2021
More support comparing pointers with 0 in the front end + rules for if and assert on pointers.

!100 · created Jul 21, 2021 by Rodolphe Lepigre
- Merged
- 11
updated Aug 03, 2021
parameterise operators with boolean result by the result integer type

!99 · created Jul 20, 2021 by Lennard Gäher
- Merged
- Approved
- 9
updated Jul 27, 2021
WIP: parameterise operators with boolean result by the result integer type

!98 · created Jul 20, 2021 by Lennard Gäher
- Closed
- 3
updated Jul 20, 2021
Implement && and || using IfE.

!97 · created Jul 16, 2021 by Rodolphe Lepigre
- Merged
- Approved
- 3
updated Jul 16, 2021
cleanup base.v

!96 · created Jul 16, 2021 by Michael Sammler
- Merged
- 0
updated Jul 16, 2021
Remove generated files and associated CI checks.

!95 · created Jul 15, 2021 by Rodolphe Lepigre
- Merged
- 0
updated Jul 16, 2021
Bitblast: tactics for solving integer equality with bits

!94 · created Jul 15, 2021 by Fengmin Zhu
- Merged
- 17
updated Jul 16, 2021
try removing pinning of conf-mpfr

!93 · created Jul 14, 2021 by Michael Sammler
- Merged
- 0
updated Jul 14, 2021
Add CheckOwnInContext

!92 · created Jul 12, 2021 by Michael Sammler
- Merged
- 0
updated Jul 12, 2021
add forall simpl instances

!91 · created Jul 12, 2021 by Michael Sammler
- Merged
- 0
updated Jul 12, 2021
change ty_layout to ty_has_layout

!90 · created Jul 12, 2021 by Michael Sammler
- Merged
- 0
updated Jul 14, 2021
normalize bool_decide

!89 · created Jul 09, 2021 by Michael Sammler
- Merged
- 0
updated Jul 09, 2021
WIP: VIP

!88 · created Jul 08, 2021 by Michael Sammler
- Closed
- 1
updated Jul 15, 2021
make calls extensible

!87 · created Jul 08, 2021 by Michael Sammler
- Merged
- 0
updated Jul 14, 2021