October 13, 2017
View da671f7

Fix snapshot code

bdemsky authored on 13/10/2017 05:29:13
November 24, 2016
View 01f8364

Work around changes in newer versions of glibc

bdemsky authored on 24/11/2016 20:40:03
February 24, 2016
View 178fa56

bug in fence support fixed

bdemsky authored on 24/02/2016 00:07:39
December 17, 2015
View 3897cb4

Increase size of bootstrap bytes as some Linux distributions need more space.

bdemsky authored on 17/12/2015 08:37:52
September 9, 2015
View 042d2f1

edits

Peizhao Ou authored on 09/09/2015 18:47:28
August 4, 2015
View a65e234

Add SCFence analysis

bdemsky authored on 04/08/2015 18:22:44
June 22, 2015
View 7c51087

bug fix for atomic adds/subtracts on pointers

bdemsky authored on 22/06/2015 18:47:36
April 9, 2015
View daa5636

move thread stack to thread allocator

bdemsky authored on 09/04/2015 06:03:47
July 18, 2014
View 88fb552

SC Reads can read from things mo'd before the last sc write, they just can't happen before it

bdemsky authored on 18/07/2014 21:59:59
May 6, 2014
View a2e3283

Bug fixes from running Coverity

bdemsky authored on 06/05/2014 20:13:36
View 6a5a3a8

fix signed/unsigned warning

bdemsky authored on 06/05/2014 17:25:57
April 16, 2014
View 3fe3c73

bug fix with missing coherence condition for promises

bdemsky authored on 16/04/2014 22:01:00
January 25, 2014
View 6014243

Bug fix for broken treatment of promises + coherence based pruning to regain pruning lost by bug fix

bdemsky authored on 25/01/2014 22:11:22
View e79a7cd

Support for -x option

bdemsky authored on 25/01/2014 22:07:08
View 2d0d4ac

Annotation Support

bdemsky authored on 25/01/2014 22:04:13