Skip to content

Actions: VeriFIT/z3-noodler

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
302 workflow runs
302 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Positional constraints: optimisations Various platforms (build-&-test) #159: Pull request #222 opened by vhavlena
April 18, 2025 17:15 19m 11s pos-constr-opt
pos-constr-opt
April 18, 2025 17:15 19m 11s
Positional constraints: optimisations JS Binding (build-&-test) #132: Pull request #222 opened by vhavlena
April 18, 2025 17:15 21m 30s pos-constr-opt
pos-constr-opt
April 18, 2025 17:15 21m 30s
Add option to select reduction algorithm Various platforms (build-&-test) #158: Pull request #218 synchronize by jurajsic
April 18, 2025 08:18 13m 21s try_residual_reduction
try_residual_reduction
April 18, 2025 08:18 13m 21s
Add option to select reduction algorithm JS Binding (build-&-test) #131: Pull request #218 synchronize by jurajsic
April 18, 2025 08:18 14m 48s try_residual_reduction
try_residual_reduction
April 18, 2025 08:18 14m 48s
[WIP] Create the transducers for skolem variables JS Binding (build-&-test) #130: Pull request #220 synchronize by jurajsic
April 17, 2025 19:11 21m 9s keep_skolem_replace_all
keep_skolem_replace_all
April 17, 2025 19:11 21m 9s
[WIP] Create the transducers for skolem variables Various platforms (build-&-test) #157: Pull request #220 synchronize by jurajsic
April 17, 2025 19:11 19m 13s keep_skolem_replace_all
keep_skolem_replace_all
April 17, 2025 19:11 19m 13s
[WIP] Create the transducers for skolem variables Various platforms (build-&-test) #156: Pull request #220 synchronize by jurajsic
April 17, 2025 17:10 19m 7s keep_skolem_replace_all
keep_skolem_replace_all
April 17, 2025 17:10 19m 7s
[WIP] Create the transducers for skolem variables JS Binding (build-&-test) #129: Pull request #220 synchronize by jurajsic
April 17, 2025 17:10 20m 56s keep_skolem_replace_all
keep_skolem_replace_all
April 17, 2025 17:10 20m 56s
Preprocessing: unify transducers JS Binding (build-&-test) #128: Pull request #221 opened by vhavlena
April 17, 2025 13:58 20m 44s prepr-unify-trans
prepr-unify-trans
April 17, 2025 13:58 20m 44s
Preprocessing: unify transducers Various platforms (build-&-test) #155: Pull request #221 opened by vhavlena
April 17, 2025 13:58 19m 15s prepr-unify-trans
prepr-unify-trans
April 17, 2025 13:58 19m 15s
[WIP] Create the transducers for skolem variables Various platforms (build-&-test) #154: Pull request #220 synchronize by jurajsic
April 17, 2025 13:43 18m 53s keep_skolem_replace_all
keep_skolem_replace_all
April 17, 2025 13:43 18m 53s
[WIP] Create the transducers for skolem variables JS Binding (build-&-test) #127: Pull request #220 synchronize by jurajsic
April 17, 2025 13:43 20m 49s keep_skolem_replace_all
keep_skolem_replace_all
April 17, 2025 13:43 20m 49s
Add option to select reduction algorithm JS Binding (build-&-test) #126: Pull request #218 synchronize by vhavlena
April 17, 2025 13:07 15m 5s try_residual_reduction
try_residual_reduction
April 17, 2025 13:07 15m 5s
Add option to select reduction algorithm Various platforms (build-&-test) #153: Pull request #218 synchronize by vhavlena
April 17, 2025 13:07 13m 59s try_residual_reduction
try_residual_reduction
April 17, 2025 13:07 13m 59s
[WIP] Create the transducers for skolem variables Various platforms (build-&-test) #152: Pull request #220 opened by jurajsic
April 17, 2025 13:02 18m 41s keep_skolem_replace_all
keep_skolem_replace_all
April 17, 2025 13:02 18m 41s
[WIP] Create the transducers for skolem variables JS Binding (build-&-test) #125: Pull request #220 opened by jurajsic
April 17, 2025 13:02 21m 17s keep_skolem_replace_all
keep_skolem_replace_all
April 17, 2025 13:02 21m 17s
Transducer preprocessing JS Binding (build-&-test) #124: Pull request #213 synchronize by jurajsic
April 17, 2025 08:31 20m 49s transd_prepro
transd_prepro
April 17, 2025 08:31 20m 49s
Transducer preprocessing Various platforms (build-&-test) #151: Pull request #213 synchronize by jurajsic
April 17, 2025 08:31 19m 14s transd_prepro
transd_prepro
April 17, 2025 08:31 19m 14s
Merge pull request #219 from VeriFIT/fix_length Various platforms (build-&-test) #150: Commit 2977790 pushed by jurajsic
April 16, 2025 18:32 19m 6s devel
devel
April 16, 2025 18:32 19m 6s
Merge pull request #219 from VeriFIT/fix_length JS Binding (build-&-test) #123: Commit 2977790 pushed by jurajsic
April 16, 2025 18:32 20m 55s devel
devel
April 16, 2025 18:32 20m 55s
Add option to select reduction algorithm JS Binding (build-&-test) #122: Pull request #218 synchronize by jurajsic
April 16, 2025 17:52 15m 13s try_residual_reduction
try_residual_reduction
April 16, 2025 17:52 15m 13s
Add option to select reduction algorithm Various platforms (build-&-test) #149: Pull request #218 synchronize by jurajsic
April 16, 2025 17:52 15m 26s try_residual_reduction
try_residual_reduction
April 16, 2025 17:52 15m 26s
Fix length procedure suitability check Various platforms (build-&-test) #148: Pull request #219 opened by jurajsic
April 16, 2025 17:50 19m 25s fix_length
fix_length
April 16, 2025 17:50 19m 25s
Fix length procedure suitability check JS Binding (build-&-test) #121: Pull request #219 opened by jurajsic
April 16, 2025 17:50 21m 30s fix_length
fix_length
April 16, 2025 17:50 21m 30s
Add option to select reduction algorithm JS Binding (build-&-test) #120: Pull request #218 synchronize by jurajsic
April 16, 2025 12:12 15m 12s try_residual_reduction
try_residual_reduction
April 16, 2025 12:12 15m 12s