ppl

ppl 0.10.2

Numerical abstractions for Pardus-ARM toolchain

http://www.cs.unipr.it/ppl/

Packager: Mehmet Emre Atasever

License: LGPLv3+

Actions

Build files

Bug reports

Binary packages

ppl
ppl-docs

Release history

ReleaseRelease dateVersionUpdaterComment
22010-04-120.10.2Mehmet Emre Atasever+-- Actionsapi enhancement
+-- Migration to Corporate2-devel repo
12010-01-040.10.2Mehmet Emre AtaseverPort of Pardus-ARM (ARM7 Cortex-a8)

Patches