Changes - pluralism - Project Hosting on Google Code

437 - 413 of 437 Older ›

Committed Changes

Rev	Commit log message	Date	Author
r437	I am not entirely convinced about the quality of this code, but all of the tests pass. This was my first attempt to perform the instantiation of arguments. Need tests now.	Today (14 hours ago)	nels.beckman
r436	Working on a parser for parsing ground permissions. These look a little different from the permissions that the PermParser already parses, so I just wrote one up real quick. Also starting on the instantiation code. Looks like we'll be able to handle a lot of this work inside the annotations code.	Nov 19 (5 days ago)	nels.beckman
r435	Now unannotated parameters get NONE instead of TOP.	Nov 17, 2009	nels.beckman
r434	Tests for previous code commit. Method call sites now work. Also testing specification checker and Symmetric permissions.	Nov 17, 2009	nels.beckman
r433	A bunch of new tests pass. We now check method parameters at call sites & fixed some other bugs. I want to start working on either the instantiated version of the PACK/UNPACK code very soon.	Nov 17, 2009	nels.beckman
r432	Passing tests. Now we see that parameter permissions are removed from the pile after we check them.	Nov 17, 2009	nels.beckman
r431	More passing tests! Now we check the parameters, and remove permission for variables after they are checked.	Nov 17, 2009	nels.beckman
r430	First correctly working test for the polymorphic checker.	Nov 17, 2009	nels.beckman
r429	First passing test for the internal checker!	Nov 17, 2009	nels.beckman
r428	Finished off the InstantiatedTypeAnalysis which tracks which arguments are applied to which reference types. About to start writing some of my first tests.	Nov 16, 2009	nels.beckman
r427	Implementing the Instantiated type analysis is kind of like Yak shaving, I hope it's actually going to be necessary. I have two more methods to do and they are the hardest, but at least the substitute method has been written.	Nov 13, 2009	nels.beckman
r426	Here I am committing code I don't really care about because I am about to make such a big change. Why did I think this instantiated type analysis needed to be a flow analysis? Just go down from the delcarations with the types, and propagate the types of the expressions upwards... Seem good, right?	Nov 13, 2009	nels.beckman
r425	Added several new annotations and annotation wrappers for the forthcoming polymorphic code.	Nov 10, 2009	nels.beckman
r424	Why is making an update site so difficult? Committing a few additions to Crystal util. Committing Plural code for ForcePack.	Oct 23, 2009	nels.beckman
r423	Tests that needed a force pack have all been changed to used @ForcePack.	Sep 01, 2009	nels.beckman
r422	Force pack works yay.	Sep 01, 2009	nels.beckman
r421	Very simple test for the ForcePack annotation.	Sep 01, 2009	nels.beckman
r420	ForcePack seems to work on a very basic test. Here is the code that makes it work.	Sep 01, 2009	nels.beckman
r419	Changed tests to get rid of justToRoot. @ForcePack does not yet work, but we have a test for it...	Sep 01, 2009	nels.beckman
r418	Removed the @Unique(justToRoot=...) parameter since Kevin previously changed the @Unique permission to do just that. All tests pass.	Sep 01, 2009	nels.beckman
r417	use new justToRoot attribute	Aug 31, 2009	kevin.bierhoff
r416	Removed scary FIXME comment which is now fixed!	Aug 31, 2009	nels.beckman
r415	New tests. All pass, fixing several bugs Kevin & I discussed.	Aug 31, 2009	nels.beckman
r414	Several fixes now which I don't entirely remember, but the important thing is that all the tests work & now we have "unique dimension" functionality.	Aug 31, 2009	nels.beckman
r413	made empty state list the default, so need to provide it anymore	Aug 30, 2009	kevin.bierhoff

437 - 413 of 437 Older ›