Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
constraint_based_analysis_of_java_using_jahob_and_amrc [2007/06/21 15:33] vaibhav.rajan |
constraint_based_analysis_of_java_using_jahob_and_amrc [2007/06/21 15:36] vaibhav.rajan |
||
|---|---|---|---|
| Line 26: | Line 26: | ||
| ===== Project Status ===== | ===== Project Status ===== | ||
| - | - Infrastructure for ARMC translation is done. | + | - Infrastructure for ARMC translation is done. |
| - | - Able to translate simple arithmetic programs. | + | - Able to translate simple arithmetic programs. |
| - | - De-sugaring of program calls yet to be done. | + | - De-sugaring of program calls yet to be done. |
| - | - Only very simple formula can be processed.( Need to convert Formula to DNF form) | + | - Only very simple formula can be processed.( Need to convert Formula to DNF form) |
| - | - Sometimes generates buggy transition relation ( But few tests are working well. ) | + | - Sometimes generates buggy transition relation ( But few tests are working well. ) |
| - | - Support for If and Loops is incomplete. | + | - Support for If and Loops is incomplete. |
| - | ===== Difficulties and issues. ===== | + | ===== Difficulties and issues ===== |
| - | - 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 | + | - Some places it was difficult to say what format of formula program will receive. |
| - | formula program will receive | + | - Needs more experimentation and effort for making this plugin usable |
| - | - Needs more experimentation and effort. | + | |