Commits

Branch selector

 separation_logic_support

User selector

All users

All time

Commit History

Commits on Nov 10, 2023

• Update AnnotatedSimpleFunctionCall.java

  Show description for b0f35ee
  FrogOfJuly

  authored
  b0f35ee

  Copy full SHA for b0f35ee

• for benchmark referencing

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  ce3be03

  Copy full SHA for ce3be03

Commits on Jun 1, 2023

• fixing newly exposed bugs in tests

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  bc00820

  Copy full SHA for bc00820

• very questionable vararg support, heap changes for external refinement and tests for streams and files

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  a3c64f2

  Copy full SHA for a3c64f2

• heap anns broke

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  9c05661

  Copy full SHA for 9c05661

Commits on May 31, 2023

• minor refactor

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  f366549

  Copy full SHA for f366549

Commits on May 29, 2023

• minor fix

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  56f73c2

  Copy full SHA for 56f73c2

• removing benchmark from tests

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  2d44401

  Copy full SHA for 2d44401

• benchmarks and small fixes

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  fe98043

  Copy full SHA for fe98043

Commits on May 4, 2023

• tests

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  adbe3ea

  Copy full SHA for adbe3ea

• comment out failing test

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  d36e2b3

  Copy full SHA for d36e2b3

• bug fix and heap merge for ITE. Does not work yet

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  2d153af

  Copy full SHA for 2d153af

• refactoring

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  e256786

  Copy full SHA for e256786

• working function transitions and constructor calls. With examples

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  2901e0c

  Copy full SHA for 2901e0c

Commits on Apr 12, 2023

• connecting the dots

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  c875d3c

  Copy full SHA for c875d3c

• minor fixes

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  e963509

  Copy full SHA for e963509

• code simplifications

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  bf1aadc

  Copy full SHA for bf1aadc

• loop -> stream

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  67077e4

  Copy full SHA for 67077e4

• exception fix

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  a92421a

  Copy full SHA for a92421a

Commits on Apr 6, 2023

• future tests

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  a1e7a12

  Copy full SHA for a1e7a12

• todos for implementation

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  7766247

  Copy full SHA for 7766247

• new annotations

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  d899b9c

  Copy full SHA for d899b9c

Commits on Apr 5, 2023

• refactor and some work in progress

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  1dd3caa

  Copy full SHA for 1dd3caa

• remove sep.emp from identity predicate

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  72a5136

  Copy full SHA for 72a5136

• docs

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  ea0428b

  Copy full SHA for ea0428b

• disabling tests

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  e62a0e6

  Copy full SHA for e62a0e6

• minor refactoring

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  7cfd39b

  Copy full SHA for 7cfd39b

• model fails if heap is not used

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  6024b30

  Copy full SHA for 6024b30

Commits on Mar 30, 2023

• docs

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  e417816

  Copy full SHA for e417816

• docs and minor refactor

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  d9df557

  Copy full SHA for d9df557

Commits on Mar 23, 2023

• parse is static

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  cb49b8f

  Copy full SHA for cb49b8f

• invert if for less scoping

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  8a574d5

  Copy full SHA for 8a574d5

• brackets

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  be5e28b

  Copy full SHA for be5e28b

• pseudo tests, do not run

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  0843049

  Copy full SHA for 0843049

• parsing and processing. Do not add to test suite

  

  Kirill Golubev

  authored and

  Kirill Golubev

  committed
  2e50dd9

  Copy full SHA for 2e50dd9

Pagination

Previous

Next