Skip to content

Encode acyclic with integer clocks instead of a transitive closure - #108

Open
demarkok wants to merge 1 commit into
rems-project:masterfrom
demarkok:fast-acyclic
Open

demarkok wants to merge 1 commit into
rems-project:masterfrom
demarkok:fast-acyclic

use clock to encode acyclicity

95ae839
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error and 5 warnings
build
failed Oct 14, 2026 in 7m 45s