Skip to content

Actions: GaloisInc/saw-script

Actions

SAWScript

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,416 workflow runs
1,416 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Crux mir uninterpreted functions SAWScript #4950: Pull request #2489 opened by yav
July 10, 2025 23:19 21m 10s crux-mir-uninterpreted-functions
crux-mir-uninterpreted-functions
July 10, 2025 23:19 21m 10s
MIR: Support new graceful failure on unsupported types SAWScript #4949: Pull request #2488 opened by glguy
July 10, 2025 23:09 49m 9s mir-graceful-failure
mir-graceful-failure
July 10, 2025 23:09 49m 9s
Merge pull request #2486 from GaloisInc/still-more-interpreter-cleanup SAWScript #4948: Commit cc6bee2 pushed by sauclovian-g
July 10, 2025 18:24 52m 11s master
master
July 10, 2025 18:24 52m 11s
Further simplifications in the SAWScript interpreter SAWScript #4947: Pull request #2486 synchronize by sauclovian-g
July 10, 2025 17:19 49m 30s still-more-interpreter-cleanup
still-more-interpreter-cleanup
July 10, 2025 17:19 49m 30s
Further simplifications in the SAWScript interpreter SAWScript #4946: Pull request #2486 synchronize by sauclovian-g
July 10, 2025 17:05 54m 10s still-more-interpreter-cleanup
still-more-interpreter-cleanup
July 10, 2025 17:05 54m 10s
Merge pull request #2481 from GaloisInc/bh/sawcore-parser SAWScript #4945: Commit 8f2acda pushed by brianhuffman
July 10, 2025 16:50 57m 10s master
master
July 10, 2025 16:50 57m 10s
Merge pull request #2468 from GaloisInc/issue#1709 SAWScript #4944: Commit c7111b0 pushed by yav
July 10, 2025 16:24 49m 51s master
master
July 10, 2025 16:24 49m 51s
saw-core: Make scConstant fail on terms containing free variables. SAWScript #4943: Pull request #2484 synchronize by brianhuffman
July 10, 2025 14:35 49m 2s bh/issue2476
bh/issue2476
July 10, 2025 14:35 49m 2s
saw-core: Move parser-related modules into "Parser" directory. SAWScript #4942: Pull request #2481 synchronize by brianhuffman
July 10, 2025 14:01 48m 44s bh/sawcore-parser
bh/sawcore-parser
July 10, 2025 14:01 48m 44s
Merge pull request #2485 from GaloisInc/bh/incomplete-pattern SAWScript #4941: Commit f1e36a6 pushed by brianhuffman
July 10, 2025 13:54 36m 27s master
master
July 10, 2025 13:54 36m 27s
Merge pull request #2483 from GaloisInc/bh/unused-modules SAWScript #4940: Commit 4426249 pushed by brianhuffman
July 10, 2025 13:52 48m 34s master
master
July 10, 2025 13:52 48m 34s
SAWScript SAWScript #4939: Scheduled
July 10, 2025 10:03 48m 22s master
master
July 10, 2025 10:03 48m 22s
Re-enable the awslc test SAWScript #4938: Pull request #2487 opened by sauclovian-g
July 10, 2025 04:19 49m 16s 2273-re-enable-awslc
2273-re-enable-awslc
July 10, 2025 04:19 49m 16s
Further simplifications in the SAWScript interpreter SAWScript #4937: Pull request #2486 opened by sauclovian-g
July 10, 2025 04:00 48m 38s still-more-interpreter-cleanup
still-more-interpreter-cleanup
July 10, 2025 04:00 48m 38s
saw-core: Avoid double-wildcard patterns in TermF functions. SAWScript #4936: Pull request #2485 opened by brianhuffman
July 10, 2025 02:55 50m 25s bh/incomplete-pattern
bh/incomplete-pattern
July 10, 2025 02:55 50m 25s
saw-core: Make scConstant fail on terms containing free variables. SAWScript #4935: Pull request #2484 opened by brianhuffman
July 10, 2025 02:31 51m 47s bh/issue2476
bh/issue2476
July 10, 2025 02:31 51m 47s
Remove unused modules in saw-core package SAWScript #4934: Pull request #2483 opened by brianhuffman
July 10, 2025 02:16 48m 56s bh/unused-modules
bh/unused-modules
July 10, 2025 02:16 48m 56s
saw-core: Move parser-related modules into "Parser" directory. SAWScript #4933: Pull request #2481 opened by brianhuffman
July 10, 2025 01:28 48m 49s bh/sawcore-parser
bh/sawcore-parser
July 10, 2025 01:28 48m 49s
Fixes 1709 SAWScript #4932: Pull request #2468 synchronize by yav
July 9, 2025 20:11 48m 42s issue#1709
issue#1709
July 9, 2025 20:11 48m 42s
Merge pull request #2480 from GaloisInc/crucible-T1445-submodule-bump SAWScript #4931: Commit f629592 pushed by RyanGlScott
July 9, 2025 19:03 49m 53s master
master
July 9, 2025 19:03 49m 53s
Fixes 1709 SAWScript #4930: Pull request #2468 synchronize by yav
July 9, 2025 18:33 52m 44s issue#1709
issue#1709
July 9, 2025 18:33 52m 44s
Fixes 1709 SAWScript #4929: Pull request #2468 synchronize by yav
July 9, 2025 18:10 58m 19s issue#1709
issue#1709
July 9, 2025 18:10 58m 19s
Bump crucible, mir-json submodule to bring in custom DST support SAWScript #4928: Pull request #2480 opened by RyanGlScott
July 9, 2025 18:05 48m 56s crucible-T1445-submodule-bump
crucible-T1445-submodule-bump
July 9, 2025 18:05 48m 56s
Merge pull request #2473 from GaloisInc/interpreter-do-blocks SAWScript #4927: Commit ac08070 pushed by sauclovian-g
July 9, 2025 17:43 52m 14s master
master
July 9, 2025 17:43 52m 14s
Merge pull request #2479 from GaloisInc/rgs/sort-tests SAWScript #4926: Commit 677070a pushed by RyanGlScott
July 9, 2025 15:35 49m 54s master
master
July 9, 2025 15:35 49m 54s