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