Integrate the Apron library into DepthK

hbgit / depthk

K-Induction adopting program invariants

GNU General Public License v2.0

8 stars 1 forks source link

Integrate the Apron library into DepthK #6

Closed lucasccordeiro closed 7 years ago

lucasccordeiro commented 7 years ago

We should evaluate the integration of the Apron library into DepthK (http://apron.cri.ensmp.fr/library/).

WilliameRocha commented 7 years ago

O projeto parece estar parado há pelo menos 3 anos, acho que poderíamos testar, talvez tivéssemos problemas com as dependências.

O que você acha @hbgit ?

WilliameRocha commented 7 years ago

Eu vi que o projeto tem interface para esta ferramenta http://bugseng.com/products/ppl/ que está em desenvolvimento inclusive com uma versão liberada neste ano.