Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 9, 2020

• apply the reuse tool to change the license info.

  Show description for e211d0a
  kfriedberger

  committed
  e211d0a

  Copy full SHA for e211d0a

Commits on Dec 16, 2019

• fixes for CheckStyle: Ignore all malformed class and method type parameter names.

  Show description for a05f0ba
  kfriedberger

  committed
  a05f0ba

  Copy full SHA for a05f0ba

Commits on Jun 25, 2019

• improve SL manager with better types.

  Show description for 2d51c91
  kfriedberger

  committed
  2d51c91

  Copy full SHA for 2d51c91

Commits on Jun 13, 2019

• CVC4: switch from central "CVC4Environment" to central "ExprManager".

  Show description for 38c46bf
  kfriedberger

  committed
  38c46bf

  Copy full SHA for 38c46bf

Commits on May 10, 2019

• CVC4SLFormulaMgr - BooleanFormula generalized to Formula

  Show description for cde35cb
  

  Moritz Beck

  committed
  cde35cb

  Copy full SHA for cde35cb

Commits on Apr 16, 2019

• Seperation Logic support for integrated cvc4 in java-smt

  

  Moritz Beck

  committed
  48399eb

  Copy full SHA for 48399eb

Loading