Programming Languages Research Group: Git - model-checker.git/history

2013-08-14	Brian Norris	Makefile: add README.pdf target	blob \| commitdiff \| raw
2013-06-04	Brian Norris	Merge branch 'markdown'	blob \| commitdiff \| raw \| diff to current
2013-06-02	Brian Norris	README: convert to Markdown format	blob \| commitdiff \| raw \| diff to current
2013-05-29	Brian Norris	Merge remote-tracking branch 'origin/master'	blob \| commitdiff \| raw \| diff to current
2013-05-29	Brian Norris	Makefile: remove more deferred variables	blob \| commitdiff \| raw \| diff to current
2013-05-06	Brian Demsky	add traceanalysis support	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	Merge cleanup branch	blob \| commitdiff \| raw \| diff to current
2013-04-16	Brian Norris	BROKEN: restructure much of ModelChecker as ModelExecut...	blob \| commitdiff \| raw \| diff to current
2013-04-13	Brian Demsky	add some support for traceanalysis plugins	blob \| commitdiff \| raw \| diff to current
2013-04-04	Brian Norris	context: move Mac swapcontext() to separate compilation...	blob \| commitdiff \| raw \| diff to current
2013-03-05	Brian Norris	Makefile: use $+ variable	blob \| commitdiff \| raw \| diff to current
2013-02-12	Brian Norris	Merge branch 'fences'	blob \| commitdiff \| raw \| diff to current
2013-02-06	Brian Norris	Makefile / git: cleanup generated .dot and .pdf files	blob \| commitdiff \| raw \| diff to current
2013-02-06	Brian Norris	Makfile: add 'make pdfs' target to build PDF from ...	blob \| commitdiff \| raw \| diff to current
2012-12-06	Brian Norris	Makefile: build dependencies in .*.o.d files	blob \| commitdiff \| raw \| diff to current
2012-12-06	Brian Norris	Makefile: rename variable to be more clear	blob \| commitdiff \| raw \| diff to current
2012-11-30	Brian Norris	Makefile: fix dependency generation	blob \| commitdiff \| raw \| diff to current
2012-11-01	Brian Demsky	fix new bug	blob \| commitdiff \| raw \| diff to current
2012-10-29	Brian Norris	Makefile/malloc: don't warn for self-assign	blob \| commitdiff \| raw \| diff to current
2012-10-29	Brian Norris	Makefile: use -rdyanmic only for linking	blob \| commitdiff \| raw \| diff to current
2012-10-12	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2012-10-11	Brian Demsky	compiles with condition variables file added...	blob \| commitdiff \| raw \| diff to current
2012-10-10	Brian Norris	Makefile: add benchmarks to top-level	blob \| commitdiff \| raw \| diff to current
2012-10-04	Brian Demsky	local commit... bug that prunes too many executions	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Demsky	Merge branch 'master' of /home/git/model-checker	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Norris	Makefile: eliminate malloc.c warning	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Demsky	mspace_malloc will call into mmap if it runs out of...	blob \| commitdiff \| raw \| diff to current
2012-09-27	Brian Norris	docs: move to subdirectory	blob \| commitdiff \| raw \| diff to current
2012-09-20	Brian Norris	Makefile: move common Mac flags to common.mk	blob \| commitdiff \| raw \| diff to current
2012-09-19	Brian Demsky	fix	blob \| commitdiff \| raw \| diff to current
2012-09-18	Brian Demsky	Merge branch 'master' into mutex	blob \| commitdiff \| raw \| diff to current
2012-09-18	Brian Demsky	start towards adding support for mutexes	blob \| commitdiff \| raw \| diff to current
2012-09-14	Brian Norris	Merge branch 'norris'	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Norris	Makefile: add PHONY targets	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Norris	Revert "Makefile: don't always rebuild make.deps"	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Norris	common: add print_trace() for backtracing	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Norris	Makefile: don't always rebuild make.deps	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Norris	Merge remote-tracking branch 'origin/makefile'	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Norris	Makefile: fixup Mac dependencies	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Demsky	missing changes	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Demsky	separate out rmw actions	blob \| commitdiff \| raw \| diff to current
2012-08-20	Brian Norris	promise: rewrite into a simpler header file	blob \| commitdiff \| raw \| diff to current
2012-08-20	Brian Norris	Makefile: rewrite header dependencies	blob \| commitdiff \| raw \| diff to current
2012-08-03	Brian Norris	Makefile: fix config.h dependencies	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Norris	Merge branch 'brian'	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Norris	Makefile: wire up test/ directory for compilation	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Norris	Makefile: split part into a common makefile (common.mk)	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Norris	Makefile: don't build userprog.c from top level	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Demsky	some changes towards reading from future writes	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Demsky	remove libatomic	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Norris	pull in most of atomic header file	blob \| commitdiff \| raw \| diff to current
2012-07-17	Brian Norris	config: automatically determine BIT48	blob \| commitdiff \| raw \| diff to current
2012-07-06	Brian Demsky	add support for datarace detection...	blob \| commitdiff \| raw \| diff to current
2012-07-03	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2012-07-03	Brian Norris	Merge branch 'brian'	blob \| commitdiff \| raw \| diff to current
2012-07-03	Brian Norris	Makefile: compile *.cc separately	blob \| commitdiff \| raw \| diff to current
2012-06-21	Subramanian Ganapathy	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2012-06-21	Brian Norris	Merge branch 'sandbox' (remove finalize())	blob \| commitdiff \| raw \| diff to current
2012-06-18	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2012-06-18	Brian Demsky	builds	blob \| commitdiff \| raw \| diff to current
2012-06-15	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2012-06-15	Brian Norris	Makefile: force `make docs' to depend on all source...	blob \| commitdiff \| raw \| diff to current
2012-06-14	Subramanian Ganapathy	fixing calloc(), fix Makefile	blob \| commitdiff \| raw \| diff to current
2012-06-06	Brian Norris	Makefile: have `mrclean' depend on `clean'	blob \| commitdiff \| raw \| diff to current
2012-06-06	Brian Demsky	add support for docs	blob \| commitdiff \| raw \| diff to current
2012-06-04	Brian Demsky	hack some stuff towards running on mac... unrelated...	blob \| commitdiff \| raw \| diff to current
2012-05-30	Subramanian Ganapathy	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2012-05-26	Brian Norris	Makefile: add 'make debug'	blob \| commitdiff \| raw \| diff to current
2012-05-21	Brian Norris	Merge commit: branch 'work'	blob \| commitdiff \| raw \| diff to current
2012-05-21	Brian Norris	Makefile: only build a single shared library	blob \| commitdiff \| raw \| diff to current
2012-05-21	Brian Norris	Makefile: clean up Makefile	blob \| commitdiff \| raw \| diff to current
2012-05-21	Brian Norris	Makfile: remove MEMCPPFLAGS, more uniform command format	blob \| commitdiff \| raw \| diff to current
2012-05-21	Brian Norris	Makfile: fix linking error + remove EOL whitespace	blob \| commitdiff \| raw \| diff to current
2012-05-19	Brian Demsky	get rid of redundant mallocs	blob \| commitdiff \| raw \| diff to current
2012-05-18	Brian Demsky	makefile	blob \| commitdiff \| raw \| diff to current
2012-05-18	Brian Demsky	merging stuff...made need to clean up some stuff.....	blob \| commitdiff \| raw \| diff to current
2012-05-15	Brian Norris	tree: kill class TreeNode	blob \| commitdiff \| raw \| diff to current
2012-05-14	Brian Norris	nodestack: add class NodeStack and class Node	blob \| commitdiff \| raw \| diff to current
2012-05-10	Subramanian Ganapathy	Adding support to return global segments of the process...	blob \| commitdiff \| raw \| diff to current
2012-05-09	Subramanian Ganapathy	Adding STL stuff and operator news of snapshot to model...	blob \| commitdiff \| raw \| diff to current
2012-05-08	Brian Norris	clockvector: add ClockVector class	blob \| commitdiff \| raw \| diff to current
2012-05-08	Brian Norris	action: split ModelAction off into action.cc	blob \| commitdiff \| raw \| diff to current
2012-05-08	Brian Norris	main: split main() (and related functions) into main.cc	blob \| commitdiff \| raw \| diff to current
2012-04-30	Brian Norris	split header out to action.h	blob \| commitdiff \| raw \| diff to current
2012-04-25	Brian Norris	librace: add load/store interface for checking data...	blob \| commitdiff \| raw \| diff to current
2012-04-24	Brian Norris	Makefile: build model checker as shared library (libmod...	blob \| commitdiff \| raw \| diff to current
2012-04-18	Brian Norris	tree: add class TreeNode	blob \| commitdiff \| raw \| diff to current
2012-04-17	Brian Norris	rename threads_internal.h -> threads.h	blob \| commitdiff \| raw \| diff to current
2012-04-16	Brian Norris	rename binary: libthreads -> model	blob \| commitdiff \| raw \| diff to current
2012-04-16	Brian Norris	libthreads: split into libthreads and threads	blob \| commitdiff \| raw \| diff to current
2012-04-16	Brian Norris	Makefile: add debug compilation flag	blob \| commitdiff \| raw \| diff to current
2012-04-10	Brian Norris	threads_internal: add 'thread_switch_to_master()' inter...	blob \| commitdiff \| raw \| diff to current
2012-04-05	Brian Norris	malloc: add myMalloc() and myFree()	blob \| commitdiff \| raw \| diff to current
2012-03-14	Brian Norris	rename other .c to .cc	blob \| commitdiff \| raw \| diff to current
2012-03-14	Brian Norris	schedule: move schedule.c --> schedule.cc	blob \| commitdiff \| raw \| diff to current
2012-03-14	Brian Norris	model: move model.c --> model.cc	blob \| commitdiff \| raw \| diff to current
2012-03-14	Brian Norris	Makefile: switch to C++ builds	blob \| commitdiff \| raw \| diff to current
2012-03-10	Brian Norris	model: add stub model.[hc] files	blob \| commitdiff \| raw \| diff to current
2012-03-10	Brian Norris	userprog: separate test 'program' out to userprog.c	blob \| commitdiff \| raw \| diff to current
2012-03-10	Brian Norris	libatomic: add stub atomic lib header/source	blob \| commitdiff \| raw \| diff to current
next

C++11 memory model checker

RSS Atom