Commits

Branch selector

 986be03

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 26, 2024

• Merge branch 'master' into master

  karoliineh

  authored
  986be03

• import java.util.Collections

  karoliineh

  authored
  e8d7775

• ArrayUtils -> Collections

  karoliineh

  authored
  42324c1

• Merge branch 'master' into master

  karoliineh

  authored
  0c3ac9c

• Delete gobpie-0.0.4.vsix:Zone.Identifier

  karoliineh

  authored
  47905c1

• Delete src/main/java/gobpie/http-client.private.env.json

  karoliineh

  authored
  f9dd036

Commits on Jun 18, 2024

• Merge pull request #71 from goblint/exp-arg-enabled

  Show description for f1ece37
  karoliineh

  authored
  f1ece37

Commits on Jun 5, 2024

• added more comments

  AnetteTaivere

  committed
  3ec92ef

Commits on Jun 4, 2024

• wrote comments

  AnetteTaivere

  committed
  d951514

Commits on May 27, 2024

• Rename exp.arg -> exp.arg.enabled

  Show description for 53ea325
  sim642

  authored
  53ea325

Commits on May 11, 2024

• Merge pull request #11 from AnetteTaivere/increase-coverage

  Show description for fa38aeb
  AnetteTaivere

  authored
  fa38aeb

Commits on May 10, 2024

• Remove unused import

  karoliineh

  committed
  7a1890d

• refactor: .size() == 0 -> isEmpty()

  karoliineh

  committed
  fa27f4f

• Remove unused field startByte

  karoliineh

  committed
  be7edca

• Convert GoblintLocation class to record

  karoliineh

  committed
  cd2227f

• Convert GoblintVarinfo class to record

  karoliineh

  committed
  fd2c64e

• Convert GoblintCFGLookupResult class to record

  karoliineh

  committed
  3dcb59b

• Convert GoblintARGResult and GoblintCFGResult classes to records

  karoliineh

  committed
  70cffd4

Commits on May 9, 2024

• Remove unused getter getType

  karoliineh

  committed
  84e9f4f

• Make GoblintFunctionsResult a record

  karoliineh

  committed
  90aaf5a

• Cover calling analysis with incrementalAnalysis set to false

  karoliineh

  committed
  9977cdf

• Make GoblintAnalysisResult a record and add tests for Goblint responding with status Aborted and VerifyError

  karoliineh

  committed
  bbe19ec

Commits on May 8, 2024

• Optimize imports

  karoliineh

  committed
  b5370d2

• Remove getters from GobPieConfiguration

  karoliineh

  committed
  25fc205

• Hack record with non-primitive booleans

  karoliineh

  committed
  1bdbec7

• A failed attempt on using records

  karoliineh

  committed
  4a66bc3

• Refactor

  karoliineh

  committed
  60b433e

• Revert "removed jupiter engine dependency"

  Show description for ea0a9e6
  karoliineh

  committed
  ea0a9e6

Commits on May 6, 2024

• removed jupiter engine dependency

  AnetteTaivere

  committed
  b97883a

Commits on Apr 4, 2024

• Improve branch coverage in GoblintMessagesResult

  karoliineh

  committed
  79bb810

• Simplify tags toString methods

  karoliineh

  committed
  ff526a2

• Cover 2 more branches in GoblintConfWatcher

  karoliineh

  committed
  4993995

• Add Jacoco and coverage github workflow to push it to Coveralls (#10)

  Show description for 3fe053a
  karoliineh

  authored
  3fe053a

Commits on Apr 3, 2024

• Remove unused methods

  karoliineh

  committed
  b0adc75

• Merge pull request #7 from AnetteTaivere/goblintServerTests

  Show description for e01c27b
  karoliineh

  authored
  e01c27b

Pagination

PreviousNext