execution: embed action_list as full member
[model-checker.git] / Makefile
2013-04-16 Brian NorrisMerge cleanup branch
2013-04-16 Brian NorrisBROKEN: restructure much of ModelChecker as ModelExecut...
2013-04-13 Brian Demskyadd some support for traceanalysis plugins
2013-04-04 Brian Norriscontext: move Mac swapcontext() to separate compilation...
2013-03-05 Brian NorrisMakefile: use $+ variable
2013-02-12 Brian NorrisMerge branch 'fences'
2013-02-06 Brian NorrisMakefile / git: cleanup generated .dot and .pdf files
2013-02-06 Brian NorrisMakfile: add 'make pdfs' target to build PDF from ...
2012-12-06 Brian NorrisMakefile: build dependencies in .*.o.d files
2012-12-06 Brian NorrisMakefile: rename variable to be more clear
2012-11-30 Brian NorrisMakefile: fix dependency generation
2012-11-01 Brian Demskyfix new bug
2012-10-29 Brian NorrisMakefile/malloc: don't warn for self-assign
2012-10-29 Brian NorrisMakefile: use -rdyanmic only for linking
2012-10-12 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-10-11 Brian Demskycompiles with condition variables file added...
2012-10-10 Brian NorrisMakefile: add benchmarks to top-level
2012-10-04 Brian Demskylocal commit... bug that prunes too many executions
2012-10-03 Brian DemskyMerge branch 'master' of /home/git/model-checker
2012-10-03 Brian NorrisMakefile: eliminate malloc.c warning
2012-10-03 Brian Demskymspace_malloc will call into mmap if it runs out of...
2012-09-27 Brian Norrisdocs: move to subdirectory
2012-09-20 Brian NorrisMakefile: move common Mac flags to common.mk
2012-09-19 Brian Demskyfix
2012-09-18 Brian DemskyMerge branch 'master' into mutex
2012-09-18 Brian Demskystart towards adding support for mutexes
2012-09-14 Brian NorrisMerge branch 'norris'
2012-09-13 Brian NorrisMakefile: add PHONY targets
2012-09-13 Brian NorrisRevert "Makefile: don't always rebuild make.deps"
2012-09-13 Brian Norriscommon: add print_trace() for backtracing
2012-09-13 Brian NorrisMakefile: don't always rebuild make.deps
2012-09-13 Brian NorrisMerge remote-tracking branch 'origin/makefile'
2012-09-13 Brian NorrisMakefile: fixup Mac dependencies
2012-09-13 Brian Demskymissing changes
2012-09-13 Brian Demskyseparate out rmw actions
2012-08-20 Brian Norrispromise: rewrite into a simpler header file
2012-08-20 Brian NorrisMakefile: rewrite header dependencies
2012-08-03 Brian NorrisMakefile: fix config.h dependencies
2012-08-02 Brian NorrisMerge branch 'brian'
2012-08-02 Brian NorrisMakefile: wire up test/ directory for compilation
2012-08-02 Brian NorrisMakefile: split part into a common makefile (common.mk)
2012-08-02 Brian NorrisMakefile: don't build userprog.c from top level
2012-08-02 Brian Demskysome changes towards reading from future writes
2012-08-02 Brian Demskyremove libatomic
2012-08-02 Brian Norrispull in most of atomic header file
2012-07-17 Brian Norrisconfig: automatically determine BIT48
2012-07-06 Brian Demskyadd support for datarace detection...
2012-07-03 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-07-03 Brian NorrisMerge branch 'brian'
2012-07-03 Brian NorrisMakefile: compile *.cc separately
2012-06-21 Subramanian GanapathyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-06-21 Brian NorrisMerge branch 'sandbox' (remove finalize())
2012-06-18 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-06-18 Brian Demskybuilds
2012-06-15 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-06-15 Brian NorrisMakefile: force `make docs' to depend on all source...
2012-06-14 Subramanian Ganapathyfixing calloc(), fix Makefile
2012-06-06 Brian NorrisMakefile: have `mrclean' depend on `clean'
2012-06-06 Brian Demskyadd support for docs
2012-06-04 Brian Demskyhack some stuff towards running on mac... unrelated...
2012-05-30 Subramanian GanapathyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-05-26 Brian NorrisMakefile: add 'make debug'
2012-05-21 Brian NorrisMerge commit: branch 'work'
2012-05-21 Brian NorrisMakefile: only build a single shared library
2012-05-21 Brian NorrisMakefile: clean up Makefile
2012-05-21 Brian NorrisMakfile: remove MEMCPPFLAGS, more uniform command format
2012-05-21 Brian NorrisMakfile: fix linking error + remove EOL whitespace
2012-05-19 Brian Demskyget rid of redundant mallocs
2012-05-18 Brian Demskymakefile
2012-05-18 Brian Demskymerging stuff...made need to clean up some stuff.....
2012-05-15 Brian Norristree: kill class TreeNode
2012-05-14 Brian Norrisnodestack: add class NodeStack and class Node
2012-05-10 Subramanian GanapathyAdding support to return global segments of the process...
2012-05-09 Subramanian GanapathyAdding STL stuff and operator news of snapshot to model...
2012-05-08 Brian Norrisclockvector: add ClockVector class
2012-05-08 Brian Norrisaction: split ModelAction off into action.cc
2012-05-08 Brian Norrismain: split main() (and related functions) into main.cc
2012-04-30 Brian Norrissplit header out to action.h
2012-04-25 Brian Norrislibrace: add load/store interface for checking data...
2012-04-24 Brian NorrisMakefile: build model checker as shared library (libmod...
2012-04-18 Brian Norristree: add class TreeNode
2012-04-17 Brian Norrisrename threads_internal.h -> threads.h
2012-04-16 Brian Norrisrename binary: libthreads -> model
2012-04-16 Brian Norrislibthreads: split into libthreads and threads
2012-04-16 Brian NorrisMakefile: add debug compilation flag
2012-04-10 Brian Norristhreads_internal: add 'thread_switch_to_master()' inter...
2012-04-05 Brian Norrismalloc: add myMalloc() and myFree()
2012-03-14 Brian Norrisrename other *.c to *.cc
2012-03-14 Brian Norrisschedule: move schedule.c --> schedule.cc
2012-03-14 Brian Norrismodel: move model.c --> model.cc
2012-03-14 Brian NorrisMakefile: switch to C++ builds
2012-03-10 Brian Norrismodel: add stub model.[hc] files
2012-03-10 Brian Norrisuserprog: separate test 'program' out to userprog.c
2012-03-10 Brian Norrislibatomic: add stub atomic lib header/source
2012-03-10 Brian NorrisMakefile: turn on all warnings
2012-03-10 Brian NorrisMakefile: use ${CC} instead of hardcoding gcc
2012-03-10 Brian Norriscommon.h: move common code (non-user) to header
2012-03-09 Brian Norrisschedule: add scheduler, thread_yield(), etc.
2012-03-09 Brian Norrisadd "make tags" (using `ctags`)
2012-03-08 Brian Norrislibthreads: create header file
next