Programming Languages Research Group: Git

2005-10-02	bdemsky	Quantifier bugs.	commit \| commitdiff \| tree
2005-10-02	bdemsky	Quantifiers use relations!!!	commit \| commitdiff \| tree
2005-09-30	bdemsky	Small changes to allow:	commit \| commitdiff \| tree
2005-09-30	bdemsky	Name typedefs	commit \| commitdiff \| tree
2005-06-02	bdemsky	Rewrote safetransclosure method so its obvious it is...	commit \| commitdiff \| tree
2005-06-01	bdemsky	Small improvement.	commit \| commitdiff \| tree
2005-06-01	bdemsky	Fixed transitive closure computation.	commit \| commitdiff \| tree
2005-05-31	bdemsky	Added more comments. Fixed some bugs.	commit \| commitdiff \| tree
2005-02-20	bdemsky	Make merging nodes an option.	commit \| commitdiff \| tree
2005-02-20	bdemsky	Make merging nodes an option.	commit \| commitdiff \| tree
2005-02-04	bdemsky	Options to print prettier graphs...	commit \| commitdiff \| tree
2005-01-24	bdemsky	Committing pretty printer fix.	commit \| commitdiff \| tree
2004-12-09	bdemsky	update readme	commit \| commitdiff \| tree
2004-12-09	bdemsky	add simple file benchmark for users.	commit \| commitdiff \| tree
2004-11-10	bdemsky	1) Fixed some bugs in the redblack tree implementation...	commit \| commitdiff \| tree
2004-11-09	bdemsky	Fixed some bugs...	commit \| commitdiff \| tree
2004-11-09	bdemsky	Forgot to do the replacement	commit \| commitdiff \| tree
2004-11-09	bdemsky	Adding Daikon related stuff.	commit \| commitdiff \| tree
2004-11-09	bdemsky	Added support for dynamically allocated arrays.	commit \| commitdiff \| tree
2004-11-09	bdemsky	Updates to check in.	commit \| commitdiff \| tree
2004-11-08	bdemsky	Improved termination analysis so that daikon generated...	commit \| commitdiff \| tree
2004-11-07	bdemsky	Some embarrassing erros. The DNF conversion for negation...	commit \| commitdiff \| tree
2004-11-02	bdemsky	Fix grammar and Sum bug.	commit \| commitdiff \| tree
2004-11-02	bdemsky	Generalize definition of SumExpr a little...Lets sum...	commit \| commitdiff \| tree
2004-11-01	bdemsky	Fixed a memory leak in the runtime...Print neater text.	commit \| commitdiff \| tree
2004-11-01	bdemsky	bug..forgot to return value	commit \| commitdiff \| tree
2004-11-01	bdemsky	Various bug fixes related to the C switch.	commit \| commitdiff \| tree
2004-10-30	bdemsky	Accidentally checked this file in...removing it now.	commit \| commitdiff \| tree
2004-10-30	bdemsky	Completed support for generating C code.	commit \| commitdiff \| tree
2004-10-30	bdemsky	Checking in changes that:	commit \| commitdiff \| tree
2004-10-28	bdemsky	revert runtime file.	commit \| commitdiff \| tree
2004-10-28	bdemsky	Revert changes.	commit \| commitdiff \| tree
2004-10-28	bdemsky	Accidentally checked in code.	commit \| commitdiff \| tree
2004-10-28	bdemsky	Checking in C runtime.	commit \| commitdiff \| tree
2004-10-28	bdemsky	New C Runtime.	commit \| commitdiff \| tree
2004-10-27	bdemsky	Generate code to compute the sum.	commit \| commitdiff \| tree
2004-10-27	bdemsky	Bug fixes for parsing sum expressions.	commit \| commitdiff \| tree
2004-10-27	bdemsky	Adding support for sum expressions.	commit \| commitdiff \| tree
2004-10-25	bdemsky	Had a bug in our implementation. If the list empties...	commit \| commitdiff \| tree
2004-10-25	bdemsky	Want to zero next "next" pointer, not the one we just...	commit \| commitdiff \| tree
2004-10-24	bdemsky	Make recursion a command line option.	commit \| commitdiff \| tree
2004-10-01	bdemsky	Hack grammar to add unary minus.	commit \| commitdiff \| tree
2004-09-30	bdemsky	Checking in various changes...	commit \| commitdiff \| tree
2004-08-17	bdemsky	Bug in the freeciv spec.	commit \| commitdiff \| tree
2004-08-16	bdemsky	Bug with time instrumentation code.	commit \| commitdiff \| tree
2004-08-16	bdemsky	Change to the spec...missed a consistency property...	commit \| commitdiff \| tree
2004-08-16	bdemsky	Oops..need a cast here.	commit \| commitdiff \| tree
2004-08-16	bdemsky	oops...freeVars can return null.	commit \| commitdiff \| tree
2004-08-16	bdemsky	Record that we allocated a new object.	commit \| commitdiff \| tree
2004-08-16	bdemsky	Oops...forgot the grammar changes...	commit \| commitdiff \| tree
2004-08-15	bdemsky	Make sure we create a reasonable large array...and...	commit \| commitdiff \| tree
2004-08-15	bdemsky	Improve precision of interference analysis. Allow...	commit \| commitdiff \| tree
2004-08-15	bdemsky	Abiword specification	commit \| commitdiff \| tree
2004-08-14	bdemsky	Add additional functionality to Simplehash.	commit \| commitdiff \| tree
2004-08-14	bdemsky	Update virtual pointers for C++ code...Various fixes...	commit \| commitdiff \| tree
2004-08-13	bdemsky	Adding the -cplusplus option. This option writes virual...	commit \| commitdiff \| tree
2004-08-12	bdemsky	Improved precision of computation of maximum set sizes...	commit \| commitdiff \| tree
2004-08-10	bdemsky	Fixed some analysis problems...	commit \| commitdiff \| tree
2004-08-09	bdemsky	Removing various deprecated pieces of code...Fixed...	commit \| commitdiff \| tree
2004-08-04	bdemsky	More fixes	commit \| commitdiff \| tree
2004-08-03	bdemsky	...	commit \| commitdiff \| tree
2004-08-02	bdemsky	Fixed some errors in the Repair Generator code.	commit \| commitdiff \| tree
2004-08-02	bdemsky	Updates to allow discovering of partial functions	commit \| commitdiff \| tree
2004-07-29	bdemsky	Updates to allow repairing backpointers.	commit \| commitdiff \| tree
2004-07-29	bdemsky	Updating size computation class.`	commit \| commitdiff \| tree
2004-07-28	bdemsky	Added new file.	commit \| commitdiff \| tree
2004-07-27	bdemsky	Bug fix...	commit \| commitdiff \| tree
2004-07-27	bdemsky	Add updates...	commit \| commitdiff \| tree
2004-07-21	bdemsky	Update to analysis.	commit \| commitdiff \| tree
2004-07-20	bdemsky	Added needed comments, reorganized some code...	commit \| commitdiff \| tree
2004-07-20	bdemsky	Simplify logic	commit \| commitdiff \| tree
2004-07-20	bdemsky	Adding readme files	commit \| commitdiff \| tree
2004-07-20	bdemsky	Remove old file	commit \| commitdiff \| tree
2004-07-20	bdemsky	remove obselete file	commit \| commitdiff \| tree
2004-07-20	bdemsky	This checkin eliminates cases in which the repair algorithm...	commit \| commitdiff \| tree
2004-07-19	bdemsky	Remove two files that were never actually used.	commit \| commitdiff \| tree
2004-07-19	bdemsky	Allows creation of subgraphs of the dependency graph...	commit \| commitdiff \| tree
2004-07-18	bdemsky	More checkins...	commit \| commitdiff \| tree
2004-07-14	bdemsky	Changes:	commit \| commitdiff \| tree
2004-07-13	bdemsky	Allow list of important structs	commit \| commitdiff \| tree
2004-07-13	bdemsky	Update to add padding at the end of structs.	commit \| commitdiff \| tree
2004-07-13	bdemsky	fixes to size computation.	commit \| commitdiff \| tree
2004-07-13	bdemsky	Fixed arrays some more...	commit \| commitdiff \| tree
2004-07-13	bdemsky	improved structure layout generation	commit \| commitdiff \| tree
2004-07-10	bdemsky	Automatic structure extraction tool...works on binaries...	commit \| commitdiff \| tree
2004-07-08	bdemsky	Calculate correst size for subclass subtyping.	commit \| commitdiff \| tree
2004-07-08	bdemsky	Updates to grammar...	commit \| commitdiff \| tree
2004-07-08	bdemsky	Invariant Value class	commit \| commitdiff \| tree
2004-05-31	bdemsky	This should make Cristian a happy person... We do...	commit \| commitdiff \| tree
2004-05-31	bdemsky	1) Instrumentation code to count model rebuilds, etc...	commit \| commitdiff \| tree
2004-05-19	bdemsky	Fixed inteferes bug, improved precision of other analysis...	commit \| commitdiff \| tree
2004-05-19	bdemsky	Worklist items from a previous model build stay in...	commit \| commitdiff \| tree
2004-05-19	bdemsky	This one is Dan's. He misparses OR's as AND's for...	commit \| commitdiff \| tree
2004-05-18	bdemsky	Bugs with generating ands and ors...ahh.	commit \| commitdiff \| tree
2004-05-18	bdemsky	Debug flag bug	commit \| commitdiff \| tree
2004-05-18	bdemsky	C interface to the instrument interface	commit \| commitdiff \| tree
2004-05-18	bdemsky	Need {} around case statements because we define variables...	commit \| commitdiff \| tree
2004-05-18	bdemsky	Bugs:	commit \| commitdiff \| tree
2004-05-18	bdemsky	Freeciv spec	commit \| commitdiff \| tree
2004-05-18	bdemsky	Filesystem benchmark	commit \| commitdiff \| tree
next

Data structure repair

RSS Atom