Skip to content

Actions: neuppl/rsdd

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
235 workflow runs
235 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

First draft on concrete test example CI #343: Pull request #127 opened by mattxwang
July 10, 2023 21:03 3m 0s so-confused
so-confused
July 10, 2023 21:03 3m 0s
Consistently use count_nodes in benchmarking (#126) CI #342: Commit d3e529b pushed by mattxwang
July 10, 2023 17:05 4m 34s main
main
July 10, 2023 17:05 4m 34s
Consistently use count_nodes in benchmarking CI #341: Pull request #126 opened by mattxwang
July 10, 2023 16:29 3m 53s count-nodes-consistency
count-nodes-consistency
July 10, 2023 16:29 3m 53s
Clean up backing_store CI #340: Commit 8a9f56a pushed by mattxwang
July 10, 2023 16:27 4m 21s main
main
July 10, 2023 16:27 4m 21s
Clean up backing_store CI #339: Pull request #125 opened by mattxwang
July 10, 2023 16:20 4m 7s slim-uniq-table
slim-uniq-table
July 10, 2023 16:20 4m 7s
Draft: filter out false subs CI #338: Pull request #124 synchronize by mattxwang
July 10, 2023 14:27 4m 3s filter-false-subs
filter-false-subs
July 10, 2023 14:27 4m 3s
Draft: filter out false subs CI #337: Pull request #124 opened by mattxwang
July 9, 2023 01:04 3m 43s filter-false-subs
filter-false-subs
July 9, 2023 01:04 3m 43s
Batched minor fixes (#123) CI #336: Commit 003069e pushed by mattxwang
July 8, 2023 22:53 3m 0s main
main
July 8, 2023 22:53 3m 0s
Batching minor fixes CI #335: Pull request #123 opened by mattxwang
July 8, 2023 22:46 4m 39s variuos-fixes
variuos-fixes
July 8, 2023 22:46 4m 39s
Re-add statistics for SDDs, extra benchmarking (#122) CI #334: Commit ca987a2 pushed by mattxwang
July 8, 2023 22:16 3m 21s main
main
July 8, 2023 22:16 3m 21s
Re-add statistics for SDDs, extra benchmarking CI #333: Pull request #122 opened by mattxwang
July 8, 2023 20:46 4m 9s add-stats
add-stats
July 8, 2023 20:46 4m 9s
Remove panicking BddPtr::var(), fix last from_cnf, re-enable some… CI #332: Commit 4233303 pushed by mattxwang
July 6, 2023 20:01 2m 52s main
main
July 6, 2023 20:01 2m 52s
Remove panicking BddPtr::var(), fix last from_cnf, re-enable some commented-out code CI #331: Pull request #121 synchronize by mattxwang
July 6, 2023 19:48 4m 55s further-cleanup
further-cleanup
July 6, 2023 19:48 4m 55s
Remove panicking BddPtr::var(), fix last from_cnf, re-enable some commented-out code CI #330: Pull request #121 opened by mattxwang
July 6, 2023 19:46 3m 17s further-cleanup
further-cleanup
July 6, 2023 19:46 3m 17s
Make builder naming and behaviour more consistent (#120) CI #329: Commit 0e9a5fb pushed by mattxwang
July 6, 2023 15:49 3m 55s main
main
July 6, 2023 15:49 3m 55s
Make builder naming and behaviour more consistent CI #328: Pull request #120 synchronize by mattxwang
July 6, 2023 15:37 4m 2s unify-bdd
unify-bdd
July 6, 2023 15:37 4m 2s
Make builder naming and behaviour more consistent CI #327: Pull request #120 synchronize by mattxwang
July 6, 2023 15:30 3m 29s unify-bdd
unify-bdd
July 6, 2023 15:30 3m 29s
Make builder naming and behaviour more consistent CI #326: Pull request #120 synchronize by mattxwang
July 6, 2023 15:22 4m 15s unify-bdd
unify-bdd
July 6, 2023 15:22 4m 15s
Make builder naming and behaviour more consistent CI #325: Pull request #120 synchronize by mattxwang
July 6, 2023 14:46 3m 24s unify-bdd
unify-bdd
July 6, 2023 14:46 3m 24s
Make builder naming and behaviour more consistent CI #324: Pull request #120 synchronize by mattxwang
July 6, 2023 13:52 3m 59s unify-bdd
unify-bdd
July 6, 2023 13:52 3m 59s
Make builder naming and behaviour more consistent CI #323: Pull request #120 synchronize by mattxwang
July 6, 2023 13:17 4m 58s unify-bdd
unify-bdd
July 6, 2023 13:17 4m 58s
Make builder naming and behaviour more consistent CI #322: Pull request #120 synchronize by mattxwang
July 6, 2023 03:08 22m 53s unify-bdd
unify-bdd
July 6, 2023 03:08 22m 53s
Make builder naming and behaviour more consistent CI #321: Pull request #120 synchronize by mattxwang
July 5, 2023 21:01 3m 2s unify-bdd
unify-bdd
July 5, 2023 21:01 3m 2s
Make builder naming and behaviour more consistent CI #320: Pull request #120 opened by mattxwang
July 5, 2023 20:10 4m 25s unify-bdd
unify-bdd
July 5, 2023 20:10 4m 25s
Add eq fn to the BottomUpBuilder trait; fix minor semantic SDD eq… CI #319: Commit 3fafaaf pushed by mattxwang
July 5, 2023 17:58 4m 15s main
main
July 5, 2023 17:58 4m 15s