Commits

Breadcrumbs

History for

onthreads

User selector

All users

All time

Commit History

Commits on Jan 15, 2016

• update copyright for all k files

  Show description for 7a4d30e
  cos

  committed
  7a4d30e

  Copy full SHA for 7a4d30e

Commits on Apr 29, 2015

• removed [trusted] tag from bubble sort spec

  Show description for 5ea02e2
  andreistefanescu

  committed
  5ea02e2

  Copy full SHA for 5ea02e2

Commits on Jan 2, 2015

• update copyright for 2015 + update copyright on often-modified files

  Show description for 978c82c
  

  Dwight Guth

  committed
  978c82c

  Copy full SHA for 978c82c

Commits on Nov 28, 2014

• addressed Yilong's comments

  Show description for 97813b1
  andreistefanescu

  committed
  97813b1

  Copy full SHA for 97813b1

Commits on Nov 26, 2014

• adjusted specifications

  Show description for e3c4df1
  andreistefanescu

  committed
  e3c4df1

  Copy full SHA for e3c4df1

Commits on Nov 18, 2014

• fixed bubble sort spec

  Show description for 739f51c
  andreistefanescu

  committed
  739f51c

  Copy full SHA for 739f51c

Commits on Oct 15, 2014

• Merge remote-tracking branch 'upstream/master'

  Show description for ab348d2
  andreistefanescu

  committed
  ab348d2

  Copy full SHA for ab348d2

• Merge pull request #1060 from osa1/more-parallel-ktest

  Show description for bdafd31
  osa1

  committed
  bdafd31

  Copy full SHA for bdafd31

Commits on Oct 13, 2014

• Merge remote-tracking branch 'upstream/master'

  Show description for 55445a8
  andreistefanescu

  committed
  55445a8

  Copy full SHA for 55445a8

• remove some redundant kompile steps

  Show description for be12250
  osa1

  committed
  be12250

  Copy full SHA for be12250

Commits on Oct 11, 2014

• forgot to remove merge_sort example from exclude list

  Show description for 840f149
  

  Yilong Li

  committed
  840f149

  Copy full SHA for 840f149

Commits on Oct 9, 2014

• Merge remote-tracking branch 'upstream/master'

  Show description for 6cc432a
  andreistefanescu

  committed
  6cc432a

  Copy full SHA for 6cc432a

• made the prover more deterministic; uncommented the merge_sort example

  Show description for d75d8f8
  

  Yilong Li

  committed
  d75d8f8

  Copy full SHA for d75d8f8

• Merge remote-tracking branch 'upstream/master'

  Show description for dfbedb7
  andreistefanescu

  committed
  dfbedb7

  Copy full SHA for dfbedb7

• comment-out problematic test case

  Show description for cda29aa
  osa1

  committed
  cda29aa

  Copy full SHA for cda29aa

Commits on Oct 8, 2014

• list examples work with List instead of IntSeq; progress on tree examples

  Show description for fae9ca0
  andreistefanescu

  committed
  fae9ca0

  Copy full SHA for fae9ca0

Commits on Sep 25, 2014

• rename files

  Show description for 903b9a2
  

  Dwight Guth

  committed
  903b9a2

  Copy full SHA for 903b9a2

Loading