Changes between Version 19 and Version 20 of Be a CIVL developer


Ignore:
Timestamp:
02/02/17 04:13:37 (9 years ago)
Author:
ziqing
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Be a CIVL developer

    v19 v20  
    2222== Set up CIVL in Eclipse ==
    23231. Install  theorem provers [http://www.cs.nyu.edu/acsys/cvc3/ cvc3], [https://github.com/CVC4/CVC4 cvc4] and [https://github.com/Z3Prover/z3/releases z3]. Install Eclipse IDE for Java/EE developers if you have not already done so.
    24 
     241. Install an SVN plugin in Eclipse (such as Subversive) if you have not already.
     251. Install prerequisite projects ABC, SARL and GMC. Make sure that the three projects are put in the workspace directory where CIVL will be created.  Specifically:
     26 *
    2527
    2628== Using Subversion in command-line ==