Getting Started Documentation

Organisations ocaml-multicore kcas branch/simplified-core-algo-for-verification Build History

Build History for branch/simplified-core-algo-for-verification

Builds (6)

Jan 12 21:47 +00:00

Passed in 8m14s

Dec 20 09:44 +00:00

Failed in 7m05s

Dec 20 09:27 +00:00

Failed in 15m18s

Add awaiters and cleanup

Dec 19 16:02 +00:00

Passed in 8h28m

Dec 19 10:30 +00:00

Passed in 52m48s

Use separate CAS and CMP lists

Dec 19 10:26 +00:00

Running for 3m36s