Changes between Version 25 and Version 26 of Be a CIVL developer


Ignore:
Timestamp:
02/02/17 04:30:50 (9 years ago)
Author:
ziqing
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Be a CIVL developer

    v25 v26  
    2121
    2222== Set up CIVL in Eclipse ==
    23 1. 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 1. Install an SVN plugin in Eclipse (such as Subversive) if you have not already.
    25 1. 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:[[BR]]
     23* Step 1. 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* Step 2. Install an SVN plugin in Eclipse (such as Subversive) if you have not already.
     25* Step 3. 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:[[BR]]
    2626
    2727 * Install the symbolic algebra and reasoning library SARL. In Eclipse, select New Project...from SVN, use the archive  svn://vsl.cis.udel.edu/sarl. After entering that, open it up and select the "trunk". After checking out trunk, name  the project "SARL". Then follow the instructions in the INSTALL file for Eclipse installation. Build the sarl.jar from within Eclipse by right-clicking (or ctrl-clicking) on the build.xml file and selecting Run As->Ant Build.[[BR]]
    … …  
    3131 * Install the generic model checking utilities package GMC. In Eclipse, select New Project...from SVN, use the archive svn://vsl.cis.udel.edu/gmc. After entering that, open it up and select the "trunk". After checking out trunk, name the project "GMC". Build the gmc.jar from within Eclipse by right-clicking (or ctrl-clicking) on the build.xml file and selecting Run As->Ant Build.[[BR]]
    3232
    33 1. From within Eclipse, select New Project...from SVN. The archive is svn://vsl.cis.udel.edu/civl.  After entering that, open it up and select the "trunk". (It is simplest to just check out the trunk for the Eclipse project.)
    34 1. Check out the trunk, and create the project using the New Java Project Wizard as usual, naming it "CIVL". The .project, .classpath, and other Eclipse meta-data are already in the SVN archive, saving you a bunch of work.
     33* Step 4. From within Eclipse, select New Project...from SVN. The archive is svn://vsl.cis.udel.edu/civl.  After entering that, open it up and select the "trunk". (It is simplest to just check out the trunk for the Eclipse project.)
     34* Step 5. Check out the trunk, and create the project using the New Java Project Wizard as usual, naming it "CIVL". The .project, .classpath, and other Eclipse meta-data are already in the SVN archive, saving you a bunch of work.
    3535
    3636== Using Subversion in command-line ==