Commits

Branch selector

 refs/heads/debt-24-demo-materials

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 31, 2024

• Fixes to examples

  karoliineh

  committed
  83b2565

• Modify example.c

  karoliineh

  committed
  c22203a

Commits on Sep 13, 2024

• Merge branch 'master' into debt-24-demo-materials

  karoliineh

  committed
  60be1db

• Update DEBT demo ReadMe

  karoliineh

  committed
  3759d3f

• Add custom launch.json for paper example

  Show description for ac759d9
  karoliineh

  committed
  ac759d9

• Merge pull request #75 from goblint/path-step-into-targets

  Show description for 96beec2
  karoliineh

  authored
  96beec2

• Merge branch 'master' into path-step-into-targets

  karoliineh

  authored
  b60d6ba

• Merge pull request #74 from goblint/issue-73

  Show description for ce3a023
  karoliineh

  authored
  ce3a023

• Change log.info to log.warn for disabling sync stepping

  karoliineh

  committed
  d14fd15

• Add some additional materials

  karoliineh

  committed
  0b8cdc7

• Add paper example

  karoliineh

  committed
  bce39b4

• Show value of lval in step into targets' options

  karoliineh

  committed
  ce24ae2

• Record lval when path splitting occurs due to fn call

  karoliineh

  committed
  f68c3f4

• Remove unused throws from method signature

  karoliineh

  committed
  ffeac79

• Make ambiguous paths unavailable instead throwing an error

  karoliineh

  committed
  cde2015

Commits on Jun 27, 2024

• Bump version from 0.0.4 to 0.0.5

  karoliineh

  committed
  fff58cc

Commits on Jun 26, 2024

• Solve #61 and fix grammar

  karoliineh

  authored
  f93eb24

• Add coverage badge to ReadMe

  karoliineh

  authored
  d3b0747

• Merge pull request #72 from AnetteTaivere/master

  Show description for 4c2b625
  karoliineh

  authored
  4c2b625

• 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

Pagination

PreviousNext