githwxi/ATS-Postiats-contrib — pull request #1 by wdblair (2014-05-16 19:33:03+00:00)
Title: Updating the Z3 ATS2 library to its current state.

Bringing the Z3 ATS2 library up to date.