Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


added error checking to outs operation
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 22 Jul 2010 16:39:27 +0000 (11:39 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 29 Jul 2010 17:54:29 +0000 (12:54 -0500)
commit32c76af496b981656d6976d95ba26e05c1b73bf7
tree71fa318d8d785f83c9fb967942d642c27b475f24
parentd3ba44fb64c5a40a0d47cf8fecf809b8c20fd440
added error checking to outs operation
palacios/src/palacios/svm_io.c