adding a test case
[IRC.git] / Robust / src / Tests /
2014-08-05 Yong hun eomadding a test case master
2012-03-22 yeomadd a new test case for inference
2012-01-27 jjenistanew version of experiments
2012-01-25 jjenistaset up to count graph elements over every final graph...
2012-01-24 jjenistadidnt get what I wanted before
2012-01-24 jjenistabits to help investigate node count changing
2012-01-20 jjenistarunning new experiments
2012-01-06 jjenistathis little example only parallelizes for oooj with...
2012-01-06 jjenistanot working out like I wanted
2012-01-06 jjenistaa useful example that needs defreach
2011-12-16 yeomtest case for the ownership checking
2011-12-13 jzhouChanges to MGC class library and some missing unit...
2011-12-10 jzhouChanges to MGC class library and fix a bug regarding...
2011-12-03 jzhouFix another inner class bug: every inner class along...
2011-11-29 jzhouArray field initialization was accidentally broken...
2011-11-29 jzhouFix a small bug about enumaration type: it should be...
2011-11-23 jzhouFix another inner class bug: an inner class which is...
2011-11-18 jjenistavector resize isn't a problem, even without definite...
2011-11-17 jjenistacase 3 of definite reach, all coded but has bugs becaus...
2011-11-15 jzhouBug fix of inner class: only add LIVE local variables...
2011-11-15 jzhouAdd a new feature for inner class: an anonymous inner...
2011-11-12 jzhouNeed a new inner class feature: let the anonymous inner...
2011-11-11 jzhouMake the compiler to support super.X/L.super.X which...
2011-11-11 yeomworking on the written check.
2011-11-10 jzhouChange back the inner class test case
2011-11-10 jzhouFix inner class bug: the inner class cannot correctly...
2011-11-10 jjenistaworking on the second case where definite reach can...
2011-11-10 jjenistaAWESOME. Used just the R relation of definite reach...
2011-11-09 spikeuciUpdating the test case files
2011-11-09 jjenistadef reach has to use PointerMethod to detect CFG edges...
2011-11-08 jjenistafix silly off-by-one bug
2011-11-07 jjenistafound a bug, results still empty
2011-11-07 jjenistatransfer funcs for the R relation of def reach coded...
2011-10-28 spikeuciThis completes the barebones versions of inner class...
2011-10-25 spikeuciChecking in the test cases
2011-10-20 jjenistaa short, clear example that definite reachability will...
2011-10-05 bdemskychanges
2011-10-05 bdemskyextend test
2011-10-05 bdemskyinner class test case
2011-10-04 jjenistaa test that exposed a cyclic hashcode bug and some...
2011-10-04 jjenistaA test that exposed the bug that I just fixed
2011-09-22 jjenistaBe able to get def reach state out at a given program...
2011-09-22 jjenistaget hooked into disjoint
2011-09-21 jjenistaStarting implementation for definite reachability analysis
2011-09-03 davidadding test class for SSJava Inference Engine
2011-08-31 yeomit passes the definite clearance analysis.
2011-08-30 yeomchanges.
2011-08-27 yeomit passes the definitely written analysis.
2011-08-26 yeomchanges: since the inverse-MDCT uses input samples...
2011-08-23 yeom1) changes on the definitely written analysis: it only...
2011-08-23 yeomhaving new variable 'inter' in-between "reorder/antiali...
2011-08-20 yeomchanges.
2011-08-20 yeommp3decoder passes the loop termination analysis.
2011-08-19 yeommp3decoder finally passes the flow-down rule checking.
2011-08-18 yeommore changes to pass the flow-down rule
2011-08-18 yeomchanges.
2011-08-17 yeomhave linear-type-safe source codes of mp3decoder
2011-08-16 yeommp3decoder compiled by our research compiler produces...
2011-08-15 yeomchanges.
2011-08-11 yeomget rid of the stream parsing that occurs in the Layer...
2011-08-05 yeomstart revising the linear type checking
2011-08-03 yeomchanges.
2011-08-03 yeomchanges.
2011-07-29 yeomchanges.
2011-07-28 yeomchanges.
2011-07-28 yeomchanges.
2011-07-27 yeomchanges: 1) generate a class lattice graph DOT file...
2011-07-27 yeomchanges.
2011-07-27 yeomchanges.
2011-07-26 yeomchanges.
2011-07-26 yeomchanges: LayerIDecoder and LayerIIDecoder pass the...
2011-07-23 yeomchanges.
2011-07-22 yeomchanges on the flow down rule checking: 1) only check...
2011-07-21 yeomtry to fix annotation errors
2011-07-21 yeommore changes.
2011-07-20 yeomfixes on method annoatation checking: when a method...
2011-07-20 yeomchanges.
2011-07-18 yeomchanges
2011-07-16 yeomchanges: major revision on SynthesisFilter of mp3decode...
2011-07-15 yeomchanges.
2011-07-14 yeomadding more annotations for mp3decoder
2011-07-13 davidupdated annotation
2011-07-13 yeomchanges: taking decoder initilization out from ssjava...
2011-07-13 yeomchanges on mp3 decoder
2011-07-13 yeomtry to make mp3decoder pass SSJava checking
2011-07-13 yeomput deserialized values from sfd.ser
2011-07-12 yeomupdate makefile
2011-07-12 yeommake mp3decoder compile
2011-07-12 david*** empty log message ***
2011-07-12 yeomtry to make mp3decoder compile
2011-07-11 davidannotated
2011-06-22 yeomsmall changes on test cases. disable -noloop option...
2011-06-20 yeomprovides makefile and makes it compile for david
2011-06-11 jjenistaa mini version of barnes hut
2011-06-11 jjenistaa test that actually worked fine, but shows bad converg...
2011-06-01 yeomhaving a location namespace. location names appeared...
2011-05-25 yeomfixes on bugs and checking of method invocation:
2011-05-24 yeombug fixes and few extra things:
2011-05-23 yeomhaving a new check that verifies the single reference...
2011-05-20 yeomfix bugs on the flow down rule and start annotating...
next