Skip to content

Commit

Permalink
doc: ctl (#1158)
Browse files Browse the repository at this point in the history
Co-authored-by: Matthias Görgens <matthias.goergens@mozak.com>
Co-authored-by: Kapil <39694928+codeblooded1729@users.noreply.github.com>
  • Loading branch information
3 people authored Feb 20, 2024
1 parent e25e04d commit f8363d4
Show file tree
Hide file tree
Showing 11 changed files with 161 additions and 7 deletions.
4 changes: 1 addition & 3 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -21,9 +21,7 @@ tmp
*.csv
.env
/perftool/build
*.svg
!air.svg
!main-logo.svg
perftool/plots/*.svg

# Generated IOTapes
*.tape
Expand Down
5 changes: 3 additions & 2 deletions book/SUMMARY.md
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,8 @@
- [Trace Generation](technical/trace_generation.md)
- [Writing Starky Constraints](technical/writing_starky_constraints.md)
- [Memory Design and Checking](technical/memory_design_and_checking.md)
- [Cross Table Lookups](technical/cross_table_lookups.md)
- [LookUp Arguments](technical/lookups/main.md)
- [LogUp](technical/lookups/logup.md)

<!-- # Reference Guide
Expand All @@ -36,4 +37,4 @@
<!-- starky -->
<!-- cross table lookup -->
<!-- logup -->
<!-- constrains of different instructions -->
<!-- constraints of different instructions -->
21 changes: 21 additions & 0 deletions book/assets/ctlarg.svg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
21 changes: 21 additions & 0 deletions book/assets/permutationarg.svg
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading

0 comments on commit f8363d4

Please sign in to comment.