Programming Languages Research Group: Git

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
2004-05-17	bdemsky	Enable quiet output...	commit \| commitdiff \| tree
2004-05-17	bdemsky	getrelation2 can return 0 in cases of a relation that...	commit \| commitdiff \| tree
2004-05-17	bdemsky	Fixed a variety of bugs...	commit \| commitdiff \| tree
2004-05-12	bdemsky	More bugs...	commit \| commitdiff \| tree
2004-05-12	bdemsky	More bug fixes...and debug flags	commit \| commitdiff \| tree
2004-05-11	bdemsky	Code to improve search by pruning certain types of...	commit \| commitdiff \| tree
2004-05-11	bdemsky	Various bug fixes.	commit \| commitdiff \| tree
2004-05-11	bdemsky	Forgot to implement this method.	commit \| commitdiff \| tree
2004-05-11	bdemsky	1) Further updates to specifications.	commit \| commitdiff \| tree
2004-05-10	bdemsky	Improved search....Updated filesystem model. Added...	commit \| commitdiff \| tree
2004-05-09	bdemsky	1) Added useDescriptor method to Expr's.	commit \| commitdiff \| tree
2004-05-06	bdemsky	Moved makelib	commit \| commitdiff \| tree
2004-05-06	bdemsky	Moved the interpreter	commit \| commitdiff \| tree
2004-05-06	bdemsky	Organizing	commit \| commitdiff \| tree
2004-05-06	bdemsky	Cleaning up more files	commit \| commitdiff \| tree
2004-05-06	bdemsky	Checking in specs	commit \| commitdiff \| tree
2004-05-06	bdemsky	Moving these	commit \| commitdiff \| tree
2004-05-06	bdemsky	Useless files	commit \| commitdiff \| tree
2004-05-06	bdemsky	These files aren't useful.	commit \| commitdiff \| tree
2004-05-06	bdemsky	size.h is automatically generated	commit \| commitdiff \| tree
2004-05-06	bdemsky	1) Checking in filesystem example	commit \| commitdiff \| tree
2004-05-06	bdemsky	Random small changes...	commit \| commitdiff \| tree
2004-05-06	bdemsky	Lots of bugfixes...	commit \| commitdiff \| tree
2004-04-30	bdemsky	Added array bounds checks...	commit \| commitdiff \| tree
2004-04-30	bdemsky	Should do array index calculations...Wonder if it works...	commit \| commitdiff \| tree
2004-04-29	bdemsky	* empty log message *	commit \| commitdiff \| tree
2004-04-29	bdemsky	Added improvements to ImplicitSchema analysis, bug...	commit \| commitdiff \| tree
2004-04-27	bdemsky	Bug in the analysis...oops	commit \| commitdiff \| tree
2004-04-27	bdemsky	Added array analysis (computes paths used to add elements...	commit \| commitdiff \| tree
2004-04-22	bdemsky	Added code to correctly order checks...	commit \| commitdiff \| tree
2004-04-21	bdemsky	Changes:	commit \| commitdiff \| tree
2004-04-19	bdemsky	Update:	commit \| commitdiff \| tree
2004-04-17	bdemsky	Added code to compute maximum sizes of sets. So we...	commit \| commitdiff \| tree
2004-04-16	bdemsky	Cristian bug fixes.	commit \| commitdiff \| tree
2004-04-16	bdemsky	Fixed some bugs in the analysis.	commit \| commitdiff \| tree
2004-04-16	bdemsky	Additional enhancements to compute mustremove and cantremove...	commit \| commitdiff \| tree
2004-04-15	bdemsky	Checking in some checks...	commit \| commitdiff \| tree
2004-04-15	bdemsky	Committing changes to leftsize->rightSize, more comments...	commit \| commitdiff \| tree
2004-04-15	bdemsky	Started adding analysis for modifyrelation nodes.	commit \| commitdiff \| tree
2004-04-15	bdemsky	Bug fixes to make Cristian happy...	commit \| commitdiff \| tree
2004-04-14	bdemsky	We don't obey this constraint...	commit \| commitdiff \| tree
2004-04-06	bdemsky	Example program.	commit \| commitdiff \| tree
2004-04-06	bdemsky	Checking in redblack sources	commit \| commitdiff \| tree
2004-04-06	bdemsky	Made flag work for checking only...Added support for...	commit \| commitdiff \| tree
2004-04-02	bdemsky	Changed iterator behavior...It only iterates over the...	commit \| commitdiff \| tree
2004-04-02	bdemsky	Compute strongly connected components of model rules...	commit \| commitdiff \| tree
2004-04-02	bdemsky	Fixed random bugs in the runtime.	commit \| commitdiff \| tree
2004-04-01	bdemsky	Replaced findcycles method with something more efficient...	commit \| commitdiff \| tree
2004-04-01	bdemsky	Added Strongly Connected Component support into GraphNodes.	commit \| commitdiff \| tree
2004-03-10	bdemsky	Fix random errors/typos...	commit \| commitdiff \| tree
2004-03-10	bdemsky	Added:	commit \| commitdiff \| tree
2004-03-08	bdemsky	Added support for stack allocation. Check for NULL...	commit \| commitdiff \| tree
2004-03-08	bdemsky	Added support for stack allocation...	commit \| commitdiff \| tree
2004-03-07	bdemsky	Still buggy, but getting closer...	commit \| commitdiff \| tree
2004-03-07	bdemsky	Added:	commit \| commitdiff \| tree
2004-03-05	bdemsky	Runtime for checker...	commit \| commitdiff \| tree
next

Data structure repair

RSS Atom