Skip to content

Actions: cucapra/patronus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
594 workflow runs
594 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

cond synth: show false negatives Rust #622: Commit f26ad51 pushed by ekiwi
December 16, 2024 20:50 2m 53s main
main
December 16, 2024 20:50 2m 53s
ci: check new rule Rust #621: Commit c81c095 pushed by ekiwi
December 16, 2024 20:38 3m 3s main
main
December 16, 2024 20:38 3m 3s
update rewrite rule Rust #620: Commit 7bc2595 pushed by ekiwi
December 16, 2024 20:37 2m 56s main
main
December 16, 2024 20:37 2m 56s
allow some dead code Rust #619: Commit 4de6b27 pushed by ekiwi
December 16, 2024 20:21 2m 46s main
main
December 16, 2024 20:21 2m 46s
cond synth: show substitution along smt expr Rust #618: Commit 50b3c70 pushed by ekiwi
December 16, 2024 20:08 2m 52s main
main
December 16, 2024 20:08 2m 52s
cond synth: randomly sample counter examples Rust #617: Commit dc88e3d pushed by ekiwi
December 16, 2024 19:59 2m 52s main
main
December 16, 2024 19:59 2m 52s
smt: fix bug in response parser Rust #616: Commit 9cf5d0c pushed by ekiwi
December 16, 2024 19:53 2m 49s main
main
December 16, 2024 19:53 2m 49s
cond synth: auto truncate Rust #615: Commit ec22b66 pushed by ekiwi
December 16, 2024 19:44 2m 48s main
main
December 16, 2024 19:44 2m 48s
smt: disable solver error test Rust #614: Commit 10f9e04 pushed by ekiwi
December 16, 2024 19:38 2m 50s main
main
December 16, 2024 19:38 2m 50s
egraph: distinguish between width/sign/value Rust #613: Commit 27db2e1 pushed by ekiwi
December 16, 2024 19:32 2m 48s main
main
December 16, 2024 19:32 2m 48s
cond synth: better balancing through fine grain work stealing Rust #612: Commit ed90533 pushed by ekiwi
December 16, 2024 17:47 2m 48s v0.30.0
v0.30.0
December 16, 2024 17:47 2m 48s
cond synth: better balancing through fine grain work stealing Rust #611: Commit ed90533 pushed by ekiwi
December 16, 2024 17:45 2m 48s main
main
December 16, 2024 17:45 2m 48s
cond synth: better balancing through fine grain work stealing Rust #610: Commit ed90533 pushed by ekiwi
December 16, 2024 17:45 2m 59s smt-solver
smt-solver
December 16, 2024 17:45 2m 59s
port egraph condition sythesizer to new SMT solver interface Rust #609: Commit e31a7e3 pushed by ekiwi
December 16, 2024 17:31 2m 55s smt-solver
smt-solver
December 16, 2024 17:31 2m 55s
bump version Rust #608: Commit 70afbb4 pushed by ekiwi
December 16, 2024 16:58 2m 50s smt-solver
smt-solver
December 16, 2024 16:58 2m 50s
smt: get value Rust #607: Commit 6d118aa pushed by ekiwi
December 16, 2024 16:55 2m 52s smt-solver
smt-solver
December 16, 2024 16:55 2m 52s
smt: implement get_value Rust #606: Commit 3681e3c pushed by ekiwi
December 13, 2024 21:35 2m 53s smt-solver
smt-solver
December 13, 2024 21:35 2m 53s
smt: remove debug print Rust #605: Commit 511e0e9 pushed by ekiwi
December 13, 2024 21:12 2m 50s smt-solver
smt-solver
December 13, 2024 21:12 2m 50s
smt: change how serialize handels boolean conversion Rust #604: Commit 2892100 pushed by ekiwi
December 13, 2024 20:58 2m 55s smt-solver
smt-solver
December 13, 2024 20:58 2m 55s
smt: serialize more expressions Rust #603: Commit 9e59db3 pushed by ekiwi
December 13, 2024 20:42 2m 51s smt-solver
smt-solver
December 13, 2024 20:42 2m 51s
start using new solver in bmc example Rust #602: Commit 6161b55 pushed by ekiwi
December 13, 2024 19:12 3m 4s smt-solver
smt-solver
December 13, 2024 19:12 3m 4s
check simplification from a random z3 issue Rust #601: Commit eb21af9 pushed by ekiwi
December 13, 2024 19:03 56s smt-solver
smt-solver
December 13, 2024 19:03 56s
smt: slowly convert mc to use new Solver library Rust #600: Commit 99334a1 pushed by ekiwi
December 13, 2024 18:39 55s smt-solver
smt-solver
December 13, 2024 18:39 55s
ci: install bitwuzla for unit tests Rust #599: Commit 982373e pushed by ekiwi
December 13, 2024 17:15 2m 53s smt-solver
smt-solver
December 13, 2024 17:15 2m 53s
smt: serialize command and deal with failed solver Rust #598: Commit 5ad0c06 pushed by ekiwi
December 13, 2024 17:14 3m 1s smt-solver
smt-solver
December 13, 2024 17:14 3m 1s