Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 19, 2019

• Merge branch 'master' into incrementalMaster

  jerhard

  committed
  4ba3f78

Commits on Jul 16, 2019

• use stable to detect cycles in side x y

  Show description for 5d090ec
  vogler

  committed
  5d090ec

• add_infl x y for side x y to deal with cycles between globals

  Show description for cba4dc2
  vogler

  committed
  cba4dc2

• use pipefail for make.sh so that docker run only after successfull build

  vogler

  committed
  aba4e42

• docker: pull latest base image before build

  vogler

  committed
  6a75f08

• opam update before installing deps; install locked versions

  vogler

  committed
  8607296

• docker: copy opam.locked before deps to invalidate cache on version changes

  vogler

  committed
  fd3a0cb

• opam lock: new ppx_deriving_yojson

  vogler

  committed
  89b30dc

Commits on Jul 15, 2019

• Deriving.Map.Make with to_yojson

  vogler

  committed
  2f0927c

• fix for new ppx_deriving_yojson version 3.5.1: %to_yojson with type variables

  Show description for eeb4909
  vogler

  committed
  eeb4909

• opam args

  vogler

  committed
  ff4e87b

• Revert "opam: use locked versions for deps! Travis broke the next 3 commits b/c of a new version of ppx_deriving_yojson."

  Show description for 1400501
  vogler

  committed
  1400501

• opam lock

  vogler

  committed
  86f95b2

Commits on Jul 12, 2019

• just also use wpoint for space instead of mem rho

  vogler

  committed
  7cfab20

• cycle detection via side in destabilze does not work for space. 3 tests don't terminate. -> always widen side for space for now.

  vogler

  committed
  14612a5

• fix td3.space_restore

  vogler

  committed
  217ba0d

• opam: use locked versions for deps! Travis broke the next 3 commits b/c of a new version of ppx_deriving_yojson.

  Show description for 27aed29
  vogler

  committed
  27aed29

Commits on Jul 8, 2019

• td3: only widen in side if there is a cycle in destabilize

  vogler

  committed
  ebcd958

• fix hashcons for HoarePO: gave different hash for equal values

  vogler

  committed
  029dde7

Commits on Jul 3, 2019

• docker: build image in any case, run tests and only push on success

  vogler

  committed
  b2b152e

• docker autotest: service has to be called sut?

  Show description for 1652238
  vogler

  committed
  1652238

• docker compose: cache_from expects an array, also CACHE_TAG is just 'latest'

  vogler

  committed
  c290027

• docker compose: cache_from only supported with version 3.2 and up

  vogler

  committed
  3ef9d26

Commits on Jul 2, 2019

• docker hub autotest doesn't use the just built image but builds it again...

  vogler

  committed
  c760168

• 🔊 div by zero should not lead to bot, but top and a warning about UB

  vogler

  committed
  cfbad0d

• ♻️ Division_by_zero is correctly raised by Int64.(div, rem)

  vogler

  committed
  bd9e16e

Commits on Jul 1, 2019

• Lattice.(LiftPO : PO -> S)

  vogler

  committed
  4a2dd43

• clearify verify

  vogler

  committed
  0f9583f

• TODO bench SetDomain.Hoare

  vogler

  committed
  e527314

• refactor GlobSolverFrom(In)EqSolver

  vogler

  committed
  3e99808

Commits on Jun 25, 2019

• make docker, Dockerfile: cleanup and better use of caching

  vogler

  committed
  5c2e0b5

• remove unused waffle.io and gitter.im

  vogler

  committed
  d8fec2c

• travis: 4.07.1 is ambiguous on MacOS b/c ocaml-system.4.07.1 is available, which makes opam abort.

  Show description for ecbbb71
  vogler

  committed
  ecbbb71

• travis: remove workaround for travis-ci/travis-ci#8826 (oclint conflicted with gcc and is now now longer installed on MacOS builds)

  vogler

  committed
  4b03883

• load default config before tests (needed for solver)

  vogler

  committed
  ed78100

Pagination

PreviousNext