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: 2481654)
Merged updates from devel, added more time debugging information
authorPatrick G. Bridges <bridges@cs.unm.edu>
Fri, 20 Apr 2012 17:17:09 +0000 (11:17 -0600)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Fri, 20 Apr 2012 17:17:09 +0000 (11:17 -0600)
commitc36e3174fd73fbdb8af835a44e2e3f0e5d75ca37
treeb169fd316760574a6e1d6e0bc0b9f439bd21ad6ctree | snapshot
parent248165419c37671ef8bad2fe5851a32f3fe837d3commit | diff
Merged updates from devel, added more time debugging information
palacios/src/palacios/vmm_time.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project