Skip to content

Activity

Showing most recent first

Copy split index when cloning split (boogie-org#854)

RustanLeinopushed 56 commits to master • 8cadc53…732ebe0 • 
on Mar 5, 2024

Update version to 3.0.4 (boogie-org#783)

RustanLeinopushed 33 commits to master • c548be0…8cadc53 • 
on Sep 15, 2023

reduced the trusted piece of the proof

RustanLeinopushed 21 commits to master • 377edd4…c548be0 • 
on Jun 5, 2023

Continuation of refactoring of Civl type checker (boogie-org#717)

RustanLeinopushed 30 commits to master • 2d9be0d…377edd4 • 
on Apr 24, 2023