WARDuino Docs

This website includes documentation for the WARDuino virtual machine and related projects.

rocket_launch

Getting started

-> VS Code plugin

-> Automated testing

menu_book

References

-> WARDuino architecture

-> Built-in primitives

-> Remote debug protocol

-> EDWARD debugger

-> Latch testing

school

Tutorials

-> Example programs

-> Debugging with VS Code

-> Debugging concurrency issues

terminal

Developer's guide

-> Contributing

-> Debugging the debugger

-> Supported platforms

-> Roadmap open_in_new

package

Templates

-> AssemblyScript open_in_new

Research

WARDuino and the related projects documented here, are being developed as part of active research projects. The principle investigators at Ghent University and the VUB, maintain this documentation website and the associated software. You can find out more about the research on the published articles page.

-> Published articles