Skip to content

Actions: tudo-seal/cosy

Actions

Check PR Rules for Develop

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-rules-develop.yml
92 workflow runs
92 workflow runs

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
Add predicate determinization, which compiles a coupling constraint into the non-terminals Check PR Rules for Develop #93: Pull request #114 opened by FelixLaarmann
9s
9s
Add lexicase selection, the aggregate fitness order, and two termination conditions Check PR Rules for Develop #92: Pull request #113 opened by FelixLaarmann
15s
15s
Add best-first search with the cost orders and algebras it searches by Check PR Rules for Develop #91: Pull request #112 opened by FelixLaarmann
8s
8s
Add bottom-up enumeration: the least Herbrand model of a solution space Check PR Rules for Develop #90: Pull request #111 opened by FelixLaarmann
11s
11s
Update the evolutionary core to the fitness order, the selection inventory and a termination module Check PR Rules for Develop #89: Pull request #110 opened by FelixLaarmann
10s
10s
Remove SolutionSpace.sample_tree, which the samplers replaced Check PR Rules for Develop #88: Pull request #109 opened by FelixLaarmann
10s
10s
Update the genetic operators to resolution queries and samplers Check PR Rules for Develop #87: Pull request #108 opened by FelixLaarmann
14s
14s
Draw from a chosen distribution: random search and the two samplers Check PR Rules for Develop #86: Pull request #107 opened by FelixLaarmann
11s
11s
Count the inhabitants a search node reaches, from the tree and from the program Check PR Rules for Develop #85: Pull request #106 opened by FelixLaarmann
11s
11s
Compare and render a term without a descent that follows its depth Check PR Rules for Develop #84: Pull request #105 opened by FelixLaarmann
11s
11s
Add the tree kernels that score a search node by its similarity to reference terms Check PR Rules for Develop #83: Pull request #104 opened by FelixLaarmann
12s
12s
Name the uninformed search rules and the clause orders they are built from Check PR Rules for Develop #82: Pull request #103 opened by FelixLaarmann
12s
12s
Name the three kinds of resolution query and the term a search node d… Check PR Rules for Develop #81: Pull request #102 opened by FelixLaarmann
11s
11s
Let the search rule decide which inhabitant is streamed first Check PR Rules for Develop #80: Pull request #101 opened by FelixLaarmann
11s
11s
Let a term be evaluated again, and look up a signature once per combinator Check PR Rules for Develop #79: Pull request #100 opened by FelixLaarmann
12s
12s
Yield every goal of a partial-term query, and each of them once Check PR Rules for Develop #78: Pull request #99 opened by FelixLaarmann
11s
11s
Stop emitting rules a predicate already forbids Check PR Rules for Develop #77: Pull request #97 opened by FelixLaarmann
8s
8s
Check predicates of rules without a named non-terminal argument Check PR Rules for Develop #76: Pull request #96 opened by FelixLaarmann
10s
10s
Make derivation, enumeration and pruning reproducible Check PR Rules for Develop #75: Pull request #95 opened by FelixLaarmann
9s
9s
Fix stale size and hash after replace_subtree_at Check PR Rules for Develop #74: Pull request #94 opened by FelixLaarmann
11s
11s
Make types picklable so a synthesized solution space can be stored Check PR Rules for Develop #73: Pull request #93 opened by FelixLaarmann
13s
13s
Cache interpretation of trees and avoid excessive recomputation of predicates/trees Check PR Rules for Develop #72: Pull request #91 opened by Jekannadar
16s
16s
Bump actions/setup-python from 6 to 7 Check PR Rules for Develop #71: Pull request #90 opened by dependabot Bot
12s
12s
Bump codecov/codecov-action from 6 to 7 Check PR Rules for Develop #70: Pull request #89 opened by dependabot Bot
12s
12s
Bump actions/checkout from 6 to 7 Check PR Rules for Develop #69: Pull request #88 opened by dependabot Bot
10s
10s