Programming Languages Research Group: Git

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