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

egraph: extract derived widths from egraph Rust #647: Commit f2839a5 pushed by ekiwi
December 19, 2024 21:00 2m 45s main
main
December 19, 2024 21:00 2m 45s
egraph: add unmerge-left-shift Rust #646: Commit 863bd24 pushed by ekiwi
December 19, 2024 20:53 2m 48s main
main
December 19, 2024 20:53 2m 48s
format Rust #645: Commit c29f17e pushed by ekiwi
December 19, 2024 20:06 2m 52s main
main
December 19, 2024 20:06 2m 52s
restrict merge-left-shift Rust #644: Commit ceeaad9 pushed by ekiwi
December 19, 2024 20:00 2m 48s main
main
December 19, 2024 20:00 2m 48s
egraph: improve merge-left-shift Rust #643: Commit 8596aad pushed by ekiwi
December 19, 2024 19:35 2m 48s main
main
December 19, 2024 19:35 2m 48s
arith: derived widths Rust #642: Commit 8b6e916 pushed by ekiwi
December 19, 2024 19:30 2m 49s main
main
December 19, 2024 19:30 2m 49s
cond synth: print out assignment Rust #641: Commit 49edaad pushed by ekiwi
December 19, 2024 18:16 2m 57s main
main
December 19, 2024 18:16 2m 57s
egraphs: fix important parsing bug Rust #640: Commit 4aea4db pushed by ekiwi
December 19, 2024 18:07 2m 52s main
main
December 19, 2024 18:07 2m 52s
cond synth: we now distinguish between sign and width in the egg AST Rust #639: Commit 8823f4a pushed by ekiwi
December 19, 2024 16:28 3m 11s main
main
December 19, 2024 16:28 3m 11s
rename cond synth tool Rust #638: Commit bc308f1 pushed by ekiwi
December 19, 2024 16:23 2m 49s main
main
December 19, 2024 16:23 2m 49s
upgrade baa Rust #637: Commit 3175625 pushed by ekiwi
December 19, 2024 14:09 2m 51s main
main
December 19, 2024 14:09 2m 51s
bump version because of new SmtCommand Rust #636: Commit 41d2a29 pushed by ekiwi
December 17, 2024 20:31 2m 57s main
main
December 17, 2024 20:31 2m 57s
ci: run simplify on real SMT file Rust #635: Commit d847253 pushed by ekiwi
December 17, 2024 20:29 2m 46s main
main
December 17, 2024 20:29 2m 46s
simplify: actually add simplification component Rust #634: Commit e0e2d5d pushed by ekiwi
December 17, 2024 20:27 1m 51s main
main
December 17, 2024 20:27 1m 51s
simplify: actually add simplification component Rust #633: Commit 37239cf pushed by ekiwi
December 17, 2024 20:27 2m 29s simplify-tool
simplify-tool
December 17, 2024 20:27 2m 29s
smt: parse more expressions Rust #632: Commit f9f95c3 pushed by ekiwi
December 17, 2024 20:19 3m 0s simplify-tool
simplify-tool
December 17, 2024 20:19 3m 0s
smt: parse add and declare-fun Rust #631: Commit 8e503f2 pushed by ekiwi
December 17, 2024 19:14 2m 53s simplify-tool
simplify-tool
December 17, 2024 19:14 2m 53s
smt: parse more commands, string literals Rust #630: Commit 91abe7d pushed by ekiwi
December 17, 2024 18:56 3m 51s simplify-tool
simplify-tool
December 17, 2024 18:56 3m 51s
parse set-option Rust #629: Commit fbad0b0 pushed by ekiwi
December 17, 2024 16:19 3m 0s simplify-tool
simplify-tool
December 17, 2024 16:19 3m 0s
smt: parse set-logic Rust #628: Commit 8acb6ab pushed by ekiwi
December 17, 2024 16:04 3m 30s simplify-tool
simplify-tool
December 17, 2024 16:04 3m 30s
smt: parse_command Rust #627: Commit e335d3c pushed by ekiwi
December 17, 2024 15:45 2m 59s simplify-tool
simplify-tool
December 17, 2024 15:45 2m 59s
egraph: tight condition Rust #626: Commit 31e151b pushed by ekiwi
December 17, 2024 02:48 2m 49s main
main
December 17, 2024 02:48 2m 49s
egraph: even better condition Rust #625: Commit 7f8c55a pushed by ekiwi
December 17, 2024 02:45 2m 51s main
main
December 17, 2024 02:45 2m 51s
egraph: beter condition + fix incorrect argument Rust #624: Commit d04e06a pushed by ekiwi
December 17, 2024 02:44 2m 49s main
main
December 17, 2024 02:44 2m 49s
add simplify tool Rust #623: Commit 38650f3 pushed by ekiwi
December 16, 2024 21:39 2m 48s simplify-tool
simplify-tool
December 16, 2024 21:39 2m 48s