M-Labs/nac3
M-Labs/nac3
8
1
Fork 12
Code Issues 99 Pull Requests 19 Releases Wiki Activity
New ARTIQ compiler, third iteration
1,441 Commits 32 Branches 0 Tags 63 MiB
Rust 88.9%
Python 6.8%
C++ 2.2%
Nix 1.8%
Shell 0.2%
Other 0.1%
master
Go to file
Sebastien Bourdeauducq 1531b6cc98 cargo: update dependencies
2024-12-13 19:42:01 +08:00
nac3artiq [artiq] Reimplement get_obj_value for strided ndarray 2024-12-13 15:23:31 +08:00
nac3ast [meta] Cleanup from upgrading Rust version 2024-11-19 13:43:57 +08:00
nac3core [core] codegen: Implement matrix_power 2024-12-13 15:23:31 +08:00
nac3ld [meta] Apply rustfmt changes 2024-11-29 15:43:34 +08:00
nac3parser [meta] Cleanup from upgrading Rust version 2024-11-19 13:43:57 +08:00
nac3standalone [core] codegen: Implement matrix_power 2024-12-13 15:23:31 +08:00
nix msys2: update 2024-12-13 19:39:39 +08:00
runkernel [meta] Cleanup from upgrading Rust version 2024-11-19 13:43:57 +08:00
.clang-format add .clang-format 2024-08-27 22:55:22 +08:00
.clippy.toml meta: Restrict number of allowed lints 2024-06-12 16:10:57 +08:00
.gitignore standalone/demo: separate linalg functions from main workspace 2024-08-05 11:44:54 +08:00
.pre-commit-config.yaml [meta] Update pre-commit configuration 2024-11-19 13:20:27 +08:00
Cargo.lock cargo: update dependencies 2024-12-13 19:42:01 +08:00
Cargo.toml [core_derive] Initial implementation 2024-11-20 15:35:55 +08:00
flake.lock flake: update dependencies 2024-12-13 19:41:52 +08:00
flake.nix flake: add platformdirs artiq dependency 2024-11-22 20:30:30 +08:00
nac3.svg add icon 2022-04-18 15:07:53 +08:00
README.md meta: Update README to include info regarding pre-commit hooks 2024-06-12 16:10:57 +08:00
rustfmt.toml move rustfmt.toml upper 2022-01-09 11:31:06 +08:00

README.md

icon

NAC3

NAC3 is a major, backward-incompatible rewrite of the compiler for the ARTIQ physics experiment control and data acquisition system. It features greatly improved compilation speeds, a much better type system, and more predictable and transparent operation.

NAC3 has a modular design and its applicability reaches beyond ARTIQ. The nac3core module does not contain anything specific to ARTIQ, and can be used in any project that requires compiling Python to machine code.

WARNING: NAC3 is currently experimental software and several important features are not implemented yet.

Packaging

NAC3 is packaged using the Nix Flakes system. Install Nix 2.8+ and enable flakes by adding experimental-features = nix-command flakes to nix.conf (e.g. ~/.config/nix/nix.conf).

Try NAC3

Linux

After setting up Nix as above, use nix shell git+https://github.com/m-labs/artiq.git?ref=nac3 to get a shell with the NAC3 version of ARTIQ. See the examples directory in ARTIQ (nac3 Git branch) for some samples of NAC3 kernel code.

Windows

Install MSYS2, and open "MSYS2 CLANG64". Edit /etc/pacman.conf to add:

[artiq]
SigLevel = Optional TrustAll
Server = https://msys2.m-labs.hk/artiq-nac3

Then run the following commands:

pacman -Syu
pacman -S mingw-w64-clang-x86_64-artiq

For developers

This repository contains:

  • nac3ast: Python abstract syntax tree definition (based on RustPython).
  • nac3parser: Python parser (based on RustPython).
  • nac3core: Core compiler library, containing type-checking and code generation.
  • nac3standalone: Standalone compiler tool (core language only).
  • nac3ld: Minimalist RISC-V and ARM linker.
  • nac3artiq: Integration with ARTIQ and implementation of ARTIQ-specific extensions to the core language.
  • runkernel: Simple program that runs compiled ARTIQ kernels on the host and displays RTIO operations. Useful for testing without hardware.

Use nix develop in this repository to enter a development shell. If you are using a different shell than bash you can use e.g. nix develop --command fish.

Build NAC3 with cargo build --release. See the demonstrations in nac3artiq and nac3standalone.

Pre-Commit Hooks

You are strongly recommended to use the provided pre-commit hooks to automatically reformat files and check for non-optimal Rust practices using Clippy. Run pre-commit install to install the hook and pre-commit will automatically run cargo fmt and cargo clippy for you.

Several things to note:

  • If cargo fmt or cargo clippy returns an error, the pre-commit hook will fail. You should fix all errors before trying to commit again.
  • If cargo fmt reformats some files, the pre-commit hook will also fail. You should review the changes and, if satisfied, try to commit again.