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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: c63f7f7)
v3_file_close asserts open rather than close
authorErik van der Kouwe <erikvdk@gmail.com>
Thu, 3 Mar 2011 18:08:36 +0000 (12:08 -0600)
committerJack Lange <jacklange@cs.pitt.edu>
Thu, 3 Mar 2011 18:08:36 +0000 (12:08 -0600)
commitc9bf1de172346e153245a60a9641217a0783906e
tree9e30d2b6efcdff9e14fda03196b98761dc269a20tree | snapshot
parentc63f7f7db192f57a494ed152776b8e28ce40fc48commit | diff
v3_file_close asserts open rather than close
palacios/src/palacios/vmm_file.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project