Ross Daly

Issue: There is the need to both specify only applying passes to certain instances/modules/generators instead of all of them. Proposal: 1. Be able to specify a filter for applying passes...

- [ ] Move libraries into a .coreir directory. - [ ] Separate libraries into separate repo (especially commonlib, mantle, float) - [ ] Create a concrete linking proposal which...

Code cleanup

1

- [ ] Apply .clang-format to all files - [ ] Replace all headers with #pragma once - [ ] (tentative) Move Simulator into separate repo - [ ] Update...

Verilog Generation

2

- [x] Replace verilog backend with verilogAST - [x] Replace metadata["verilog"] with concrete verilogAST definition - [ ] Replace verilog definitions of coreir/corebit with verilogAST - [ ] Linking unparameterized...

inline_verilog is unsafe currently. This issue track the cleanup of this feature. This requires the following tasks to be completed: - [ ] Add a set of debugging primitives (assertions,...

Using https://stackoverflow.com/questions/26032039/convert-vectorstring-into-char-c

Fixes double free issue for #841 This issue is to make the rest of the passes consistent with this fix.

For example coreir allows 'signed' as a port name, but that is a reserved keyword in verilog.