Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
1,099 workflow run results
1,099 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add example where autotuner crashed when trying to activate congruenc… options #6745: Commit 9b954b5 pushed by jerhard
November 23, 2023 14:00 15s not_found_autotuner_termination
not_found_autotuner_termination
November 23, 2023 14:00 15s
Improve trigonometric abstractions options #6744: Pull request #1272 synchronize by stilscher
November 23, 2023 13:52 23s improve-trig
improve-trig
November 23, 2023 13:52 23s
add regression test for sin options #6743: Commit be4fdad pushed by stilscher
November 23, 2023 13:52 17s improve-trig
improve-trig
November 23, 2023 13:52 17s
Improve trigonometric abstractions options #6742: Pull request #1272 synchronize by stilscher
November 23, 2023 13:48 18s improve-trig
improve-trig
November 23, 2023 13:48 18s
improve sin as well options #6741: Commit 0107ce9 pushed by stilscher
November 23, 2023 13:48 15s improve-trig
improve-trig
November 23, 2023 13:48 15s
Improve trigonometric abstractions options #6740: Pull request #1272 opened by stilscher
November 23, 2023 13:39 16s improve-trig
improve-trig
November 23, 2023 13:39 16s
add test case options #6739: Commit fde7d4d pushed by stilscher
November 23, 2023 13:33 15s improve-trig
improve-trig
November 23, 2023 13:33 15s
fix headers in tests options #6738: Commit a7265c8 pushed by stilscher
November 23, 2023 13:23 18s improve-trig
improve-trig
November 23, 2023 13:23 18s
Fix Not_found exception in autotuner with congruences and termination. options #6737: Pull request #1271 opened by jerhard
November 23, 2023 13:10 20s not_found_autotuner_termination
not_found_autotuner_termination
November 23, 2023 13:10 20s
Fix Not_found exception in autotuner with congruences and termination. options #6736: Commit f262386 pushed by jerhard
November 23, 2023 13:07 18s not_found_autotuner_termination
not_found_autotuner_termination
November 23, 2023 13:07 18s
SV-COMP 2024 development options #6735: Pull request #1257 synchronize by sim642
November 23, 2023 11:38 24s svcomp24-dev
svcomp24-dev
November 23, 2023 11:38 24s
Merge branch 'master' into svcomp24-dev options #6734: Commit e0a0692 pushed by sim642
November 23, 2023 11:38 24s svcomp24-dev
svcomp24-dev
November 23, 2023 11:38 24s
Merge pull request #1270 from goblint/query_ordering options #6733: Commit 2f5e555 pushed by sim642
November 23, 2023 11:37 21s master
master
November 23, 2023 11:37 21s
Unbox some types options #6732: Commit 7ab1858 pushed by sim642
November 23, 2023 10:11 15s unboxed
unboxed
November 23, 2023 10:11 15s
Fix ordering of queries by deduplicating indices. options #6731: Pull request #1270 opened by jerhard
November 23, 2023 09:35 19s query_ordering
query_ordering
November 23, 2023 09:35 19s
Fix ordering of queries by deduplicating indices. options #6730: Commit 9bb9ae2 pushed by jerhard
November 23, 2023 09:33 23s query_ordering
query_ordering
November 23, 2023 09:33 23s
Prevent num downgrade in lower-bounds CI options #6729: Commit 6389a7f pushed by sim642
November 23, 2023 08:28 17s master
master
November 23, 2023 08:28 17s
SV-COMP 2024 development options #6728: Pull request #1257 synchronize by sim642
November 22, 2023 12:51 23s svcomp24-dev
svcomp24-dev
November 22, 2023 12:51 23s
Merge remote-tracking branch 'mrstanb/improve-multi-threaded-valid-me… options #6727: Commit d629d14 pushed by sim642
November 22, 2023 12:51 18s svcomp24-dev
svcomp24-dev
November 22, 2023 12:51 18s
Merge pull request #1269 from goblint/svcomp24-funs options #6726: Commit 3414f4f pushed by sim642
November 22, 2023 12:32 14s master
master
November 22, 2023 12:32 14s
SV-COMP 2024 development options #6725: Pull request #1257 synchronize by sim642
November 22, 2023 12:30 25s svcomp24-dev
svcomp24-dev
November 22, 2023 12:30 25s
Add CHANGELOG for v2.3.0 options #6724: Commit 9c65057 pushed by sim642
November 22, 2023 12:30 16s svcomp24-dev
svcomp24-dev
November 22, 2023 12:30 16s
Test for mutex-meet-tid for ValidDeref & Move Afterconfig.run to ensure privatizations can potentially be auto-tuned options #6723: Pull request #1265 synchronize by michael-schwarz
November 22, 2023 12:21 20s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 12:21 20s
Undo setting mutex-meet-tid privatization in autotuner options #6722: Commit 06f543a pushed by michael-schwarz
November 22, 2023 12:21 19s mutex-meet-tid-memsafety
mutex-meet-tid-memsafety
November 22, 2023 12:21 19s
Add unknown functions from SV-COMP options #6721: Pull request #1269 synchronize by sim642
November 22, 2023 12:10 18s svcomp24-funs
svcomp24-funs
November 22, 2023 12:10 18s
ProTip! You can narrow down the results and go further in time using created:<2023-11-22 or the other filters available.