Select Git revision
- Branches 20
- demo_branch
- main default protected
- dbgen_ref
- 247-cmake-presets
- recomputeCapMap
- ppa_estimation
- design_simulator
- density
- aiger
- lec-tests-update
- simple_retiming
- create-kuehlmann-checker
- add_builder_from_rtlil
- use-kuehlmann-EQY
- abstract_write_design
- rand2
- technology_dependent_synthesizer
- updated_blif_printer
- bddmajfix
- buffering
- Tags 1
- v0.0-gnet
| Name | Last commit | Last update |
|---|---|---|