change

change

add new file

Add cache adaptive code to multicore gc and add support for System.gc()

bug fixes

lots of bug fixes...none of them the right one

bug fixes and refactoring to have more smooth integration of loopOptimize and loopTerminate

fix indentation

changes.

getting close to finishing the definite written analysis

return freespace not usedspace

change

bug fixes

do round robin on neighbors...

add allocation modes

remove extra INLINE

add gc() to System

changes...make it actually do the gc's...

synchronization code in interrupt handler...fixes all but the rare bme core doesn't start deadlocks

do synchronization after message handlers are up

remove debug printouts

more bug fixes

bug fix + temporary debug code to be removed

another bug fix

bug fixes

start to revise definitely written analysis implementation

add debug flag for ssjava

add ssjava debug option to have interim results if we want and small changes

fix potential bug with clear function

change bounds check

change function type for boundscheck

changes for bounds check

debugging in progress

back out debug options

next roundof bug fixes

bug fixes

various small changes

Roll back previous check in as Brian has fixed the problem.

Fix a bug in the compiler: besides its super class's method table, a class's methods table should also take into account its super interfaces' method table.

bug fixes

small optimization

runs the memory benchmark now...

code change

turn off debugging messages....another bug fix

bug fix

Updating shared values

updated shared locations

bug fixes

remove some debug code...fix a bug

more bug fixes

small changes on test cases. disable -noloop option from makefile.

First annoted version

First annotated version

bug fixes

changes

bug fixes + integrate loop termination analysis into ssjava checking
- add an interface to access loop invariant from LoopOptimize
- add "TERMINATE" annotation for method method declaration when developer wants to skip the loop termination analysis for an annotated method. There is no way to have direct annotations on the loop since Java only allows to have annotations on declaration nodes

try to make update phase work...need to ask for permission to write into memory blocks

have Javadoc-style method comments.

reflects today's comments

changes.

changes

bug fixes...still doesn't work

convert it to the must analysis

more changes...think first version of memory allocation exists now

Bug fix for cache adaption

provides makefile and makes it compile for david

changes.

only call mark once...

get it to compile again

more changes

get rid of manually created table...

more changes

more changes

get it to compile again

clean up stuff...will add back later...

changes.

get it to compile

more changes

code changes

bug fixes

start implementing loop termination analysis: for the initial version, checking whether induction variable is getting bigger and loop guard condition is composed only with induction variables and loop invariant.

change objects

more changes

more of my changes

code for generating mark bit tables

code to do mark bits...

changes to get rid of all type errors...

bug fix...gcloads was used twice for different things with different types...

changes

more work towards type checking

clean up typing mistakes

fix mgchash table...isn't supposed to do allocation on the fly...nor use linked lists, etc...

changes to support marked bit table...might work??

changes

more changes

more changes...

fixes on GLB and returnloc calculation, etc.
gets more class libraries

My changes

remove extra locks and use atomics...hopefully i got this write...didn't test..

tinkering with debug stuff for barnes-hut