ada/z3
0
0
Fork 0
mirror of https://github.com/AdaCore/z3.git synced 2026-02-12 12:40:40 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
z3/CONTRIBUTING.md
Johannes Kanig dc890bf13e R529-004 add CONTRIBUTING.md 
Change-Id: Ic229b41ea2cdc009d8a0a4b7a7a41e2b6d4a08c3
2018-05-30 08:17:42 +09:00

240 B
Raw Permalink Blame History

Contributing to Z3 for SPARK 2014

This repository is specific to SPARK 2014. We suggest you submit your contributions to the development of Z3 to the official repository.

Reference in New Issue View Git Blame Copy Permalink