Skip to content

Commit

Permalink
calyx-pass [NAME tbd] (#2108)
Browse files Browse the repository at this point in the history
* Initial calyx-pass

* Update calyx-pass

* Update README.md

* Add image to README

* Implement custom scroll buffer

* Update formatting

* Update formatting (take 2)

* Make clippy happy

* Make clippy happy (take 2)

* Make clippy happy (take 3)

* Better error message for when calyx executable isn't found

* Fix pass application errors

Calyx IR is not deserializable so I worked around that

* Add pass disabling for breakpoints

* Improve documentation

* Add version flag and improve errors

* Fix calyx executable search bug

* Delete unnecessary files

* Improve TUI and code

Implemented changes from Rachit's review:

- Use a separate terminal library to handle most of the stuff for me so I don't have to worry about cross platform issues (I used `crossterm`)
- Updated scrollback buffer to respond to terminal resizes
- Other fixes and improvements

* Update version number

* Update documentation

* Fix undo bug

* Remove unnecessary clone

* Implement some Rachit changes

* Fix build
  • Loading branch information
ethanuppal authored Jun 12, 2024
1 parent 9a9ddb2 commit 81c8a7f
Show file tree
Hide file tree
Showing 15 changed files with 1,618 additions and 9 deletions.
2 changes: 2 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -57,3 +57,5 @@ tools/btor2/btor2i/build/
# vcd-parsing tmp files ignore
tools/profiler/tmp/
tools/profiler/logs

temp/
156 changes: 147 additions & 9 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

1 change: 1 addition & 0 deletions Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,7 @@ members = [
"data-conversion",
"tools/btor2/btor2i",
"tools/cider-data-converter",
"tools/calyx-pass-explorer",
"tools/yxi",
]
exclude = ["site"]
Expand Down
Loading

0 comments on commit 81c8a7f

Please sign in to comment.