Skip to content

Actions: GaloisInc/pate

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
474 workflow runs
474 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Allow for divergence locations to be provided as input Move new issues into Triage #82: Issue #354 opened by danmatichuk
January 8, 2024 17:54 14s
January 8, 2024 17:54 14s
preserve return point for terminal stubs, handling them during analys… CI Matrix #696: Commit 780fc39 pushed by danmatichuk
December 21, 2023 19:35 2h 39m 5s master
master
December 21, 2023 19:35 2h 39m 5s
add serialization for event traces CI Matrix #695: Commit 8ddea32 pushed by danmatichuk
December 21, 2023 01:10 2h 17m 7s master
master
December 21, 2023 01:10 2h 17m 7s
What4.JSON: serialize binding environment along with expressions CI Matrix #694: Commit aaf4ce0 pushed by danmatichuk
December 20, 2023 19:50 2h 28m 13s master
master
December 20, 2023 19:50 2h 28m 13s
Widening: only produce event-trace counterexamples for eq. domain wid… CI Matrix #693: Commit 10bd97d pushed by danmatichuk
December 19, 2023 21:57 2h 30m 10s master
master
December 19, 2023 21:57 2h 30m 10s
Widening: only produce event-trace counterexamples for eq. domain wid… CI Matrix #692: Commit 5a9f7f4 pushed by danmatichuk
December 19, 2023 21:56 2h 23m 52s master
master
December 19, 2023 21:56 2h 23m 52s
CounterExample.ppTraceEventSummary: handle singleton event traces CI Matrix #691: Commit 478abfd pushed by danmatichuk
December 12, 2023 20:25 3h 10m 38s master
master
December 12, 2023 20:25 3h 10m 38s
github: drop 9.2.8 from CI matrix CI Matrix #690: Commit 677cba9 pushed by danmatichuk
December 12, 2023 19:55 2h 16m 6s master
master
December 12, 2023 19:55 2h 16m 6s
SolverTestMain: send larger goal to ensure timeout is hit CI Matrix #689: Commit 873d8f7 pushed by danmatichuk
December 12, 2023 19:50 1h 31m 31s master
master
December 12, 2023 19:50 1h 31m 31s
CI: use submodules instead of source repos CI Matrix #688: Commit 2b82dbb pushed by danmatichuk
December 11, 2023 20:51 5h 25m 6s master
master
December 11, 2023 20:51 5h 25m 6s
Data.UnwrapType: add missing pragma CI Matrix #687: Commit 5f7abe3 pushed by danmatichuk
December 11, 2023 20:43 5h 21m 40s master
master
December 11, 2023 20:43 5h 21m 40s
add SetCtx module for keeping a type-indexed set of values CI Matrix #686: Commit f28b7ab pushed by danmatichuk
December 11, 2023 18:03 2h 49m 1s master
master
December 11, 2023 18:03 2h 49m 1s
Dm/deserialize CI Matrix #685: Pull request #353 opened by danmatichuk
December 11, 2023 18:02 4h 57m 27s dm/deserialize
dm/deserialize
December 11, 2023 18:02 4h 57m 27s
allow free vars when serializing CI Matrix #684: Commit 2cec2f8 pushed by danmatichuk
December 7, 2023 22:52 38m 16s master
master
December 7, 2023 22:52 38m 16s
Pate.Arch: remove accidental module import CI Matrix #683: Commit fe537b6 pushed by danmatichuk
December 7, 2023 21:05 5h 52m 31s master
master
December 7, 2023 21:05 5h 52m 31s
Data.UnwrapType: add missing pragma CI Matrix #682: Commit 646d71c pushed by danmatichuk
December 7, 2023 21:04 2h 25m 5s master
master
December 7, 2023 21:04 2h 25m 5s
add class for serializing values to JSON CI Matrix #681: Commit 7d1d774 pushed by danmatichuk
December 6, 2023 23:50 3h 37m 45s master
master
December 6, 2023 23:50 3h 37m 45s
update freeze file for ghc 9.2.8 CI Matrix #680: Commit 583a31a pushed by danmatichuk
December 6, 2023 22:25 3h 26m 58s master
master
December 6, 2023 22:25 3h 26m 58s
reduce timeout to minimum for solver test CI Matrix #679: Commit c6c2635 pushed by danmatichuk
December 5, 2023 20:57 6h 25m 6s master
master
December 5, 2023 20:57 6h 25m 6s
Dm/submodule bump CI Matrix #678: Pull request #352 synchronize by danmatichuk
December 5, 2023 20:55 4h 10m 6s dm/submodule-bump
dm/submodule-bump
December 5, 2023 20:55 4h 10m 6s
Dm/submodule bump CI Matrix #677: Pull request #352 synchronize by danmatichuk
December 5, 2023 01:23 4h 35m 46s dm/submodule-bump
dm/submodule-bump
December 5, 2023 01:23 4h 35m 46s
Dm/submodule bump CI Matrix #676: Pull request #352 synchronize by danmatichuk
December 5, 2023 00:51 4h 52m 12s dm/submodule-bump
dm/submodule-bump
December 5, 2023 00:51 4h 52m 12s
Dm/submodule bump CI Matrix #675: Pull request #352 opened by danmatichuk
December 5, 2023 00:20 2m 17s dm/submodule-bump
dm/submodule-bump
December 5, 2023 00:20 2m 17s
add witness traces to more phases of the analysis CI Matrix #674: Commit 62b9820 pushed by danmatichuk
November 29, 2023 21:49 1h 45m 35s master
master
November 29, 2023 21:49 1h 45m 35s
ProTip! You can narrow down the results and go further in time using created:<2023-11-29 or the other filters available.