Unsolved Problems
October 25th, 2006, 4:29 pm by MathiasThere are still a few unsolved problems, most o…
Archive for October, 2006
@Combine Almost Done">@Combine Almost Done
October 23rd, 2006, 9:00 am by Mathias
It has taken me longer than expected, but I jus…
@PredicateLink Implemented
October 17th, 2006, 8:11 am by MathiasIt looks like I just finished implementing the …
Parsing Compound Predicate Annotations
October 16th, 2006, 4:19 am by MathiasI’ve enhanced the parser of the Thread Checker …
Compound Predicate Annotations
October 14th, 2006, 3:43 am by MathiasI think I have found an acceptable, relatively …
Sleepy Tests
October 13th, 2006, 11:29 am by MathiasLast night, just before I passed out into comat…
Predicate Implementation
October 12th, 2006, 5:10 pm by MathiasDuring the night and this morning, I worked on …
Syntax for the Predicates
October 12th, 2006, 3:17 am by MathiasHere is a description of the syntax for the Thr…
Predicates for the Thread Checker
October 12th, 2006, 1:30 am by MathiasCorky has made the thread checker a core part o…
Comments and Questions about LAPT-javac
October 11th, 2006, 3:34 pm by MathiasWhen I posted my hacked version of javac, LAPT-…
Java Generics Unsound?
October 10th, 2006, 1:31 pm by MathiasJust a few days ago, I complained about the fac…
GrobuUtils
October 9th, 2006, 1:02 pm by MathiasCorky scared me this morning. He found an artic…
Hacking javac
October 8th, 2006, 9:28 am by MathiasI just finished hacking javac; I only had to to…
Poster: Practical Tools for Testing Concurrent Programs
October 6th, 2006, 2:30 pm by MathiasPractical Tools for Testing Concurrent Programs
Temporary URL Changes
October 5th, 2006, 11:05 am by MathiasI’ve temporarily redirected www.concutest.org t…
We’re Being Naughty…
October 5th, 2006, 10:40 am by MathiasI just ran the DrJava unit tests with Concutest…
Preliminary Versions of Concutest-JUnit
October 5th, 2006, 9:55 am by MathiasI have made preliminary versions of Concutest-J…
Corporate Affiliates Meeting 2006 Poster
October 2nd, 2006, 9:00 pm by MathiasI just finished creating a new poster for the 2…
