0.1.0

PreCA: precondition inference through constraint acquisition

• Proposes to use different Constraint Acquisition algorithms (Conacq, DCA)
• Exhibit a precondition language over pointers (overlap, aliasing ...) and integers
• Gives all scripts to replicate experiments from the papers.