Skip to content

Actions: goblint/analyzer

Actions

options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
options.yml
580 workflow run results
580 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Handle sqrt & Some Bodged Solution for computing through abs options #6608: Pull request #1254 synchronize by michael-schwarz
November 18, 2023 11:51 19s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:51 19s
Handle <= as well options #6607: Commit ba6726a pushed by michael-schwarz
November 18, 2023 11:51 15s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:51 15s
Handle sqrt & Some Bodged Solution for computing through abs options #6606: Pull request #1254 synchronize by michael-schwarz
November 18, 2023 11:41 16s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:41 16s
Make bodge a bit nicer options #6605: Commit 6895ac0 pushed by michael-schwarz
November 18, 2023 11:41 20s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:41 20s
Handle sqrt & Some Bodged Solution for computing through abs options #6604: Pull request #1254 synchronize by michael-schwarz
November 18, 2023 11:28 18s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:28 18s
Reset baseInvariant to master options #6603: Commit 3797338 pushed by michael-schwarz
November 18, 2023 11:28 18s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:28 18s
Handle sqrt & Some Bodged Solution for computing through abs options #6602: Pull request #1254 opened by michael-schwarz
November 18, 2023 11:26 15s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:26 15s
Wir sind alle Pfuscher vor dem HERRN options #6601: Commit 2ea8db4 pushed by michael-schwarz
November 18, 2023 11:21 25s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:21 25s
Improving parameter of math function abs in condition options #6600: Pull request #1253 synchronize by michael-schwarz
November 18, 2023 10:33 15s no-overflow-sqrt
no-overflow-sqrt
November 18, 2023 10:33 15s
Merge branch 'no-overflow-sqrt' of https://github.com/goblint/analyze… options #6599: Commit 66ebc90 pushed by michael-schwarz
November 18, 2023 10:32 17s no-overflow-sqrt
no-overflow-sqrt
November 18, 2023 10:32 17s
Improving parameter of math function abs in condition options #6598: Pull request #1253 synchronize by stilscher
November 18, 2023 10:32 18s no-overflow-sqrt
no-overflow-sqrt
November 18, 2023 10:32 18s
trying to fix that value is not improved for parameter of abs call options #6597: Commit 688cff1 pushed by stilscher
November 18, 2023 10:32 17s no-overflow-sqrt
no-overflow-sqrt
November 18, 2023 10:32 17s
Merge pull request #1093 from serenita/master options #6596: Commit a40f2cf pushed by michael-schwarz
November 18, 2023 09:00 18s master
master
November 18, 2023 09:00 18s
TUM Practical Course Summer 2023: Termination Analyses options #6595: Pull request #1093 synchronize by jerhard
November 17, 2023 17:40 19s serenita:master
serenita:master
November 17, 2023 17:40 19s
Do loop unrolling for loops with boundedness check. options #6594: Commit 41ee060 pushed by jerhard
November 17, 2023 17:38 22s termination_dev
termination_dev
November 17, 2023 17:38 22s
Call Autotune.focusOnSpecification before preprocessing, as terminati… options #6593: Commit a4adabd pushed by jerhard
November 17, 2023 16:52 17s termination_dev
termination_dev
November 17, 2023 16:52 17s
Improving parameter of math function abs in condition options #6592: Pull request #1253 opened by stilscher
November 17, 2023 15:22 19s no-overflow-sqrt
no-overflow-sqrt
November 17, 2023 15:22 19s
improve values of parameters in abs call options #6591: Commit 5663482 pushed by stilscher
November 17, 2023 15:15 21s no-overflow-sqrt
no-overflow-sqrt
November 17, 2023 15:15 21s
Be more precise for << of Intervals options #6590: Pull request #1252 opened by michael-schwarz
November 17, 2023 14:36 20s issue_1250
issue_1250
November 17, 2023 14:36 20s
Be more precise for << of Intervals options #6589: Commit c8c49a5 pushed by michael-schwarz
November 17, 2023 14:35 19s issue_1250
issue_1250
November 17, 2023 14:35 19s
Autotuner: Remove activateTerminationAnalysis, as there is already ot… options #6588: Commit 26d8012 pushed by jerhard
November 17, 2023 14:18 18s termination_dev
termination_dev
November 17, 2023 14:18 18s
Make YAML output buffer sizing exponential options #6587: Commit f709482 pushed by sim642
November 17, 2023 14:07 17s svcomp24-dev
svcomp24-dev
November 17, 2023 14:07 17s
Update for Earlybird usage options #6586: Pull request #1251 opened by FungOliver
November 17, 2023 13:53 22s FungOliver:Fix-debugger
FungOliver:Fix-debugger
November 17, 2023 13:53 22s
Merge branch 'yaml-witness-location-hack' into svcomp24-dev options #6585: Commit a69e5b6 pushed by sim642
November 17, 2023 13:33 45s svcomp24-dev
svcomp24-dev
November 17, 2023 13:33 45s
Fix YamlWitness indentation options #6584: Commit 3c89ece pushed by sim642
November 17, 2023 13:32 22s yaml-witness-location-hack
yaml-witness-location-hack
November 17, 2023 13:32 22s