Commits

Branch selector

 e5994f2

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 22, 2019

• increase number of allowable addresses

  muwyse

  committed
  e5994f2

  Copy full SHA for e5994f2

Commits on Oct 10, 2016

• Links to FMCAD materials

  mn416

  committed
  4a7cf86

  Copy full SHA for 4a7cf86

Commits on Sep 12, 2016

• Parser tweak

  mn416

  committed
  ec7d4ae

  Copy full SHA for ec7d4ae

Commits on Sep 11, 2016

• Update README

  mn416

  committed
  c2887fe

  Copy full SHA for c2887fe

Commits on Jul 26, 2016

• Fix case in answer files

  mn416

  committed
  99d7c60

  Copy full SHA for 99d7c60

Commits on Jul 13, 2016

• More tests

  Show description for cabef4b
  mn416

  committed
  cabef4b

  Copy full SHA for cabef4b

Commits on Jul 12, 2016

• Local consistency fix

  Show description for 9a44d4a
  mn416

  committed
  9a44d4a

  Copy full SHA for 9a44d4a

• Relax address & thread range checks

  Show description for 2af5d4a
  mn416

  committed
  2af5d4a

  Copy full SHA for 2af5d4a

• Parser tweak

  mn416

  committed
  03d010d

  Copy full SHA for 03d010d

Commits on May 3, 2016

• Update to version 1.3 of manual. Also add shrinker designed for large traces.

  mn416

  committed
  de029e7

  Copy full SHA for de029e7

Commits on Mar 25, 2016

• Check for cycles in addEdgeHelper

  mn416

  committed
  071c2d6

  Copy full SHA for 071c2d6

Commits on Mar 11, 2016

• Include line numbers in trace error messages

  mn416

  committed
  6972c68

  Copy full SHA for 6972c68

Commits on Mar 9, 2016

• Allow -i flag, indicating that timestamps should be ignored

  mn416

  committed
  426ab07

  Copy full SHA for 426ab07

• Update to version 1.2 of manual. Main additions are: axiomatic definitions of SPARC models, and details of checking algorithm for SPARC models

  mn416

  committed
  eb161ec

  Copy full SHA for eb161ec

Commits on Feb 22, 2016

• Update license

  mn416

  committed
  d683765

  Copy full SHA for d683765

Commits on Feb 20, 2016

• Rather than ignore end-times of stores, raise an error message

  mn416

  committed
  653b48b

  Copy full SHA for 653b48b

Commits on Feb 17, 2016

• Allow shrinker to read traces from stdin

  mn416

  committed
  66853a9

  Copy full SHA for 66853a9

Commits on Feb 16, 2016

• Update comments in shrinker

  mn416

  committed
  d70a473

  Copy full SHA for d70a473

• Add a rudimentary trace shrinker, implemented in python

  mn416

  committed
  8ff7bec

  Copy full SHA for 8ff7bec

• Ignore end-times for store operations, for the property that PSO is a subset of WMO.

  mn416

  committed
  a976095

  Copy full SHA for a976095

Commits on Jan 22, 2016

• Initial import

  mn416

  committed
  75cad57

  Copy full SHA for 75cad57