Skip to content

Actions: cucapra/patronus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
609 workflow runs
609 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
smt: small bitwuzla solver example working Rust #597: Commit 8f6db3a pushed by ekiwi
December 12, 2024 21:30 3m 3s smt-solver
smt-solver
December 12, 2024 21:30 3m 3s
smt: serialize unary expressions Rust #596: Commit 62b653b pushed by ekiwi
December 12, 2024 20:37 2m 57s smt-solver
smt-solver
December 12, 2024 20:37 2m 57s
smt: serialize type Rust #595: Commit afbe37e pushed by ekiwi
December 12, 2024 20:04 2m 51s smt-solver
smt-solver
December 12, 2024 20:04 2m 51s
smt: parse array store Rust #594: Commit af8c285 pushed by ekiwi
December 12, 2024 19:36 2m 54s smt-solver
smt-solver
December 12, 2024 19:36 2m 54s
smt: parse first expression Rust #593: Commit e7f00f5 pushed by ekiwi
December 12, 2024 18:50 3m 3s smt-solver
smt-solver
December 12, 2024 18:50 3m 3s
smt: more parser work Rust #592: Commit dd1b926 pushed by ekiwi
December 12, 2024 18:23 2m 51s smt-solver
smt-solver
December 12, 2024 18:23 2m 51s
smt: switch lexer to work on complete instead of partial input Rust #591: Commit abcc1ef pushed by ekiwi
December 12, 2024 16:36 2m 50s smt-solver
smt-solver
December 12, 2024 16:36 2m 50s
smt: get started on parser Rust #590: Commit 05b9d16 pushed by ekiwi
December 12, 2024 16:02 3m 1s smt-solver
smt-solver
December 12, 2024 16:02 3m 1s
smt: implement lexer Rust #589: Commit 87b6095 pushed by ekiwi
December 12, 2024 14:54 2m 58s smt-solver
smt-solver
December 12, 2024 14:54 2m 58s
wip: smt solver support Rust #588: Commit daa13cf pushed by ekiwi
December 12, 2024 14:04 3m 5s smt-solver
smt-solver
December 12, 2024 14:04 3m 5s