Skip to content

Actions: goblint/analyzer

Actions

indentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
indentation.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 indentation #8589: Pull request #1254 synchronize by michael-schwarz
November 18, 2023 11:51 5m 15s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:51 5m 15s
Handle <= as well indentation #8588: Commit ba6726a pushed by michael-schwarz
November 18, 2023 11:51 4m 59s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:51 4m 59s
Handle sqrt & Some Bodged Solution for computing through abs indentation #8587: Pull request #1254 synchronize by michael-schwarz
November 18, 2023 11:41 4m 59s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:41 4m 59s
Make bodge a bit nicer indentation #8586: Commit 6895ac0 pushed by michael-schwarz
November 18, 2023 11:41 5m 17s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:41 5m 17s
Handle sqrt & Some Bodged Solution for computing through abs indentation #8585: Pull request #1254 synchronize by michael-schwarz
November 18, 2023 11:28 5m 8s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:28 5m 8s
Reset baseInvariant to master indentation #8584: Commit 3797338 pushed by michael-schwarz
November 18, 2023 11:28 4m 54s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:28 4m 54s
Handle sqrt & Some Bodged Solution for computing through abs indentation #8583: Pull request #1254 opened by michael-schwarz
November 18, 2023 11:26 2s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:26 2s
Wir sind alle Pfuscher vor dem HERRN indentation #8582: Commit 2ea8db4 pushed by michael-schwarz
November 18, 2023 11:21 2s no-overflow-sqrt-pfusch
no-overflow-sqrt-pfusch
November 18, 2023 11:21 2s
Improving parameter of math function abs in condition indentation #8581: Pull request #1253 synchronize by michael-schwarz
November 18, 2023 10:33 5m 14s no-overflow-sqrt
no-overflow-sqrt
November 18, 2023 10:33 5m 14s
Merge branch 'no-overflow-sqrt' of https://github.com/goblint/analyze… indentation #8580: Commit 66ebc90 pushed by michael-schwarz
November 18, 2023 10:32 4m 56s no-overflow-sqrt
no-overflow-sqrt
November 18, 2023 10:32 4m 56s
Improving parameter of math function abs in condition indentation #8579: Pull request #1253 synchronize by stilscher
November 18, 2023 10:32 5m 0s no-overflow-sqrt
no-overflow-sqrt
November 18, 2023 10:32 5m 0s
trying to fix that value is not improved for parameter of abs call indentation #8578: Commit 688cff1 pushed by stilscher
November 18, 2023 10:32 5m 21s no-overflow-sqrt
no-overflow-sqrt
November 18, 2023 10:32 5m 21s
Merge pull request #1093 from serenita/master indentation #8577: Commit a40f2cf pushed by michael-schwarz
November 18, 2023 09:00 4m 59s master
master
November 18, 2023 09:00 4m 59s
TUM Practical Course Summer 2023: Termination Analyses indentation #8576: Pull request #1093 synchronize by jerhard
November 17, 2023 17:40 5m 9s serenita:master
serenita:master
November 17, 2023 17:40 5m 9s
Do loop unrolling for loops with boundedness check. indentation #8575: Commit 41ee060 pushed by jerhard
November 17, 2023 17:38 5m 17s termination_dev
termination_dev
November 17, 2023 17:38 5m 17s
Call Autotune.focusOnSpecification before preprocessing, as terminati… indentation #8574: Commit a4adabd pushed by jerhard
November 17, 2023 16:52 5m 23s termination_dev
termination_dev
November 17, 2023 16:52 5m 23s
Improving parameter of math function abs in condition indentation #8573: Pull request #1253 opened by stilscher
November 17, 2023 15:22 3s no-overflow-sqrt
no-overflow-sqrt
November 17, 2023 15:22 3s
improve values of parameters in abs call indentation #8572: Commit 5663482 pushed by stilscher
November 17, 2023 15:15 3s no-overflow-sqrt
no-overflow-sqrt
November 17, 2023 15:15 3s
Be more precise for << of Intervals indentation #8571: Pull request #1252 opened by michael-schwarz
November 17, 2023 14:36 2s issue_1250
issue_1250
November 17, 2023 14:36 2s
Be more precise for << of Intervals indentation #8570: Commit c8c49a5 pushed by michael-schwarz
November 17, 2023 14:35 1s issue_1250
issue_1250
November 17, 2023 14:35 1s
Autotuner: Remove activateTerminationAnalysis, as there is already ot… indentation #8569: Commit 26d8012 pushed by jerhard
November 17, 2023 14:18 5m 58s termination_dev
termination_dev
November 17, 2023 14:18 5m 58s
Make YAML output buffer sizing exponential indentation #8568: Commit f709482 pushed by sim642
November 17, 2023 14:07 5m 2s svcomp24-dev
svcomp24-dev
November 17, 2023 14:07 5m 2s
Update for Earlybird usage indentation #8567: Pull request #1251 opened by FungOliver
November 17, 2023 13:53 4s FungOliver:Fix-debugger
FungOliver:Fix-debugger
November 17, 2023 13:53 4s
Merge branch 'yaml-witness-location-hack' into svcomp24-dev indentation #8566: Commit a69e5b6 pushed by sim642
November 17, 2023 13:33 5m 7s svcomp24-dev
svcomp24-dev
November 17, 2023 13:33 5m 7s
Fix YamlWitness indentation indentation #8565: Commit 3c89ece pushed by sim642
November 17, 2023 13:32 5m 0s yaml-witness-location-hack
yaml-witness-location-hack
November 17, 2023 13:32 5m 0s