Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add -no_sat and -init_registers synth options (#825)
* Add -no_sat and -init_registers synth options * Remove deprecated GUI settings * Sync no_sat value to GUI settings * Fix variable return in no_sat function getter * Fix logic for init_registers values and temp print statements * Add GUI settings for init_registers synth_option * Add init_registers in GUI settings * Fix formatting using clang-format * Revert "Fix formatting using clang-format" This reverts commit 3825f02. * Fix formatting
- Loading branch information