Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[surf] tiny cleanups around the virtual machines
authorMartin Quinson <martin.quinson@loria.fr>
Tue, 27 Oct 2015 18:10:58 +0000 (19:10 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Tue, 27 Oct 2015 18:16:17 +0000 (19:16 +0100)
- rename the file vm_interface.[ch] into virtual_machine.[ch]
- rename the type VM into VirtualMachine
- have the VirtualMachine constructor register the VM to the host lib
  - it was in Model13::CreateVM, that can now be emptied and soon killed
  - other VM models won't forget to do so


No differences found