Does Contravariant Propagation and Combining Using or Make Sense?
November 29th, 2006, 5:14 pm by MathiasI’m still trying to figure out if some invarian…
Archive for November, 2006
@OnlyRunBy Subtyping">@OnlyRunBy Subtyping
November 27th, 2006, 1:27 pm by Mathias
I just looked at the subtyping warnings generat…
What’s Left to Do?
November 27th, 2006, 1:53 am by MathiasSo, what’s left to do? Lots, of course. Mainly,…
@Combine-Style Using Reflection Too">@Combine-Style Using Reflection Too
November 27th, 2006, 1:13 am by Mathias
@Combine-style annotations now also work using …
@PredicateLink-Style Using Reflection">@PredicateLink-Style Using Reflection
November 25th, 2006, 3:59 am by Mathias
I corrected a bug in the source code and uncorr…
On Closer Inspection, Reflection More Complicated
November 24th, 2006, 6:16 pm by MathiasI’ve been wanting to write a reflection-based T…
Caching Issues
November 22nd, 2006, 2:25 pm by MathiasI rewrote a few parts of the Thread Checker, ma…
Thread Checker Release
November 20th, 2006, 2:49 pm by MathiasYesterday, I made the first version of the Thre…
Not So Bad
November 17th, 2006, 11:36 am by MathiasI’ve thought about my problem from the last pos…
Not Happy
November 15th, 2006, 4:28 am by MathiasAfter some experimentation, I have realized tha…
A Custom-Class Loader for the Thread Checker
November 14th, 2006, 11:48 pm by MathiasI’ve been working on a custom class loader that…
Haven’t Done Much
November 13th, 2006, 1:18 pm by MathiasUnfortunately I haven’t been able to do much la…
The Many Faces of DrScheme
November 5th, 2006, 9:23 pm by MathiasI just received an email from Matthias Felleise…
Official Concutest Website
November 5th, 2006, 3:45 am by MathiasAs we all know, a logo or title screen is the m…
A Logo for Concutest
November 4th, 2006, 9:41 pm by MathiasI’m getting to the point where my tools are sta…
Kooprey Code Rot
November 3rd, 2006, 7:14 am by MathiasDr. Wong asked me where he could get the most r…
Solved Problems :-)
November 3rd, 2006, 5:05 am by MathiasAgain, I wasn’t feeling too well, was kept busy…
