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.


removed floating poing operations from hashtable, load factors are now precomputed
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 14 Apr 2009 23:26:25 +0000 (18:26 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 14 Apr 2009 23:26:25 +0000 (18:26 -0500)
commit0dc6c1ec345d5c48e348b7e6532e5dcec00fa2ff
tree5480ec6127a37f1fe8ae4c02aca2d222aa74b821
parenteed2bbeb750b15b7cc975ba213e5707168e9c932
removed floating poing operations from hashtable, load factors are now precomputed
palacios/include/palacios/vmm_string.h
palacios/src/palacios/vmm_hashtable.c
palacios/src/palacios/vmm_string.c