Activity for Wladimir Araujo
-
Wladimir Araujo committed [r1552]
Imports for msg files
-
Instrumentation for locking
-
Checkpoints and commit points
-
Adding RAC piggiback on method calls for java.util.concurrent.locks.Lock
-
Adding JAVAFLAGS to classes target
-
first proper checkin in branch
-
Stack methods and variables
-
checking when clauses
-
Checking when clauses
-
Fixed JMLChecker.forName()
-
first proper branch check in
-
Interim checkin
-
fixing import
-
checking when clauses
-
backing out changes to HEAD
-
checking for when clauses
-
checking when clauses
-
reverting to rev 1.2
-
Fixed return type
-
Checkpoints and commit points
-
New concurrent behaviour
-
Renaming checkpoints to safepoints
-
Typechecking concurrent clause
-
Locks clause
-
Checkpoints and commit points
-
Checkpoints to safepoints and checking lock order clauses
-
Lock order clause
-
Checking lock order clauses
-
Concurrent clauses
-
Lock order take 2
-
Checking lock_order and locking clauses
-
minor changes
-
Checking lock_order and locking expressions
-
concurrent specs and fixing Javadoc parsing: fixes the case in which a line begins with an HTML tag.
-
Checking locks clause
-
Intermediate modifications for concurrent RAC
-
More RAC methods for concurrent specifications
-
Adding java.util.concurrent.locks.Lock as a lock type for concurrent clauses
-
Lock order checking modifications
-
First cut thread-safety enabled RAC scripts
-
Fixed visitation of Lock related method calls
-
Fixing default when clauses
-
added manifest file to jmlruntime.jar
-
More thread-safety checking stuff
-
Several bugfixes for concurrency checking
-
Fixing Makefile to archive thread-safety instrumenter class file
-
Added instrumented java.lang.Object
-
Added thread-safety instrumenter
-
Identity set used for thread-safety checking
-
Adding modified Object.java
-
Target reordering: putting rac-extensions in the front
-
*** empty log message ***
-
Fixing support for static methods and concurrent clauses
-
Thread-safety fixes for early detection
-
Fixing exceptional postcondition safepoint handling of regular exceptions
-
Fixing locks_releases clause checking
-
Fixing thread-safety instrumentation of external objects
-
Using ThreadLocal for local state instead of sync weak map
-
Fixing safepoints for exceptional postcondition, adding efficient translation for model fields, fixing handling of exceptions on concurrent wrapper
-
Variable name clash with argument
-
Yep, now it's for real
-
Small fix to ambiguous Error type
-
Adding excludePrefix CLI option
-
Adding extension option to RAC
-
Small fix for inner and nested class RAC: parent state restoration after
-
Minor fix in bytecode generator
-
Adding short to the list of numerical types to check during locks clause check.
-
Supporting inner classes on jmlc: no anonymous classes yet
-
Fixes for constructors postcondition methods and other variable clashes
-
Fixing typecasting for inner class use of owner fields through accessors
-
Fixing construction and RAC code execution for partially constructed objects
-
Fixing JRE LDC_W bug
-
Now, for real, fixing the LDC_W bug
-
Creating \time expression
-
Fixes with postcondition safepoints and supporting \time expression
-
Several fixes related to checking lock order, locks_releases and thread-safety clauses as well as when clauses during initialiation.
-
Fixing double post checking
-
Several bugfixes: mem leak on JmlLocalState, ctor not checking conc pre/post
-
Implementing RAC for max() expression and typechecking limitting
-
Adding finalizer for ThreadLocal references to JmlLocal state
-
Adding several optimizations regarding class loading
-
Fixing inheritance of concurrent specifications
-
Removing temp debugging, fixing nested quantifiers, -Z option, fixing old
1