bdemsky [Thu, 30 Jun 2011 22:33:49 +0000 (22:33 +0000)]
remove extra INLINE
jzhou [Thu, 30 Jun 2011 22:28:31 +0000 (22:28 +0000)]
add gc() to System
bdemsky [Thu, 30 Jun 2011 20:51:30 +0000 (20:51 +0000)]
changes...make it actually do the gc's...
bdemsky [Thu, 30 Jun 2011 11:53:05 +0000 (11:53 +0000)]
synchronization code in interrupt handler...fixes all but the rare bme core doesn't start deadlocks
bdemsky [Thu, 30 Jun 2011 11:41:07 +0000 (11:41 +0000)]
do synchronization after message handlers are up
bdemsky [Thu, 30 Jun 2011 08:46:27 +0000 (08:46 +0000)]
remove debug printouts
bdemsky [Thu, 30 Jun 2011 07:58:28 +0000 (07:58 +0000)]
more bug fixes
bdemsky [Thu, 30 Jun 2011 01:02:30 +0000 (01:02 +0000)]
bug fix + temporary debug code to be removed
bdemsky [Thu, 30 Jun 2011 01:01:53 +0000 (01:01 +0000)]
another bug fix
bdemsky [Thu, 30 Jun 2011 01:01:17 +0000 (01:01 +0000)]
bug fixes
yeom [Thu, 30 Jun 2011 00:51:12 +0000 (00:51 +0000)]
start to revise definitely written analysis implementation
yeom [Wed, 29 Jun 2011 22:15:33 +0000 (22:15 +0000)]
add debug flag for ssjava
yeom [Wed, 29 Jun 2011 18:11:45 +0000 (18:11 +0000)]
add ssjava debug option to have interim results if we want and small changes
bdemsky [Wed, 29 Jun 2011 09:45:54 +0000 (09:45 +0000)]
fix potential bug with clear function
bdemsky [Wed, 29 Jun 2011 09:45:24 +0000 (09:45 +0000)]
change bounds check
bdemsky [Wed, 29 Jun 2011 09:44:57 +0000 (09:44 +0000)]
change function type for boundscheck
bdemsky [Wed, 29 Jun 2011 09:42:49 +0000 (09:42 +0000)]
changes for bounds check
jihoonl [Wed, 29 Jun 2011 06:31:18 +0000 (06:31 +0000)]
debugging in progress
bdemsky [Tue, 28 Jun 2011 22:28:19 +0000 (22:28 +0000)]
back out debug options
bdemsky [Tue, 28 Jun 2011 21:27:32 +0000 (21:27 +0000)]
next roundof bug fixes
bdemsky [Tue, 28 Jun 2011 09:16:54 +0000 (09:16 +0000)]
bug fixes
bdemsky [Tue, 28 Jun 2011 00:35:50 +0000 (00:35 +0000)]
various small changes
jzhou [Mon, 27 Jun 2011 18:34:29 +0000 (18:34 +0000)]
Roll back previous check in as Brian has fixed the problem.
jzhou [Mon, 27 Jun 2011 18:24:14 +0000 (18:24 +0000)]
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.
bdemsky [Mon, 27 Jun 2011 08:54:33 +0000 (08:54 +0000)]
bug fixes
bdemsky [Mon, 27 Jun 2011 06:29:47 +0000 (06:29 +0000)]
small optimization
bdemsky [Mon, 27 Jun 2011 06:18:57 +0000 (06:18 +0000)]
runs the memory benchmark now...
bdemsky [Sat, 25 Jun 2011 00:48:40 +0000 (00:48 +0000)]
code change
bdemsky [Sat, 25 Jun 2011 00:16:36 +0000 (00:16 +0000)]
turn off debugging messages....another bug fix
bdemsky [Fri, 24 Jun 2011 23:39:08 +0000 (23:39 +0000)]
bug fix
david [Fri, 24 Jun 2011 23:12:24 +0000 (23:12 +0000)]
Updating shared values
david [Fri, 24 Jun 2011 23:09:19 +0000 (23:09 +0000)]
updated shared locations
bdemsky [Fri, 24 Jun 2011 00:37:51 +0000 (00:37 +0000)]
bug fixes
bdemsky [Wed, 22 Jun 2011 22:57:17 +0000 (22:57 +0000)]
remove some debug code...fix a bug
bdemsky [Wed, 22 Jun 2011 22:18:01 +0000 (22:18 +0000)]
more bug fixes
yeom [Wed, 22 Jun 2011 17:21:40 +0000 (17:21 +0000)]
small changes on test cases. disable -noloop option from makefile.
david [Wed, 22 Jun 2011 17:04:19 +0000 (17:04 +0000)]
First annoted version
david [Wed, 22 Jun 2011 17:03:25 +0000 (17:03 +0000)]
First annotated version
bdemsky [Wed, 22 Jun 2011 11:15:36 +0000 (11:15 +0000)]
bug fixes
bdemsky [Wed, 22 Jun 2011 08:08:00 +0000 (08:08 +0000)]
changes
yeom [Wed, 22 Jun 2011 00:27:05 +0000 (00:27 +0000)]
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
bdemsky [Tue, 21 Jun 2011 22:59:36 +0000 (22:59 +0000)]
try to make update phase work...need to ask for permission to write into memory blocks
yeom [Tue, 21 Jun 2011 22:31:47 +0000 (22:31 +0000)]
have Javadoc-style method comments.
yeom [Tue, 21 Jun 2011 21:29:14 +0000 (21:29 +0000)]
reflects today's comments
yeom [Tue, 21 Jun 2011 20:04:39 +0000 (20:04 +0000)]
changes.
bdemsky [Tue, 21 Jun 2011 07:48:35 +0000 (07:48 +0000)]
changes
bdemsky [Tue, 21 Jun 2011 01:36:18 +0000 (01:36 +0000)]
bug fixes...still doesn't work
yeom [Tue, 21 Jun 2011 01:33:20 +0000 (01:33 +0000)]
convert it to the must analysis
bdemsky [Tue, 21 Jun 2011 00:48:57 +0000 (00:48 +0000)]
more changes...think first version of memory allocation exists now
jzhou [Tue, 21 Jun 2011 00:43:52 +0000 (00:43 +0000)]
Bug fix for cache adaption
yeom [Mon, 20 Jun 2011 22:01:38 +0000 (22:01 +0000)]
provides makefile and makes it compile for david
yeom [Mon, 20 Jun 2011 18:55:25 +0000 (18:55 +0000)]
changes.
bdemsky [Mon, 20 Jun 2011 10:22:44 +0000 (10:22 +0000)]
only call mark once...
bdemsky [Mon, 20 Jun 2011 10:14:43 +0000 (10:14 +0000)]
get it to compile again
bdemsky [Mon, 20 Jun 2011 09:38:02 +0000 (09:38 +0000)]
more changes
bdemsky [Mon, 20 Jun 2011 06:52:47 +0000 (06:52 +0000)]
get rid of manually created table...
bdemsky [Mon, 20 Jun 2011 02:20:55 +0000 (02:20 +0000)]
more changes
bdemsky [Sun, 19 Jun 2011 22:42:22 +0000 (22:42 +0000)]
more changes
bdemsky [Sun, 19 Jun 2011 01:38:33 +0000 (01:38 +0000)]
get it to compile again
bdemsky [Sun, 19 Jun 2011 01:34:26 +0000 (01:34 +0000)]
clean up stuff...will add back later...
yeom [Sun, 19 Jun 2011 01:12:23 +0000 (01:12 +0000)]
changes.
bdemsky [Sat, 18 Jun 2011 08:38:55 +0000 (08:38 +0000)]
get it to compile
bdemsky [Sat, 18 Jun 2011 08:21:32 +0000 (08:21 +0000)]
more changes
bdemsky [Sat, 18 Jun 2011 08:20:46 +0000 (08:20 +0000)]
code changes
bdemsky [Sat, 18 Jun 2011 04:50:11 +0000 (04:50 +0000)]
bug fixes
yeom [Sat, 18 Jun 2011 02:04:30 +0000 (02:04 +0000)]
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.
bdemsky [Sat, 18 Jun 2011 01:17:53 +0000 (01:17 +0000)]
change objects
bdemsky [Sat, 18 Jun 2011 00:13:20 +0000 (00:13 +0000)]
more changes
bdemsky [Thu, 16 Jun 2011 21:21:01 +0000 (21:21 +0000)]
more of my changes
bdemsky [Thu, 16 Jun 2011 09:56:59 +0000 (09:56 +0000)]
code for generating mark bit tables
bdemsky [Thu, 16 Jun 2011 09:52:05 +0000 (09:52 +0000)]
code to do mark bits...
bdemsky [Wed, 15 Jun 2011 08:50:39 +0000 (08:50 +0000)]
changes to get rid of all type errors...
bdemsky [Wed, 15 Jun 2011 07:42:08 +0000 (07:42 +0000)]
bug fix...gcloads was used twice for different things with different types...
bdemsky [Wed, 15 Jun 2011 04:04:04 +0000 (04:04 +0000)]
changes
bdemsky [Wed, 15 Jun 2011 01:52:54 +0000 (01:52 +0000)]
more work towards type checking
bdemsky [Tue, 14 Jun 2011 23:08:04 +0000 (23:08 +0000)]
clean up typing mistakes
bdemsky [Tue, 14 Jun 2011 09:50:01 +0000 (09:50 +0000)]
fix mgchash table...isn't supposed to do allocation on the fly...nor use linked lists, etc...
bdemsky [Tue, 14 Jun 2011 09:17:55 +0000 (09:17 +0000)]
changes to support marked bit table...might work??
bdemsky [Tue, 14 Jun 2011 06:39:33 +0000 (06:39 +0000)]
changes
bdemsky [Tue, 14 Jun 2011 06:19:47 +0000 (06:19 +0000)]
more changes
bdemsky [Tue, 14 Jun 2011 06:15:32 +0000 (06:15 +0000)]
more changes...
yeom [Tue, 14 Jun 2011 00:01:51 +0000 (00:01 +0000)]
fixes on GLB and returnloc calculation, etc.
gets more class libraries
jzhou [Mon, 13 Jun 2011 17:53:50 +0000 (17:53 +0000)]
My changes
bdemsky [Sun, 12 Jun 2011 00:09:25 +0000 (00:09 +0000)]
remove extra locks and use atomics...hopefully i got this write...didn't test..
jjenista [Sat, 11 Jun 2011 23:14:01 +0000 (23:14 +0000)]
tinkering with debug stuff for barnes-hut
jjenista [Sat, 11 Jun 2011 23:12:33 +0000 (23:12 +0000)]
a mini version of barnes hut
jihoonl [Sat, 11 Jun 2011 22:56:19 +0000 (22:56 +0000)]
support multi threading
jjenista [Sat, 11 Jun 2011 18:41:55 +0000 (18:41 +0000)]
a test that actually worked fine, but shows bad convergence behavior
yeom [Sat, 11 Jun 2011 01:12:21 +0000 (01:12 +0000)]
fix bugs and changes on method checking
jjenista [Fri, 10 Jun 2011 18:26:28 +0000 (18:26 +0000)]
Bug fix: in some cases we really do want the heap region inherent reach set to have preds other than true, but when we allocate a new node, the state on that node should always have a true pred also.
bdemsky [Thu, 9 Jun 2011 16:42:58 +0000 (16:42 +0000)]
remove dependence on concat2...it isn't a standard string method
fix some bugs...
bdemsky [Thu, 9 Jun 2011 05:07:44 +0000 (05:07 +0000)]
many changes towards classpath...
bdemsky [Sun, 5 Jun 2011 08:23:44 +0000 (08:23 +0000)]
another bug fix
bdemsky [Sun, 5 Jun 2011 08:15:17 +0000 (08:15 +0000)]
code changes
bdemsky [Sun, 5 Jun 2011 08:07:45 +0000 (08:07 +0000)]
more changes towards jni
bdemsky [Sat, 4 Jun 2011 02:32:16 +0000 (02:32 +0000)]
add new file
bdemsky [Fri, 3 Jun 2011 23:50:21 +0000 (23:50 +0000)]
changes
bdemsky [Fri, 3 Jun 2011 23:40:22 +0000 (23:40 +0000)]
missing declaration
bdemsky [Fri, 3 Jun 2011 23:16:48 +0000 (23:16 +0000)]
file changes
yeom [Fri, 3 Jun 2011 23:03:56 +0000 (23:03 +0000)]
improves the strategy of checkings: starting from ssjava outermost loop, then only checking methods reachable from that loop. Also, check that every method which overrides an annotated method is also annotated.
projects / IRC.git / log