New ARTIQ compiler, third iteration

Go to file

Sebastien Bourdeauducq 613020a717 test: add missing id_to_name entry		2021-11-02 18:34:48 +08:00
.cargo	runkernel: sort out cargo rigmarole with rustc link arg	2021-11-01 00:28:27 +08:00
nac3artiq	Revert "nac3artiq/codegen: fixed smax problem"	2021-11-02 14:00:28 +08:00
nac3core	test: add missing id_to_name entry	2021-11-02 18:34:48 +08:00
nac3standalone	upgrade to LLVM 12	2021-11-02 14:00:20 +08:00
runkernel	runkernel: sort out cargo rigmarole with rustc link arg	2021-11-01 00:28:27 +08:00
.gitignore	nac3embedded: basic source extraction	2020-12-18 23:45:09 +08:00
Cargo.lock	upgrade to LLVM 12	2021-11-02 14:00:20 +08:00
Cargo.toml	runkernel: add simple host kernel runner	2021-10-31 23:52:43 +08:00
flake.lock	switch to Nix flakes	2021-10-08 00:04:22 +08:00
flake.nix	flake: add cargo-insta to dev shell	2021-11-02 18:13:59 +08:00
README.md	nac3embedded -> nac3artiq, README cleanup	2021-09-27 10:30:54 +08:00

README.md

NAC3 compiler

This repository contains:

nac3core: Core compiler library, containing type-checking and code generation.
nac3artiq: Integration with ARTIQ and implementation of ARTIQ-specific extensions to the core language.
nac3standalone: Standalone compiler tool (core language only).

The core compiler knows nothing about symbol resolution, host variables etc. nac3artiq and nac3standalone provide (implement) the symbol resolver to the core compiler for resolving the type and value for unknown symbols. The core compiler only type checks classes and functions requested by nac3artiq/nac3standalone (the API should allow the caller to specify which methods should be compiled). After type checking, the compiler analyses the set of functions/classes that are used and performs code generation.

value could be integer values, boolean values, bytes (for memcpy), function ID (full name + concrete type)