November 24, 2016
View 01f8364

Work around changes in newer versions of glibc

bdemsky authored on 24/11/2016 20:40:03
August 4, 2015
View a65e234

Add SCFence analysis

bdemsky authored on 04/08/2015 18:22:44
May 6, 2014
View a2e3283

Bug fixes from running Coverity

bdemsky authored on 06/05/2014 20:13:36
January 25, 2014
View e79a7cd

Support for -x option

bdemsky authored on 25/01/2014 22:07:08
August 13, 2013
View 698f619

main: suggest thrd_yield() for -y fairness

Brian Norris authored on 13/08/2013 22:42:47
May 31, 2013
View 251c631

params: add multi-level verbosity

Brian Norris authored on 31/05/2013 23:45:42
May 29, 2013
View 0a509f7

main: 'plug ins' -> 'plugins'

Brian Norris authored on 29/05/2013 01:05:00
May 6, 2013
View 4a0000d

typos

Brian Demsky authored on 06/05/2013 23:32:41
View a4d3f2a

cleanup plugin interface a little more. add support for options for SCAnalysis

Brian Demsky authored on 06/05/2013 20:06:53
View f3359dd

add support for analysis with options

Brian Demsky authored on 06/05/2013 10:05:50
View b090a4a

add traceanalysis support

Brian Demsky authored on 06/05/2013 09:50:49
April 18, 2013
View 50e0465

Add yield block support. The idea is to not generate executions with yield actions.

Brian Demsky authored on 18/04/2013 21:53:58
April 17, 2013
View 85d19a9

main: support long options, improve help message

Brian Norris authored on 17/04/2013 19:42:14
April 16, 2013
View bde0542

scanalysis: install ModelExecution object in the analysis

Brian Norris authored on 16/04/2013 02:19:16
April 15, 2013
View 56596a2

params: move model_params to header file

Brian Norris authored on 15/04/2013 07:02:58