Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 23, 2015

• Delete .hgignore

  

  Eric Bodden

  committed
  07ca698

  Copy full SHA for 07ca698

• Update README.md

  

  Eric Bodden

  committed
  63b4443

  Copy full SHA for 63b4443

• Create README.md

  

  Eric Bodden

  committed
  a69467e

  Copy full SHA for a69467e

Commits on Sep 27, 2012

• implemented bounding of transitions:

  Show description for b0dc878
  

  eric.bodden

  committed
  b0dc878

  Copy full SHA for b0dc878

Commits on Sep 19, 2012

• .

  

  eric.bodden

  committed
  e9806a5

  Copy full SHA for e9806a5

• correction

  

  eric.bodden

  committed
  fedc54a

  Copy full SHA for fedc54a

• got rid of MAX value

  

  eric.bodden

  committed
  0707366

  Copy full SHA for 0707366

Commits on Sep 13, 2012

• comments

  

  eric.bodden

  committed
  eb19671

  Copy full SHA for eb19671

• solved complexity problem with Alg. 1

  

  eric.bodden

  committed
  940bea1

  Copy full SHA for 940bea1

Commits on Sep 10, 2012

• defaults

  

  eric.bodden

  committed
  8ae62f8

  Copy full SHA for 8ae62f8

• implemented sampling

  

  eric.bodden

  committed
  31b4c93

  Copy full SHA for 31b4c93

• adding "numbers" abstraction

  

  eric.bodden

  committed
  7aac20b

  Copy full SHA for 7aac20b

• moved incomplete implementation out of the way

  

  eric.bodden

  committed
  d947772

  Copy full SHA for d947772

Commits on Aug 10, 2012

• .

  

  eric.bodden

  committed
  93e5502

  Copy full SHA for 93e5502

• .

  

  eric.bodden

  committed
  ba4a75c

  Copy full SHA for ba4a75c

Commits on Aug 9, 2012

• made abstraction configurable

  

  eric.bodden

  committed
  f316252

  Copy full SHA for f316252

• .

  

  eric.bodden

  committed
  bc60918

  Copy full SHA for bc60918

• .

  

  eric.bodden

  committed
  fbf99ef

  Copy full SHA for fbf99ef

• finished work on trace-reader

  

  eric.bodden

  committed
  543e68f

  Copy full SHA for 543e68f

• .

  

  eric.bodden

  committed
  22e2e4c

  Copy full SHA for 22e2e4c

• double-checked implementation of timers, which is now fully working

  

  eric.bodden

  committed
  73d685d

  Copy full SHA for 73d685d

Commits on Jul 31, 2012

• correcting template for "full state set" abstraction

  

  eric.bodden

  committed
  6a17a37

  Copy full SHA for 6a17a37

• fix for handling of bindings: on abstracted events we typically do not know whether those events relate to the same object or not; hence assume that we could also have remained in the same state

  

  eric.bodden

  committed
  853df4c

  Copy full SHA for 853df4c

• .

  

  eric.bodden

  committed
  6b98e13

  Copy full SHA for 6b98e13

• new abstraction: symbol sets

  

  eric.bodden

  committed
  8ec15fd

  Copy full SHA for 8ec15fd

Commits on Jan 19, 2012

• correcting example

  

  eric.bodden

  committed
  89a321e

  Copy full SHA for 89a321e

• Adding HelloWorld examples

  

  eric.bodden

  committed
  2b63854

  Copy full SHA for 2b63854

Commits on Jan 10, 2012

• fix

  

  eric.bodden

  committed
  9e33f2c

  Copy full SHA for 9e33f2c

• treatment for bindings by intersection

  

  eric.bodden

  committed
  a7de378

  Copy full SHA for a7de378

• Test cases

  

  eric.bodden

  committed
  e999e37

  Copy full SHA for e999e37

• test case

  

  eric.bodden

  committed
  70b17b6

  Copy full SHA for 70b17b6

• simplified the interface

  

  eric.bodden

  committed
  92a7e3e

  Copy full SHA for 92a7e3e

• implemented conditional event dispatch

  

  eric.bodden

  committed
  dd5d4af

  Copy full SHA for dd5d4af

Commits on Jan 3, 2012

• improved toString

  

  eric.bodden

  committed
  d27f711

  Copy full SHA for d27f711

• comments

  

  eric.bodden

  committed
  378647d

  Copy full SHA for 378647d

Pagination

Previous

Next