adding a test case
[IRC.git] / Robust /
2014-08-05 Yong hun eomadding a test case master
2013-06-04 Yong hun eomchanges
2013-06-04 Yong hun eomprint out a warning msg when we have a nondeterministic...
2013-03-05 Yong hun eomremove unnecessary annotations to calculate evalution...
2013-03-05 Yong hun eomchanges.
2013-03-01 yeomtypo...
2013-03-01 Yong hun eomtest changes.
2013-03-01 Brian Demskyanother test
2013-03-01 Brian Demskytest of emails
2013-03-01 Brian Demskysmall diff
2013-03-01 Brian Demskydiff
2013-02-28 uid1038changes for generating evaluation numbers.
2013-02-27 yeomall fixed...
2013-02-26 yeomchanges.
2013-02-24 yeomchanges.
2013-02-22 yeomchanges.
2013-02-20 yeomchanges.
2013-02-18 yeoma bug fix...
2013-02-16 yeomchanges.
2013-02-12 yeomhave a debug flag
2013-02-07 yeomchanges for the naive approach
2013-02-06 yeomchanges + bring up uncommited previous changes.
2012-12-08 yeoma bug fix.
2012-12-07 yeomnow it works fine with three benchmarks
2012-12-07 yeomchanges.
2012-12-05 yeomthe last piece for the inheritance checking...
2012-12-04 yeomchanges.
2012-11-20 yeomimplementing inheritance check + missing features.
2012-11-08 yeomchanges. it generates correct lattices.
2012-11-07 yeomchanges.
2012-11-04 yeomChanges: Inference engine works fine with the JavaNator...
2012-11-04 yeomchanges: now Inference engine works fine with the EyeTr...
2012-11-03 yeomchanges: 1) fixes problems in the original EyeTracking...
2012-11-01 yeomchanges: generated annotated code but it still causes...
2012-10-31 yeomchanges + add two more benchmarks without annotations
2012-10-30 yeomchanges: missing nodes in SC graph
2012-10-30 yeomchanges.
2012-10-29 yeomchanges.
2012-10-29 yeomchanges: mainly fixed problems of a tertiary node,...
2012-10-28 yeomchanges.
2012-10-27 yeomchanges.
2012-10-26 yeomchanges.
2012-10-25 yeomchanges.
2012-10-24 yeomchanges.
2012-10-23 yeomchanges: fixes the case that a shared location appears...
2012-10-21 yeomaddressing two problems in the composite location gener...
2012-10-21 yeomchanges on the composite location generation (but still...
2012-10-20 yeomchanges on global composite assignment translation...
2012-10-19 yeomchanges.
2012-10-18 yeomchanges.
2012-10-18 yeombug fixes + generating PC/RETURNLOC in a flow graph
2012-10-16 yeomfixes on PCLOC generation, intermediate node insertion...
2012-10-15 yeomchanges: fix all problems of mapping between a flow...
2012-10-14 yeomchanges.
2012-10-13 yeomchanges to pass the location type check.
2012-10-12 yeomchanges.
2012-10-11 yeomchanges.
2012-10-09 yeomchanges: now it generates simple lattice without having...
2012-10-08 yeomchanges.
2012-10-06 yeomchanges.
2012-10-05 yeomchanges.
2012-10-03 yeommajor revisions on FlowGraph to have more precise infor...
2012-10-02 yeomchanges to get a global flow graph
2012-09-29 yeomchanges.
2012-09-22 yeomchanges.
2012-09-16 yeomchanges: building field/method hierarchy graph + insert...
2012-08-17 yeomchanges.
2012-08-17 yeomchanges.
2012-08-16 yeomchanges.
2012-08-15 yeomgenerate annotated source code again but it's still...
2012-08-15 yeomchanges.
2012-08-13 yeomchanges.
2012-08-13 yeomreformat benchmark source codes to meet the requirement...
2012-08-13 yeomchanges + annotation generation
2012-08-11 yeomchanges.
2012-08-10 yeombug fixes on the flow graph.
2012-08-10 yeomchanges.
2012-08-08 yeomchanges.
2012-08-07 yeomchanges.
2012-08-07 yeomchanges.
2012-08-06 yeomchanges.
2012-08-06 yeomchanges.
2012-08-04 yeommore changes.
2012-08-04 yeomchanges.
2012-08-02 yeomfixed another problem of the flow-down check. If an...
2012-08-02 yeomadd PCLOC annotations. all three benchmarks are type...
2012-08-01 yeomAllow to declare a composite location for the initial...
2012-08-01 yeomimplemented PCLOC annotation.
2012-08-01 yeomfix.
2012-08-01 yeomchanges on the inference engine.
2012-07-31 yeomadd source code that does not have location annotations.
2012-07-30 yeomchanges.
2012-07-13 yeomchanges.
2012-07-07 yeoma bunch of fixes.
2012-06-29 yeomimplemented a fixed point based interprocedural analysi...
2012-06-05 jzhouInitialize class objects first as in the staic blocks...
2012-06-01 jzhouremove Input file related stuff from the compiler and...
2012-05-31 jjenistakeep a copy of my current dissertation example to inves...
2012-05-31 jzhouFix bugs: 1) reorder the initialization of static field...
2012-05-19 jzhouBug fix, the compressed version of input files can...
next