Pragmatic Software
f9afda0580
doc/VirtualMachine.md: fix env table
2022-02-06 20:08:14 -08:00
Pragmatic Software
0a856e2c18
doc/VirtualMachine.md: remove cache=none
2022-02-06 20:05:33 -08:00
Pragmatic Software
7916930816
compiler_vm: various host improvements
...
* VM scripts can now be configured via environment variables:
PBOTVM_DOMAIN, PBOTVM_TIMEOUT, PBOTVM_SERVER, PBOTVM_SERIAL,
PBOTVM_HEART, PBOTVM_NOREVERT
2022-02-06 20:01:56 -08:00
Pragmatic Software
5f3459ba96
doc/VirtualMachine.md: remove external snapshots due to lack of support
2022-02-04 12:25:32 -08:00
Pragmatic Software
fbb74bbca3
Update doc/VirtualMachine.md
2022-01-29 19:19:32 -08:00
Pragmatic Software
41c2203038
Update doc/VirtualMachine.md
2022-01-29 19:17:30 -08:00
Pragmatic Software
5da8af425a
doc/VirtualMachine.md: fix a formatting issue
2022-01-29 19:13:33 -08:00
Pragmatic Software
4b495fa6d3
doc/VirtualMachine.md: fix a formatting issue
2022-01-29 19:12:36 -08:00
Pragmatic Software
804103f34b
doc/VirtualMachine.md: fix a formatting issue
2022-01-29 19:11:07 -08:00
Pragmatic Software
de8e261276
Update doc/VirtualMachine.md
2022-01-29 19:09:35 -08:00
Pragmatic Software
bca07da986
doc/VirtualMachine.md: remove ToC, minor tweaks
2022-01-23 21:47:33 -08:00
Pragmatic Software
ee41ae5b36
doc/VirtualMachine.md: minor touch-ups
2022-01-23 11:03:03 -08:00
Pragmatic Software
9dff3bed47
Polish doc/VirtualMachine.md a bit
2022-01-23 08:40:19 -08:00
Pragmatic Software
33e13fd993
Start refactoring virtual machine (1/3)
...
This is expected to take three commits to complete. This first initial
commit does the following:
- Begin initial rough-draft of doc/VirtualMachine.md
- Begin initial refactoring of scripts
The next commit will polish up the initial rough-draft and refactoring.
The final commit will quality-check everything and fix anything overlooked.
2022-01-23 07:49:23 -08:00
Pragmatic Software
af6ba85ce8
doc/VirtualMachine.md: fix minor typo
2020-01-11 14:42:41 -08:00
Pragmatic Software
06935a199a
Add doc/VirtualMachine.md framework [WIP]
2020-01-11 14:36:36 -08:00
