Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
501 workflow run results
501 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Null Byte Array Domain options #6756: Pull request #1076 synchronize by michael-schwarz
November 24, 2023 19:56 17s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 24, 2023 19:56 17s
Null Byte Array Domain options #6755: Pull request #1076 synchronize by michael-schwarz
November 24, 2023 19:36 18s nathanschmidt:null-byte-arrayDomain
nathanschmidt:null-byte-arrayDomain
November 24, 2023 19:36 18s
Disable pins for v2.3.0 release options #6754: Commit dbd6479 pushed by sim642
November 24, 2023 14:49 14s master
master
November 24, 2023 14:49 14s
Replace goblint-cil pin with published 2.0.3 options #6753: Commit ade7968 pushed by sim642
November 24, 2023 14:34 18s master
master
November 24, 2023 14:34 18s
Add ORCiD-s to metadata options #6752: Commit 9f3fcac pushed by sim642
November 24, 2023 14:25 19s master
master
November 24, 2023 14:25 19s
Merge pull request #1257 from goblint/svcomp24-dev options #6751: Commit cd2428a pushed by sim642
November 24, 2023 14:06 18s master
master
November 24, 2023 14:06 18s
Merge branch 'master' into svcomp24-dev options #6750: Commit c2e9465 pushed by sim642
November 24, 2023 13:49 20s svcomp24
svcomp24
November 24, 2023 13:49 20s
SV-COMP 2024 development options #6749: Pull request #1257 synchronize by sim642
November 24, 2023 08:26 17s svcomp24-dev
svcomp24-dev
November 24, 2023 08:26 17s
Merge branch 'master' into svcomp24-dev options #6748: Commit c2e9465 pushed by sim642
November 24, 2023 08:26 16s svcomp24-dev
svcomp24-dev
November 24, 2023 08:26 16s
Merge pull request #1271 from goblint/not_found_autotuner_termination options #6747: Commit 3540ae2 pushed by sim642
November 24, 2023 08:16 24s master
master
November 24, 2023 08:16 24s
Fix Not_found exception in autotuner with congruences and termination. options #6746: Pull request #1271 synchronize by jerhard
November 23, 2023 14:00 26s not_found_autotuner_termination
not_found_autotuner_termination
November 23, 2023 14:00 26s
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