Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 29, 2013

• Fix: don't mark stores dead when a path condition check means they escape into unknown realms.

  Show description for 16ca23d
  

  Chris Smowton

  committed
  16ca23d

  Copy full SHA for 16ca23d

Commits on Mar 18, 2013

• Enhance GlobalDCE to spot the no-unresolved-calls situation that results from specialising xmlstart.

  Show description for 8538b9d
  

  Chris Smowton

  committed
  8538b9d

  Copy full SHA for 8538b9d

Commits on Jan 28, 2013

• Fix handling of assumed loops.

  Show description for 31d5f68
  

  Chris Smowton

  committed
  31d5f68

  Copy full SHA for 31d5f68

Commits on Dec 21, 2012

• Fix specialisation makefile, and remove hacks for the integrator's shortcomings handling the date program

  

  Chris Smowton

  committed
  dcca9f3

  Copy full SHA for dcca9f3

Commits on Dec 19, 2012

• Also consider direct dependency detected by the optimistic solver, and commit reduced specialisation specs now that we automatically find some dependencies.

  

  Chris Smowton

  committed
  108f693

  Copy full SHA for 108f693

Commits on Nov 26, 2012

• Add the timing mechanism included wth the coreutils for measurement

  

  Chris Smowton

  committed
  8724694

  Copy full SHA for 8724694

• Add latest versions of the spec scripts, a Makefile that replaces all the commands for building coreutils, their timed versions, stripped versions, etc.

  Show description for 8d66c03
  

  Chris Smowton

  committed
  8d66c03

  Copy full SHA for 8d66c03

• Remove old eval filesx

  

  Chris Smowton

  committed
  c89f864

  Copy full SHA for c89f864

Commits on Nov 10, 2012

• Back up eval scripts and results

  

  Chris Smowton

  committed
  009b5a4

  Copy full SHA for 009b5a4

Loading