Skip to content

Actions: GaloisInc/what4

Actions

What4 CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
143 workflow runs
143 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Inject ground values back into symbolic expressions What4 CI #988: Commit 382562d pushed by langston-barrett
June 6, 2024 20:51 27m 34s lb/pp-ground
lb/pp-ground
June 6, 2024 20:51 27m 34s
Concretization What4 CI #987: Pull request #264 synchronize by langston-barrett
June 6, 2024 15:52 26m 52s lb/concretize
lb/concretize
June 6, 2024 15:52 26m 52s
Concretization: Resolve a symbolic expression to a concrete value What4 CI #986: Commit 939b3a3 pushed by langston-barrett
June 6, 2024 15:52 25m 51s lb/concretize
lb/concretize
June 6, 2024 15:52 25m 51s
CI: Use CVC5 1.1.2 What4 CI #985: Commit 85e68eb pushed by RyanGlScott
June 3, 2024 16:08 28m 28s master
master
June 3, 2024 16:08 28m 28s
CVC5: Don't use Tuple workaround when declaring structs What4 CI #984: Pull request #266 synchronize by RyanGlScott
June 2, 2024 19:38 23m 52s T265-cvc5-tuples
T265-cvc5-tuples
June 2, 2024 19:38 23m 52s
CI: Use CVC5 1.1.2 What4 CI #983: Commit 353dde1 pushed by RyanGlScott
June 2, 2024 19:38 24m 38s T265-cvc5-tuples
T265-cvc5-tuples
June 2, 2024 19:38 24m 38s
CVC5: Don't use Tuple workaround when declaring structs What4 CI #982: Pull request #266 synchronize by RyanGlScott
May 31, 2024 19:27 23m 35s T265-cvc5-tuples
T265-cvc5-tuples
May 31, 2024 19:27 23m 35s
CI: Use CVC5 1.1.2 What4 CI #981: Commit 54952b7 pushed by RyanGlScott
May 31, 2024 19:27 6h 1m 20s T265-cvc5-tuples
T265-cvc5-tuples
May 31, 2024 19:27 6h 1m 20s
CVC5: Don't use Tuple workaround when declaring structs What4 CI #980: Pull request #266 opened by RyanGlScott
May 31, 2024 16:44 2h 21m 15s T265-cvc5-tuples
T265-cvc5-tuples
May 31, 2024 16:44 2h 21m 15s
Fix CVC5 SMT-LIB tweaks for structs What4 CI #979: Commit 52349dc pushed by RyanGlScott
May 31, 2024 16:41 6h 1m 30s T265-cvc5-tuples
T265-cvc5-tuples
May 31, 2024 16:41 6h 1m 30s
Concretization What4 CI #978: Pull request #264 opened by langston-barrett
May 24, 2024 15:48 28m 6s lb/concretize
lb/concretize
May 24, 2024 15:48 28m 6s
WIP: Concretization What4 CI #977: Commit fcb7079 pushed by langston-barrett
May 24, 2024 15:47 28m 10s lb/concretize
lb/concretize
May 24, 2024 15:47 28m 10s
What4 CI What4 CI #976: by RyanGlScott
May 15, 2024 15:28 26m 16s v1.6
v1.6
May 15, 2024 15:28 26m 16s
Merge pull request #263 from GaloisInc/1.6 What4 CI #975: Commit 60cb3b8 pushed by RyanGlScott
May 15, 2024 15:26 25m 53s master
master
May 15, 2024 15:26 25m 53s
1.6 release prep What4 CI #974: Pull request #263 opened by RyanGlScott
May 15, 2024 14:14 29m 23s 1.6
1.6
May 15, 2024 14:14 29m 23s
Bump what4 development version to 1.6.0.0.99 What4 CI #973: Commit 09e2a8a pushed by RyanGlScott
May 15, 2024 14:12 27m 39s 1.6
1.6
May 15, 2024 14:12 27m 39s
Merge pull request #256 from GaloisInc/push-mux-ops-setting What4 CI #972: Commit 8c9401b pushed by RyanGlScott
May 14, 2024 14:06 28m 49s master
master
May 14, 2024 14:06 28m 49s
Guard mux-pushing simplifications behind option What4 CI #971: Pull request #256 synchronize by RyanGlScott
May 14, 2024 10:52 26m 2s push-mux-ops-setting
push-mux-ops-setting
May 14, 2024 10:52 26m 2s
Review comments What4 CI #970: Commit fa36855 pushed by RyanGlScott
May 14, 2024 10:52 27m 4s push-mux-ops-setting
push-mux-ops-setting
May 14, 2024 10:52 27m 4s
Guard mux-pushing simplifications behind option What4 CI #969: Pull request #256 synchronize by RyanGlScott
May 13, 2024 20:48 28m 12s push-mux-ops-setting
push-mux-ops-setting
May 13, 2024 20:48 28m 12s
Document pushMuxOps in Haddocks and CHANGELOG What4 CI #968: Commit 512eca6 pushed by RyanGlScott
May 13, 2024 20:48 28m 27s push-mux-ops-setting
push-mux-ops-setting
May 13, 2024 20:48 28m 27s
Remove NatRepr arg from resolveSymBV What4 CI #967: Commit e9e8142 pushed by langston-barrett
April 17, 2024 14:52 21m 11s lb/resolve-no-width
lb/resolve-no-width
April 17, 2024 14:52 21m 11s
Add bv{Zero,One} helpers, hlint config (#258) What4 CI #966: Commit 30309b5 pushed by langston-barrett
April 3, 2024 19:02 50m 43s master
master
April 3, 2024 19:02 50m 43s
Add bv{Zero,One} helpers, hlint config What4 CI #965: Pull request #258 synchronize by langston-barrett
April 3, 2024 17:05 36m 42s lb/bv-helpers
lb/bv-helpers
April 3, 2024 17:05 36m 42s
ci: Update Ubuntu version for lint job What4 CI #964: Commit a0dd970 pushed by langston-barrett
April 3, 2024 17:05 34m 34s lb/bv-helpers
lb/bv-helpers
April 3, 2024 17:05 34m 34s