Skip to content

Actions: PLTools/OCanren

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
41 workflow runs
41 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
PoC unification tracer Build_PR #89: Pull request #186 synchronize by ProgMiner
9m 57s ProgMiner:unify-trace
ProgMiner:unify-trace
9m 57s
PoC unification tracer Build_PR #88: Pull request #186 synchronize by ProgMiner
10m 19s ProgMiner:unify-trace
ProgMiner:unify-trace
10m 19s
PoC unification tracer Build_PR #87: Pull request #186 opened by ProgMiner
9m 57s ProgMiner:unify-trace
ProgMiner:unify-trace
9m 57s
Fixed constructors with module paths Build master #121: Commit 6577f08 pushed by dboulytchev
9m 4s master
master
9m 4s
Merge pull request #185 from PLTools/reverso+debug_var+bench Build master #120: Commit c0af772 pushed by Kakadu
8m 59s master
master
8m 59s
Reverso+debug_var benchmark Build_PR #86: Pull request #185 opened by Kakadu
9m 55s reverso+debug_var+bench
reverso+debug_var+bench
9m 55s
Merge pull request #184 from Kakadu/hypercube-sample Build master #119: Commit 8775ef0 pushed by Kakadu
9m 1s master
master
9m 1s
Samples: Relational finite set using hypercubes Build_PR #85: Pull request #184 synchronize by Kakadu
9m 51s Kakadu:hypercube-sample
Kakadu:hypercube-sample
9m 51s
Samples: Relational finite set using hypercubes Build_PR #84: Pull request #184 opened by Kakadu
9m 55s Kakadu:hypercube-sample
Kakadu:hypercube-sample
9m 55s
PPX wildcard no longer depends on base Build master #118: Commit a4adec1 pushed by Kakadu
4m 45s master
master
4m 45s
Merge pull request #183 from PLTools/stream-iteration-cps Build master #117: Commit 2aba3e6 pushed by Kakadu
2m 28s master
master
2m 28s
Add stream function to get answers one-by one with continuation Build_PR #83: Pull request #183 opened by Kakadu
2m 25s stream-iteration-cps
stream-iteration-cps
2m 25s
Merge pull request #182 from PLTools/reify_in_state Build master #116: Commit 29c0bba pushed by Kakadu
3m 1s master
master
3m 1s
reify_in_state, is_ground, is_ground_bool (needed for JGS) Build_PR #82: Pull request #182 opened by Kakadu
3m 33s reify_in_state
reify_in_state
3m 33s
Merge pull request #177 from Kakadu/wildcards-2025-forPR Build master #115: Commit 3c8d403 pushed by Kakadu
2m 28s master
master
2m 28s
Wildcards 2025 Build_PR #81: Pull request #177 synchronize by Kakadu
4m 37s Kakadu:wildcards-2025-forPR
Kakadu:wildcards-2025-forPR
4m 37s
Implement variable ordering optimization Build_PR #80: Pull request #181 synchronize by ProgMiner
2m 15s ProgMiner:less-var
ProgMiner:less-var
2m 15s
Implement variable ordering optimization Build_PR #79: Pull request #181 opened by ProgMiner
2m 50s ProgMiner:less-var
ProgMiner:less-var
2m 50s
Add printer for Env.t for debugging Build_PR #78: Pull request #180 opened by ProgMiner
2m 9s ProgMiner:env-pp
ProgMiner:env-pp
2m 9s
Add a macro to make goal non-abstract Build master #114: Commit b27994a pushed by Kakadu
2m 9s master
master
2m 9s
[chore] allow ppxlib < 0.34 Build master #113: Commit 03c302a pushed by Kakadu
2m 9s master
master
2m 9s
Replace variable list with variable set in State.reify Build master #112: Commit 7501abf pushed by Kakadu
2m 37s master
master
2m 37s
CI: Tryin to fix dev-deps for GT Build master #111: Commit 455c0d1 pushed by Kakadu
2m 31s master
master
2m 31s
Format and refactor Build_PR #77: Pull request #179 opened by ProgMiner
3m 10s ProgMiner:rt-unify-format
ProgMiner:rt-unify-format
3m 10s
Increase ocaml version to 4.14.2 Build master #110: Commit 8d93032 pushed by Kakadu
2m 40s master
master
2m 40s