Skip to content

Merge branch 'codex/add-missing-predicates-to-datalogpredexpr' of htt…

dbc1b1d
Select commit
Loading
Failed to load commit list.
Merged

Expand Datalog predicate expression coverage (Closes #49) #51

Merge branch 'codex/add-missing-predicates-to-datalogpredexpr' of htt…
dbc1b1d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar