Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
constraint_based_analysis_of_java_using_jahob_and_amrc [2007/06/21 15:35] vaibhav.rajan |
constraint_based_analysis_of_java_using_jahob_and_amrc [2007/06/21 15:36] (current) vaibhav.rajan |
||
|---|---|---|---|
| Line 38: | Line 38: | ||
| - It took some time to understand Jahob data-structures. | - It took some time to understand Jahob data-structures. | ||
| - Some places it was difficult to say what format of formula program will receive. | - Some places it was difficult to say what format of formula program will receive. | ||
| - | - Needs more experimentation and effort. | + | - Needs more experimentation and effort for making this plugin usable |