Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 3, 2010

• Replace all equality comparisons with calls to bitwise_eq

  pcc

  committed
  e614d74

  Copy full SHA for e614d74

Commits on Jul 15, 2010

• Merge branch 'master' of ssh://[email protected]/~peter/public_git/klee-opencv

  

  Cristian Cadar

  committed
  69fb1eb

  Copy full SHA for 69fb1eb

• Added mismatch count to stereobm

  

  Cristian Cadar

  committed
  b6249cb

  Copy full SHA for b6249cb

Commits on Jul 12, 2010

• Add SSE count monitors for all benchmarks

  

  Peter Collingbourne

  committed
  696e5d6

  Copy full SHA for 696e5d6

Commits on Jul 9, 2010

• Add command line arguments to stereobm

  

  Peter Collingbourne

  committed
  5edccc5

  Copy full SHA for 5edccc5

Commits on Jul 8, 2010

• Changes to concrete verstions of filter and stereobm

  

  Cristian Cadar

  committed
  6d1e5f7

  Copy full SHA for 6d1e5f7

• Pushed a concrete version of stereobm.cpp that uses random data.

  Show description for 5adfb47
  

  Cristian Cadar

  committed
  5adfb47

  Copy full SHA for 5adfb47

Commits on Jul 2, 2010

• stdio.h required on recent gcc

  pcc

  committed
  d743524

  Copy full SHA for d743524

• Play with some parameters to stereobm

  

  Peter Collingbourne

  committed
  cf0bfbe

  Copy full SHA for cf0bfbe

Commits on Jun 30, 2010

• Add concrete variant of stereobm and support in the makefile

  

  Peter Collingbourne

  committed
  910b8b0

  Copy full SHA for 910b8b0

• duh

  

  Peter Collingbourne

  committed
  6fa9ae9

  Copy full SHA for 6fa9ae9

• Fixes to run the benchmark

  

  Peter Collingbourne

  committed
  6813ca7

  Copy full SHA for 6813ca7

• Add stereobm benchmark

  pcc

  committed
  f9276c3

  Copy full SHA for f9276c3

Loading