Skip to content

Actions: DavisPL/usr-solver

Actions

Checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
checks.yml
53 workflow runs
53 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Fixed str at negation - tiching did this one Checks #68: Commit 9497fe0 pushed by NishEatsWafflez
53s main
main
53s
added str.at support Checks #67: Commit 8d418d9 pushed by tichingkao
55s main
main
55s
minor int bug fix Checks #66: Commit 8d953b3 pushed by tichingkao
1m 2s main
main
1m 2s
Added concrete int and indexof support Checks #65: Commit 15c9cb6 pushed by tichingkao
54s main
main
54s
Update parser to fix substring Checks #64: Commit 7ca32b0 pushed by NishEatsWafflez
57s main
main
57s
🧹 clean up error interface Checks #63: Commit 09551dd pushed by cdstanford
55s main
main
55s
🧹 clippy unused & dead code warnings Checks #62: Commit 402f4d7 pushed by cdstanford
51s main
main
51s
🐛 fix failing test lol Checks #61: Commit eb86bad pushed by cdstanford
58s main
main
58s
🧹 remove AB solver Checks #60: Commit 99e01fb pushed by cdstanford
51s main
main
51s
duplicate benchmark Checks #59: Commit 71fda20 pushed by tichingkao
48s main
main
48s
Handeling literal found in a not constraint Checks #58: Commit 0b9ed21 pushed by tichingkao
52s main
main
52s
Bug fix in SAT Algo Checks #57: Commit 31df091 pushed by tichingkao
48s main
main
48s
fmt Checks #56: Commit 35b680f pushed by tichingkao
51s main
main
51s
Sat algo bug fix Checks #55: Commit b5fc64c pushed by tichingkao
54s main
main
54s
Nullable determinized bug fix Checks #54: Commit c74e535 pushed by tichingkao
48s main
main
48s
fmt Checks #53: Commit c933886 pushed by tichingkao
54s main
main
54s
Reverting to union for range handling. Checks #52: Commit 420f1c3 pushed by tichingkao
15m 31s main
main
15m 31s
Equality supports assertions and added let variable checks when strin… Checks #51: Commit d980d6b pushed by tichingkao
47s main
main
47s
String equality and unicode problems resolved. Checks #50: Commit 6747832 pushed by tichingkao
49s main
main
49s
Merge branch 'main' of https://github.com/DavisPL/gen-regex-impl Checks #49: Commit a3f142d pushed by tichingkao
59s main
main
59s
parse_declare_fun error msg typo Checks #48: Commit 4a7e986 pushed by tichingkao
1m 1s main
main
1m 1s
🔧 add support for str.++ via Concat on string tokens - some re… Checks #47: Commit 70db58d pushed by cdstanford
1m 6s main
main
1m 6s
📎 clippy/fmt Checks #46: Commit 06fe751 pushed by cdstanford
51s main
main
51s
📎 clippy Checks #45: Commit 98b398b pushed by cdstanford
58s main
main
58s
🔧 changes from call Checks #44: Commit 1e88a00 pushed by cdstanford
44s main
main
44s