Programming Languages Research Group: Git

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
2004-03-01	bdemsky	Mistake in interface assumptions...	commit \| commitdiff \| tree
2004-03-01	bdemsky	* empty log message *	commit \| commitdiff \| tree
2004-02-27	bdemsky	Creating a runtime directory...	commit \| commitdiff \| tree
2004-02-27	bdemsky	Dan was leaking memory via iterators... This leak...	commit \| commitdiff \| tree
2004-02-27	bdemsky	Checking in super-optimized SimpleHash code... Good...	commit \| commitdiff \| tree
2004-02-27	bdemsky	Checking in update to hashtable code...	commit \| commitdiff \| tree
2004-02-26	bdemsky	Adding test case & bug fixes to generate code for test...	commit \| commitdiff \| tree
2004-02-26	bdemsky	Fixed Dan's confusion regarding alignment of fields...	commit \| commitdiff \| tree
2004-02-25	bdemsky	Checking in code that:	commit \| commitdiff \| tree
2004-02-25	bdemsky	Updating files...	commit \| commitdiff \| tree
2004-02-17	bdemsky	New runtime for repair system.	commit \| commitdiff \| tree
2004-02-17	bdemsky	These checking do the reconstruction of the model and...	commit \| commitdiff \| tree
2004-02-12	bdemsky	Adding code to generate repair algorithms. Its not...	commit \| commitdiff \| tree
2004-02-06	bdemsky	Checking in code to perform safety checks on repair...	commit \| commitdiff \| tree
2004-02-05	bdemsky	Added support to printout data structure update nodes...	commit \| commitdiff \| tree
2004-02-04	bdemsky	Adding changes to cvs...	commit \| commitdiff \| tree
2004-01-23	bdemsky	Fix some of Dan's bugs (code generation for relation...	commit \| commitdiff \| tree
2004-01-10	bdemsky	Fixed lot of random bugs. Added code generate strings...	commit \| commitdiff \| tree
2004-01-06	bdemsky	More changes	commit \| commitdiff \| tree
2004-01-05	bdemsky	Random typos.	commit \| commitdiff \| tree
2004-01-05	bdemsky	Still adding code to construct termination graph, abstract...	commit \| commitdiff \| tree
2003-12-22	bdemsky	Adding files	commit \| commitdiff \| tree
2003-12-22	bdemsky	updates	commit \| commitdiff \| tree
2003-12-18	bdemsky	Grammar updates, etc...	commit \| commitdiff \| tree
2003-12-18	bdemsky	Updates	commit \| commitdiff \| tree
2003-02-21	bdemsky	Adding c files for repair system.	commit \| commitdiff \| tree

Data structure repair

RSS Atom