Actions
Meeting 17-22102016 - Work plan and future work » History » Revision 2
« Previous |
Revision 2/16
(diff)
| Next »
Karine Even Mendoza, 20/10/2016 13:18
Meeting 17-22102016 - Work plan and future work¶
Future work:
1. Use increamntality of opensmt2 in hifrog
2. Fault explain/localize on the error trace
Updated by Karine Even Mendoza about 8 years ago · 2 revisions