ring PR#5

Open

witemap wants to merge 14 commits intomasterfrom

adrian-container/ring

Commits on Dec 12, 2022

start attempt at ring
adjenny
committed

Commits on Dec 20, 2022

prove memory safety for Move(n), changed implementation of New()
adjenny
committed

Commits on Dec 27, 2022

start on Link
adjenny
committed

Commits on Jan 4, 2023

separated and tested alternative version of 'New' OK
adjenny
committed
progress verifying standard implementation of 'New'
adjenny
committed

Commits on Jan 6, 2023

attempts at progress
adjenny
committed
removed unnecessary spacing
adjenny
committed

Commits on Jan 12, 2023

Commits on Jan 15, 2023

removed redundant line from predicate
adjenny
committed

Commits on Jan 16, 2023

added case to Link
adjenny
committed

Commits on Jan 22, 2023

Merge branch 'master' into adrian-container/ring
jcp19
authored

Commits on Jan 27, 2023

weakened assumption in 'New'
adjenny
committed

Commits on Jan 31, 2023

removed all assumptions
adjenny
committed