[Inductive predicates] Unfold rhs using SL-graph of lhs #40
TDacikCI.yml
on: push
unit-tests
15m 25s
regression-tests
15m 56s
deploy-doc
15m 50s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
github-pages
Expired
|
916 KB |
|