Skip to content

Commit

Permalink
remove note about features
Browse files Browse the repository at this point in the history
  • Loading branch information
EclecticGriffin committed Jul 15, 2024
1 parent 48806db commit 3d620d2
Showing 1 changed file with 0 additions and 13 deletions.
13 changes: 0 additions & 13 deletions interp/README.md
Original file line number Diff line number Diff line change
@@ -1,20 +1,7 @@
# Cider: Calyx Interpreter and Debugger


## Usage
For instructions and examples on using the interpreter functionality, see
[this page](https://docs.calyxir.org/interpreter.html) on the docs.

For examples of using the interactive debugging mode see [the docs](https://docs.calyxir.org/debug/cider.html).

## Compilation Options
By default cargo will compile cider with the `change-based-sim` feature enabled
which is a slightly more optimized version of the core simulation algorithm. You
can compile Cider with the naive simulation algorithm by disabling the default
feature:
```
cargo build --no-default-features
```

The release build of Cider is notably faster however since it uses rust's LTO
the compilation time takes a few minutes.

0 comments on commit 3d620d2

Please sign in to comment.