3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-15 17:06:39 +00:00
Commit graph

4 commits

Author SHA1 Message Date
Christoph M. Wintersteiger
6c475660d8 Removed support for signed assemblies.
Users are advised to build their own assemblies from the source code,
which they can sign using their own private keys.

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
2012-10-12 15:12:21 +01:00
unknown
3e810ca74f working on bmc and bug fixes
Signed-off-by: unknown <nbjorner@NBJORNER-X200.redmond.corp.microsoft.com>
2012-10-11 09:05:12 -07:00
Leonardo de Moura
1cfe6e477a removed unnecessary files. 2012-10-05 15:19:26 -07:00
Leonardo de Moura
68269c43a6 other components
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2012-10-02 11:48:48 -07:00