Wiki » History » Revision 3
Revision 2 (Karine Even Mendoza, 13/05/2016 17:47) → Revision 3/27 (Karine Even Mendoza, 13/05/2016 17:53)
h1. Skype Meeting 03/05/2016 Why we need combination of theories, multipication of non-constants Short Code example: t1 = x*y; x' = x; y'= y; t2 = x'*y'; assert(t1 != t2); Solution: t1 = f(x, y) h1. Work Plan - Meeting 9-11/05/2016 h2. Mile-Stones I. Propositional logic MC for FunFrog + OpenSMT2 Tasks (1) - (3) II. Theories MC for FunFrog + OpenSMT2/Other Tasks (1) - (3) III. Theory aware MC for FunFrog + OpenSMT2 Tasks (1) - (4) and (5.5)