Programming Languages Research Group: Git

2012-09-11	Brian Demsky	model: some bug fixes to the model checker	commit \| commitdiff \| tree
2012-09-11	Brian Demsky	linuxrwlocks: two bug fixes; guess the model checker...	commit \| commitdiff \| tree
2012-09-11	Brian Demsky	model: bug fixes to new code	commit \| commitdiff \| tree
2012-09-11	Brian Demsky	cyclegraph: support rolling back changes	commit \| commitdiff \| tree
2012-09-07	Brian Demsky	changes	commit \| commitdiff \| tree
2012-09-07	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree
2012-09-07	Brian Demsky	changes	commit \| commitdiff \| tree
2012-09-06	Brian Demsky	working towards making datarace detection work	commit \| commitdiff \| tree
2012-09-05	Brian Demsky	bug in race detector	commit \| commitdiff \| tree
2012-09-05	Brian Demsky	another example	commit \| commitdiff \| tree
2012-08-04	Brian Demsky	add a todo flag to a comment so it won't get lost....	commit \| commitdiff \| tree
2012-08-02	Brian Demsky	bug fix	commit \| commitdiff \| tree
2012-08-02	Brian Demsky	forgot about events that happen after an unresolved...	commit \| commitdiff \| tree
2012-08-02	Brian Demsky	change test case to match nice one from spec... it...	commit \| commitdiff \| tree
2012-08-02	Brian Demsky	bugs...	commit \| commitdiff \| tree
2012-08-02	Brian Demsky	add some comments	commit \| commitdiff \| tree
2012-08-02	Brian Demsky	standardize names a little	commit \| commitdiff \| tree
2012-08-02	Brian Demsky	okay...known bugs for my trivial test are out of send...	commit \| commitdiff \| tree
2012-08-02	Brian Demsky	finish promise support	commit \| commitdiff \| tree
2012-08-02	Brian Demsky	more changes towards keeping track of promises resolved...	commit \| commitdiff \| tree
2012-08-02	Brian Demsky	changes	commit \| commitdiff \| tree
2012-08-02	Brian Demsky	some changes towards reading from future writes	commit \| commitdiff \| tree
2012-08-02	Brian Demsky	move more configurables and add documentation	commit \| commitdiff \| tree
2012-08-02	Brian Demsky	more hashtable fixes	commit \| commitdiff \| tree
2012-08-02	Brian Demsky	fix some allocation/free bugs when we put non objects...	commit \| commitdiff \| tree
2012-08-02	Brian Demsky	fix my todo comments so they appear in documentation	commit \| commitdiff \| tree
2012-08-02	Brian Demsky	switch everything over to our own hashtable	commit \| commitdiff \| tree
2012-08-02	Brian Demsky	hashtable: make more flexible	commit \| commitdiff \| tree
2012-08-02	Brian Demsky	Add documentation	commit \| commitdiff \| tree
2012-08-02	Brian Demsky	rmw example works	commit \| commitdiff \| tree
2012-08-02	Brian Demsky	towards making rmw work...	commit \| commitdiff \| tree
2012-08-02	Brian Demsky	remove libatomic	commit \| commitdiff \| tree
2012-08-02	Brian Demsky	don't forget this file	commit \| commitdiff \| tree
2012-08-02	Brian Demsky	split these defs out of other stuff	commit \| commitdiff \| tree
2012-08-02	Brian Demsky	switch rest over to model checker... might work now	commit \| commitdiff \| tree
2012-08-02	Brian Demsky	fix missing atomic...	commit \| commitdiff \| tree
2012-08-02	Brian Demsky	rewrite macros	commit \| commitdiff \| tree
2012-08-02	Brian Demsky	import header file from specification	commit \| commitdiff \| tree
2012-08-02	Brian Demsky	Add RMW support to core.	commit \| commitdiff \| tree
2012-08-02	Brian Demsky	small changes (things still work) towards support RMW	commit \| commitdiff \| tree
2012-08-02	Brian Demsky	trying to get fork based snapshotting to work	commit \| commitdiff \| tree
2012-07-31	Brian Demsky	toss a place for useful information	commit \| commitdiff \| tree
2012-07-31	Brian Demsky	print less stuff	commit \| commitdiff \| tree
2012-07-31	Brian Demsky	model: add support for modification orders	commit \| commitdiff \| tree
2012-07-31	Brian Demsky	Add basic reads from support	commit \| commitdiff \| tree
2012-07-17	Brian Demsky	Make stack popping explicit.	commit \| commitdiff \| tree
2012-07-17	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree
2012-07-17	Brian Demsky	remove dead code... loop entrance condition is i<backtrack...	commit \| commitdiff \| tree
2012-07-16	Brian Demsky	no need to store into the object field... this will...	commit \| commitdiff \| tree
2012-07-16	Brian Demsky	really should be using a type that is big enough for...	commit \| commitdiff \| tree
2012-07-13	Brian Demsky	the initialized logic appears to be wrong... release...	commit \| commitdiff \| tree
2012-07-11	Brian Demsky	bug	commit \| commitdiff \| tree
2012-07-11	Brian Demsky	documentation	commit \| commitdiff \| tree
2012-07-10	Brian Demsky	fix bug	commit \| commitdiff \| tree
2012-07-10	Brian Demsky	hook up the race detector...	commit \| commitdiff \| tree
2012-07-07	Brian Demsky	changes	commit \| commitdiff \| tree
2012-07-06	Brian Demsky	add forgetten file	commit \| commitdiff \| tree
2012-07-06	Brian Demsky	add support for datarace detection...	commit \| commitdiff \| tree
2012-07-03	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree
2012-06-18	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree
2012-06-18	Brian Demsky	builds	commit \| commitdiff \| tree
2012-06-17	Brian Demsky	add hashtable	commit \| commitdiff \| tree
2012-06-15	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree
2012-06-15	Brian Demsky	subramanian lied when he said he fixed these...	commit \| commitdiff \| tree
2012-06-06	Brian Demsky	more comments	commit \| commitdiff \| tree
2012-06-06	Brian Demsky	more doc changes	commit \| commitdiff \| tree
2012-06-06	Brian Demsky	more documentation	commit \| commitdiff \| tree
2012-06-06	Brian Demsky	1) Add more comments.	commit \| commitdiff \| tree
2012-06-06	Brian Demsky	more documentation	commit \| commitdiff \| tree
2012-06-06	Brian Demsky	more docs	commit \| commitdiff \| tree
2012-06-06	Brian Demsky	add support for docs	commit \| commitdiff \| tree
2012-06-04	Brian Demsky	Changes needed to run on OS X... Example runs on my...	commit \| commitdiff \| tree
2012-06-04	Brian Demsky	hack some stuff towards running on mac... unrelated...	commit \| commitdiff \| tree
2012-05-30	Brian Demsky	check in message	commit \| commitdiff \| tree
2012-05-30	Brian Demsky	fix bug...this is another evil one...	commit \| commitdiff \| tree
2012-05-24	Brian Demsky	wow, this is a nasty bug...	commit \| commitdiff \| tree
2012-05-24	Brian Demsky	fix one segfault bug...something is still strange,...	commit \| commitdiff \| tree
2012-05-24	Brian Demsky	factor page alignment into function call...place near...	commit \| commitdiff \| tree
2012-05-24	Brian Demsky	fix page alignment issue...	commit \| commitdiff \| tree
2012-05-21	Brian Demsky	remove lines from other files	commit \| commitdiff \| tree
2012-05-21	Brian Demsky	Found new way to fix emacs issue.. There are directory...	commit \| commitdiff \| tree
2012-05-21	Brian Demsky	fix various problems with my 64-bit clean hack	commit \| commitdiff \| tree
2012-05-21	Brian Demsky	fix code to be 64 bit clean	commit \| commitdiff \| tree
2012-05-21	Brian Demsky	switch back to norris style spacing in changed files	commit \| commitdiff \| tree
2012-05-19	Brian Demsky	remove unused #define	commit \| commitdiff \| tree
2012-05-19	Brian Demsky	my changes	commit \| commitdiff \| tree
2012-05-19	Brian Demsky	let us set the size of the heap in a sane way	commit \| commitdiff \| tree
2012-05-19	Brian Demsky	setup main wrapper and then call into norris code	commit \| commitdiff \| tree
2012-05-19	Brian Demsky	get rid of redundant mallocs	commit \| commitdiff \| tree
2012-05-18	Brian Demsky	transfer stuff	commit \| commitdiff \| tree
2012-05-18	Brian Demsky	makefile	commit \| commitdiff \| tree
2012-05-18	Brian Demsky	merging stuff...made need to clean up some stuff.....	commit \| commitdiff \| tree

C++11 memory model checker

RSS Atom