Skip to content

v2.8.22

Compare
Choose a tag to compare
@michael-emmi michael-emmi released this 09 Jan 15:58
6cf5c44
[CIVL] fixed monomorphization bug (#329)

* fixed a bug in monomorphization
small cleanup in trieber stack sample

* update golden file

* Port seqlock to use polymorphism

* Port Paxos to use polymorphism

Co-authored-by: Bernhard Kragl <bernhard.kragl@gmail.com>