Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 8, 2018

• Add the explanation for the basic options necessary to run Canopy with Model Counting (#2)

  

  JasonPap

  authored and

  ksluckow

  committed
  a1b568f

Commits on May 23, 2018

• Update README.md

  corinus

  authored
  07c6429

Commits on Sep 15, 2017

• Merge branch 'release/v1.1.0'

  ksluckow

  committed
  71ebca8

Commits on Aug 28, 2017

• Add option for weighted sampling in monte carlo

  ksluckow

  committed
  6b2adee

Commits on Aug 25, 2017

• Add notification when state is restored. This corresponds to when a new

  ksluckow

  committed
  b825f18

Commits on Aug 8, 2017

• Merge branch 'feature/paper-evaluation' into develop

  ksluckow

  committed
  6e5c73c

• Add allocation reward function

  ksluckow

  committed
  b6d26cd

• Add batch runner script

  ksluckow

  committed
  ff9d1f6

• Add allocation reward function

  ksluckow

  committed
  68032b1

• Update package names

  ksluckow

  committed
  9a2cbde

• Clean up comment

  ksluckow

  committed
  31f1713

Commits on Aug 7, 2017

• Merge branch 'feature/sidechannel' into develop

  ksluckow

  committed
  2d71eb7

• Merge branch 'feature/prepare-os' into develop

  ksluckow

  committed
  1d1c311

Commits on Jul 27, 2017

• Update readme

  ksluckow

  committed
  de6a541

• Update comment

  ksluckow

  committed
  ff4da51

• Remove merge text

  ksluckow

  committed
  f51c623

• Merge branch 'feature/docker' into feature/prepare-os

  ksluckow

  committed
  0a3f036

Commits on Jul 26, 2017

• Fix packages of allocation reward function

  ksluckow

  committed
  a6dcb8d

• Add withmi 6 for heap allocation analysis

  ksluckow

  committed
  faecfe3

• Add allocation reward function

  ksluckow

  committed
  a2d35fe

• Fix uncommitted files

  ksluckow

  committed
  f468470

• Add jpf files for ap1 and qs9

  ksluckow

  committed
  d3b5139

Commits on Jul 23, 2017

• Add option for specifying iterations

  ksluckow

  committed
  8e3af71

• Fix formatting

  ksluckow

  committed
  a704bd9

Commits on Jul 21, 2017

• Update licenses in jpf files

  ksluckow

  committed
  c2d9c30

• Fix more formatting

  ksluckow

  committed
  39e5dd3

• Update some formatting

  ksluckow

  committed
  1a98d3b

• Add licensing information including licenses of libs

  ksluckow

  committed
  aee2766

• Update package names

  ksluckow

  committed
  74b2b18

• Update license headers to MIT

  ksluckow

  committed
  72e1935

Commits on Jul 20, 2017

• Change config option from symbolic.security.sampling -> canopy

  ksluckow

  committed
  54682f3

Commits on Jul 18, 2017

• Add batch files for increasing input size experiment

  ksluckow

  committed
  31ee0e5

• Update configs for new batch processor

  ksluckow

  committed
  b85f597

• Add ugly batch processor for increasing input size experiments

  ksluckow

  committed
  146e45d

Commits on Jul 11, 2017

• Add caching decorator

  ksluckow

  committed
  ec9a9ec

Pagination

PreviousNext