switching branch
Merge branch 'experiments' of github.com:lemonidas/QuickChick into experiments
Merge branch 'experiments' of github.com:lemonidas/QuickChick into experiments
Added proof for get_all_blocks
Added proof for get_all_blocks
full spec for get_all_blocks
first spec for gen mem
finally a spec for populate_memory
changed indistFrame
spec for gen_vary_frame
cp: broken
compiling state
more..
Spec for forAllShrink
solving conflicts
first demo
removed duplicates
adding lemmas, removing proof duplication
added infrastructure for EndToEnd declarative specs
a first proof for the checker