From 527a7b64dc75c08c94c0f85544eb4ff6a9f7b4a1 Mon Sep 17 00:00:00 2001 From: Robin Jadoul Date: Tue, 20 Jan 2026 17:09:35 +0100 Subject: [PATCH] =?UTF-8?q?=C2=A0spec:=20placeholder=20chapters=20for=20ch?= =?UTF-8?q?ips=20to=20come?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- spec/book.typ | 2 ++ spec/dvrm.typ | 17 +++++++++++++++++ spec/ecall.typ | 17 +++++++++++++++++ 3 files changed, 36 insertions(+) create mode 100644 spec/dvrm.typ create mode 100644 spec/ecall.typ diff --git a/spec/book.typ b/spec/book.typ index 3363c0c26..677a33b93 100644 --- a/spec/book.typ +++ b/spec/book.typ @@ -14,7 +14,9 @@ #chapter("memw.typ")[MEMW] #chapter("lt.typ")[LT] #chapter("mul.typ")[MUL chip] + #chapter("dvrm.typ")[DVRM chip] #chapter("load.typ")[LOAD chip] + #chapter("ecall.typ")[ECALL chips] #chapter("bitwise.typ")[BITWISE] ] ) diff --git a/spec/dvrm.typ b/spec/dvrm.typ new file mode 100644 index 000000000..69e79cee2 --- /dev/null +++ b/spec/dvrm.typ @@ -0,0 +1,17 @@ +#import "/book.typ": book-page +#import "/src.typ": load_config, load_chip +#import "/chip.typ": ( + render_chip_column_table, + total_nr_variables, + total_nr_instantiated_columns, + render_constraint_table, + render_chip_assumptions, + render_chip_padding_table, +) + +#let config = load_config() +// #let chip = load_chip("src/dvrm.toml", config) + +#show: book-page.with(title: "DVRM chip") + +*placeholder chapter: WIP* diff --git a/spec/ecall.typ b/spec/ecall.typ new file mode 100644 index 000000000..fee25768c --- /dev/null +++ b/spec/ecall.typ @@ -0,0 +1,17 @@ +#import "/book.typ": book-page +#import "/src.typ": load_config, load_chip +#import "/chip.typ": ( + render_chip_column_table, + total_nr_variables, + total_nr_instantiated_columns, + render_constraint_table, + render_chip_assumptions, + render_chip_padding_table, +) + +#let config = load_config() + +#show: book-page.with(title: "ECALL chips") + +*placeholder chapter: WIP* +