Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 18, 2018

• Set version to 0.5.2

  cesaro

  committed
  5f7ae66

  Copy full SHA for 5f7ae66

• Fix READMEs: master points to latest release

  cesaro

  committed
  dcd290b

  Copy full SHA for dcd290b

• Update README files for the submodule change

  cesaro

  committed
  661c7ad

  Copy full SHA for 661c7ad

• Include the Steroids library as a git submodule

  cesaro

  committed
  b0bc9e3

  Copy full SHA for b0bc9e3

• Fix clang warning when running dpu on .i files

  cesaro

  committed
  5a9a0db

  Copy full SHA for 5a9a0db

• Fix broken regression test

  cesaro

  committed
  a52ba76

  Copy full SHA for a52ba76

• Use LLVM 6.0 instead of v3.7

  cesaro

  committed
  af874a6

  Copy full SHA for af874a6

Commits on Feb 1, 2018

• Set version to 0.5.1

  cesaro

  committed
  cc917ed

  Copy full SHA for cc917ed

• CAV18 tarball release: adjust paths and files

  cesaro

  committed
  7441182

  Copy full SHA for 7441182

• Add script to anonymize text information

  cesaro

  committed
  a8239ab

  Copy full SHA for a8239ab

• Script to run SVCOMP17 benchmarks

  cesaro

  committed
  dfc6bd0

  Copy full SHA for dfc6bd0

• Fix bug in the script for the experiments

  cesaro

  committed
  ffb1ce3

  Copy full SHA for ffb1ce3

• Fix bug in the driver.sh

  cesaro

  committed
  b382000

  Copy full SHA for b382000

• Prepare some more SVCOMP17 bench for dpu

  cesaro

  committed
  7f7a4ba

  Copy full SHA for 7f7a4ba

• Move the tacas18 to cav18

  cesaro

  committed
  c59c5b9

  Copy full SHA for c59c5b9

Commits on Jan 31, 2018

• Pass MAKEFLAGS recursively

  cesaro

  committed
  d92e352

  Copy full SHA for d92e352

Commits on Jan 29, 2018

• To build docker image

  huyenntt

  committed
  d73ecfa

  Copy full SHA for d73ecfa

Commits on Nov 12, 2017

• Cleanup

  cesaro

  committed
  dd7f965

  Copy full SHA for dd7f965

Commits on Oct 30, 2017

• Readme updated + v0.5.0 in config.mk

  cesaro

  committed
  258cdef

  Copy full SHA for 258cdef

Commits on Oct 20, 2017

• Data-races analysis now prints statistics

  cesaro

  committed
  2febc64

  Copy full SHA for 2febc64

Commits on Oct 19, 2017

• New option --drfreq defines how many traces are used for DRA

  cesaro

  committed
  2fa0148

  Copy full SHA for 2fa0148

• Script for the experiments updated for new dpu options

  cesaro

  committed
  72d9d31

  Copy full SHA for 72d9d31

• Regression tests for the data race analysis

  cesaro

  committed
  62c997b

  Copy full SHA for 62c997b

• Data-races analysis debugged over ~50 test cases

  Show description for e1a823b
  cesaro

  committed
  e1a823b

  Copy full SHA for e1a823b

Commits on Oct 18, 2017

• Regression/unit tests fixed for new options + output

  cesaro

  committed
  bf911ff

  Copy full SHA for bf911ff

• Option --analysis now invokes the two different analyses

  Show description for c568a85
  cesaro

  committed
  c568a85

  Copy full SHA for c568a85

Commits on Oct 17, 2017

• New command line option: --analysis = {por,por+dr}

  cesaro

  committed
  49234dd

  Copy full SHA for 49234dd

• Usage information organized in sections

  cesaro

  committed
  b874aaf

  Copy full SHA for b874aaf

• Data race analysis: first working version

  cesaro

  committed
  7f8ca72

  Copy full SHA for 7f8ca72

• Refactoring in Replay and Event

  Show description for c3ec33f
  cesaro

  committed
  c3ec33f

  Copy full SHA for c3ec33f

Commits on Oct 16, 2017

• Unfolder class made a template

  Show description for 95a6bf1
  cesaro

  committed
  95a6bf1

  Copy full SHA for 95a6bf1

• Unit tests: RedboxFactory and Redbox

  cesaro

  committed
  2708161

  Copy full SHA for 2708161

• The dpu::Unfolder is now able to create 1 config

  cesaro

  committed
  2b52074

  Copy full SHA for 2b52074

• Redbox, RedboxFactory: some unit tests + fixes

  cesaro

  committed
  d63f4bd

  Copy full SHA for d63f4bd

Commits on Oct 15, 2017

• Redbox, RedboxFactory: management of ld/st for datarace checking

  cesaro

  committed
  08cda51

  Copy full SHA for 08cda51

Pagination

Previous

Next