HomeIsabelle/Phabricator
Diffusion afp-devel dcd2075c78ee

simplify some measurements
dcd2075c78ee
Actions

Description

simplify some measurements

Details

Provenance
Balazs Toth <balazs.toth@quickbirdstudios.com>Authored on
Parents
rAFP6deb1b79c7e5: rename Deque.Idle to Idles
Branches
Unknown
Tags
Unknown

Event Timeline

Balazs Toth <balazs.toth@quickbirdstudios.com> committed rAFPdcd2075c78ee: simplify some measurements.May 9 2023, 10:51 AM

Changes (3)

PathSize
thys/
Real_Time_Deque/

rAFPdcd2075c78ee

View Options

thys/Real_Time_Deque/Big_Aux.thy

Loading...
View Options

thys/Real_Time_Deque/Big_Proof.thy

Loading...
View Options

thys/Real_Time_Deque/States_Aux.thy

Loading...