Skip to content

Actions: cucapra/patronus

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
594 workflow runs
594 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
bump version to 0.29.0 Rust #587: Commit 8af73e0 pushed by ekiwi
December 11, 2024 21:25 2m 57s v0.29.0
v0.29.0
December 11, 2024 21:25 2m 57s
bump version to 0.29.0 Rust #586: Commit 8af73e0 pushed by ekiwi
December 11, 2024 21:25 2m 50s main
main
December 11, 2024 21:25 2m 50s
move patronus dse to separate crate Rust #585: Commit faab7c8 pushed by ekiwi
December 11, 2024 21:24 2m 51s main
main
December 11, 2024 21:24 2m 51s
cond synth: better insight into false positives Rust #584: Commit b786140 pushed by ekiwi
December 11, 2024 21:11 2m 50s main
main
December 11, 2024 21:11 2m 50s
cond synth: print out smt expressions Rust #583: Commit 5cb01eb pushed by ekiwi
December 11, 2024 20:53 2m 52s main
main
December 11, 2024 20:53 2m 52s
show examples of false positives Rust #582: Commit 24a724d pushed by ekiwi
December 11, 2024 20:28 3m 7s main
main
December 11, 2024 20:28 3m 7s
cond synth: add option to check rewrite condition Rust #581: Commit 0622fb8 pushed by ekiwi
December 11, 2024 20:24 2m 50s main
main
December 11, 2024 20:24 2m 50s
cond synth: simplify condition Rust #580: Commit e312022 pushed by ekiwi
December 11, 2024 19:32 2m 52s main
main
December 11, 2024 19:32 2m 52s
cond synth: generate conditional rewrite rules Rust #579: Commit 4417398 pushed by ekiwi
December 11, 2024 19:31 2m 55s main
main
December 11, 2024 19:31 2m 55s
upgrade indexmap and use FXHasher Rust #578: Commit 2a1238b pushed by ekiwi
December 11, 2024 16:45 2m 51s main
main
December 11, 2024 16:45 2m 51s
remove fuzzy matcher dependency Rust #577: Commit 83ca52a pushed by ekiwi
December 10, 2024 20:26 2m 50s v0.28.2
v0.28.2
December 10, 2024 20:26 2m 50s
remove fuzzy matcher dependency Rust #576: Commit 83ca52a pushed by ekiwi
December 10, 2024 20:25 3m 4s main
main
December 10, 2024 20:25 3m 4s
expr/ts: make string function public and add add_output helper method Rust #575: Commit 075b7ac pushed by ekiwi
December 10, 2024 20:04 2m 59s v0.28.1
v0.28.1
December 10, 2024 20:04 2m 59s
expr/ts: make string function public and add add_output helper method Rust #574: Commit 075b7ac pushed by ekiwi
December 10, 2024 20:03 3m 4s main
main
December 10, 2024 20:03 3m 4s
cond synth: separate assignment and feature CSV Rust #573: Commit 2b71fc3 pushed by ekiwi
December 10, 2024 19:20 2m 54s main
main
December 10, 2024 19:20 2m 54s