Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 27, 2021

• Converted various line endings from Windows to Unix

  mschwerhoff

  committed
  7f41f32

  Copy full SHA for 7f41f32

Commits on Jun 25, 2021

• change all .scala files to unix line endings

  

  Josua Stuck

  committed
  679cd0e

  Copy full SHA for 679cd0e

Commits on Dec 5, 2020

• Solved around 100 deprecation warnings.

  fabiopakk

  committed
  31c8e64

  Copy full SHA for 31c8e64

Commits on Feb 25, 2019

• Updated the license in the header of all scala source files.

  fabiopakk

  committed
  d01b5a2

  Copy full SHA for d01b5a2

Commits on May 20, 2018

• Delete common/src/main/scala/format/package.scala (moved to silver/reporter/format).

  aterga

  committed
  5f599c0

  Copy full SHA for 5f599c0

Commits on Jul 5, 2017

• 2nd round of cleanup

  

  Nils Becker

  committed
  9369cb7

  Copy full SHA for 9369cb7

• cleaning up imports

  

  Nils Becker

  committed
  38db47c

  Copy full SHA for 38db47c

Commits on Jun 12, 2017

• syncronizing with viperproject

  

  Nils Becker

  committed
  b8516b5

  Copy full SHA for b8516b5

Commits on Jun 4, 2017

• Added support for quantified permission assertions with multiple quantified variables.

  Show description for d8e248d
  mschwerhoff

  committed
  d8e248d

  Copy full SHA for d8e248d

Commits on Jan 24, 2017

• Parallelisation: reenabled support for quantified predicates and magic wands (not yet bug-free)

  mschwerhoff

  committed
  beb1f20

  Copy full SHA for beb1f20

Commits on Jan 19, 2017

• Parallelisation: removed hand-written InsertionOrderedSet, now defaults to ListSet

  mschwerhoff

  committed
  dda8980

  Copy full SHA for dda8980

Commits on Jan 5, 2017

• Parallelised the execution of branches

  mschwerhoff

  committed
  f2be430

  Copy full SHA for f2be430

Commits on Dec 29, 2016

• Implemented a custom set InsertionOrderedSet that internally maintains its elements twice: in a regular set and a vector. This yields a deterministic iteration order and well-performing operations,…

  Show description for fea25db
  mschwerhoff

  committed
  fea25db

  Copy full SHA for fea25db

Commits on Aug 25, 2016

• added support for the newest versions of silver and silicon

  

  Ruben Kälin

  committed
  e8038ad

  Copy full SHA for e8038ad

Commits on Feb 20, 2015

• Made it possible to record information about multiple verification runs that are performed using the same instance of Silicon (e.g. as happens when running the test suite) in logfiles that are name…

  Show description for 7397228
  mschwerhoff

  committed
  7397228

  Copy full SHA for 7397228

Commits on Jan 23, 2015

• Changed common.io.PrintWriter s.t. it is possible to append to logfiles (instead of overwriting their content)

  mschwerhoff

  committed
  5bd7d20

  Copy full SHA for 5bd7d20

Commits on Nov 10, 2014

• Backed out merge changeset: 253024019479

  Show description for c093d12
  alexanderjsummers

  committed
  c093d12

  Copy full SHA for c093d12

Commits on Jul 15, 2014

• Renamed semper -> viper and sil -> silver

  alexanderjsummers

  committed
  6550b03

  Copy full SHA for 6550b03

Commits on Jul 7, 2014

• Added MPL 2.0 license header to all relevant files. Also added LICENSE.txt stating which files are not under MPL but under Public Domain.

  mschwerhoff

  committed
  f663d05

  Copy full SHA for f663d05

Commits on Jan 27, 2014

• Added dollar sign to list of special characters when translating a string into a regex

  mschwerhoff

  committed
  f946a3d

  Copy full SHA for f946a3d

Commits on Oct 29, 2013

• Fixed a potential non-null dereference

  mschwerhoff

  committed
  0935c95

  Copy full SHA for 0935c95

Commits on Sep 22, 2013

• Replaced previously used command line parsing library (scopt) by the one that Sil uses (scallop) in order to minimise the set of dependencies of our tool. This required some adaptation, as well as …

  Show description for baaf794
  mschwerhoff

  committed
  baaf794

  Copy full SHA for baaf794

Commits on Mar 25, 2013

• Moved wildcardToRegex to sub-project "common"

  mschwerhoff

  committed
  3a06cd3

  Copy full SHA for 3a06cd3

Commits on Mar 18, 2013

• - Added sbt-brand plugin

  Show description for cf496be
  mschwerhoff

  committed
  cf496be

  Copy full SHA for cf496be

Commits on Feb 6, 2013

• Copied Silicon 2.0 into this repository.

  mschwerhoff

  committed
  334c6b5

  Copy full SHA for 334c6b5

Loading