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

Flatten modules, canonicalize imports CI #368: Pull request #134 synchronize by mattxwang
July 13, 2023 18:43 4m 14s fix-module-structure
fix-module-structure
July 13, 2023 18:43 4m 14s
Flatten modules, canonicalize imports CI #367: Pull request #134 synchronize by mattxwang
July 13, 2023 18:38 4m 24s fix-module-structure
fix-module-structure
July 13, 2023 18:38 4m 24s
Flatten modules, canonicalize imports CI #366: Pull request #134 synchronize by mattxwang
July 13, 2023 17:19 3m 18s fix-module-structure
fix-module-structure
July 13, 2023 17:19 3m 18s
Flatten modules, canonicalize imports CI #365: Pull request #134 synchronize by mattxwang
July 13, 2023 15:31 4m 53s fix-module-structure
fix-module-structure
July 13, 2023 15:31 4m 53s
Flatten modules, canonicalize imports CI #364: Pull request #134 opened by mattxwang
July 13, 2023 14:26 5m 1s fix-module-structure
fix-module-structure
July 13, 2023 14:26 5m 1s
Removes unhelpful BddPtr inline functions, adds doctests to simple … CI #363: Commit 56c25ad pushed by mattxwang
July 12, 2023 21:57 3m 39s main
main
July 12, 2023 21:57 3m 39s
BddPtr cleanup: remove unhelpful inline functions, add doctests CI #362: Pull request #133 opened by mattxwang
July 12, 2023 21:49 3m 41s minor-bdd-ptr-cleanup-and-doctests
minor-bdd-ptr-cleanup-and-doctests
July 12, 2023 21:49 3m 41s
Add top-down semantic equality quickcheck test for arbitrary CNF + `V… CI #361: Commit 46130a6 pushed by mattxwang
July 12, 2023 20:04 4m 18s main
main
July 12, 2023 20:04 4m 18s
Add top-down semantic equality quickcheck test for arbitrary CNF + VarOrder pair CI #360: Pull request #132 opened by mattxwang
July 12, 2023 19:56 7m 18s more-robust-semantic-top-down-test
more-robust-semantic-top-down-test
July 12, 2023 19:56 7m 18s
Add codecov badge CI #359: Commit 2a6c8f0 pushed by mattxwang
July 12, 2023 19:35 4m 8s main
main
July 12, 2023 19:35 4m 8s
Adds semantic_top_down_experiment (#131) CI #358: Commit 48891f6 pushed by mattxwang
July 12, 2023 19:28 4m 1s main
main
July 12, 2023 19:28 4m 1s
Adds semantic_top_down_experiment CI #357: Pull request #131 synchronize by mattxwang
July 12, 2023 16:49 4m 15s top-down-experiment
top-down-experiment
July 12, 2023 16:49 4m 15s
Adds semantic_top_down_experiment CI #356: Pull request #131 synchronize by mattxwang
July 12, 2023 16:34 5m 37s top-down-experiment
top-down-experiment
July 12, 2023 16:34 5m 37s
Adds semantic_top_down_experiment CI #355: Pull request #131 synchronize by mattxwang
July 12, 2023 16:33 3m 59s top-down-experiment
top-down-experiment
July 12, 2023 16:33 3m 59s
Adds semantic_top_down_experiment CI #354: Pull request #131 opened by mattxwang
July 12, 2023 14:42 4m 15s top-down-experiment
top-down-experiment
July 12, 2023 14:42 4m 15s
Unify primes with new constants::primes (#130) CI #353: Commit 641f48f pushed by mattxwang
July 12, 2023 14:14 6m 43s main
main
July 12, 2023 14:14 6m 43s
Unify primes with new constants::primes CI #352: Pull request #130 opened by mattxwang
July 12, 2023 14:10 3m 25s unify-prime-constants
unify-prime-constants
July 12, 2023 14:10 3m 25s
Add semantic top-down compilation (#129) CI #351: Commit b2d764a pushed by mattxwang
July 12, 2023 13:47 3m 34s main
main
July 12, 2023 13:47 3m 34s
Add semantic top-down compilation CI #350: Pull request #129 synchronize by mattxwang
July 11, 2023 21:23 3m 45s semantic-top-down
semantic-top-down
July 11, 2023 21:23 3m 45s
Add semantic top-down compilation CI #349: Pull request #129 synchronize by mattxwang
July 11, 2023 21:14 4m 20s semantic-top-down
semantic-top-down
July 11, 2023 21:14 4m 20s
Add semantic top-down compilation CI #348: Pull request #129 synchronize by mattxwang
July 11, 2023 21:07 3m 21s semantic-top-down
semantic-top-down
July 11, 2023 21:07 3m 21s
Add semantic top-down compilation CI #347: Pull request #129 opened by mattxwang
July 11, 2023 20:27 4m 24s semantic-top-down
semantic-top-down
July 11, 2023 20:27 4m 24s
Refactors DecisionNNFBuilder into a TopDownBuilder trait and `Sta… CI #346: Commit 93eb5f6 pushed by mattxwang
July 11, 2023 18:08 6m 5s main
main
July 11, 2023 18:08 6m 5s
Refactors DecisionNNFBuilder into a TopDownBuilder trait and Standard impl CI #345: Pull request #128 opened by mattxwang
July 11, 2023 18:00 4m 18s top-down-trait
top-down-trait
July 11, 2023 18:00 4m 18s
First draft on concrete test example CI #344: Pull request #127 synchronize by mattxwang
July 11, 2023 13:30 3m 15s so-confused
so-confused
July 11, 2023 13:30 3m 15s