Missing log_pop() at end of yosys-plugin - Githubissues

lnis-uofu / LSOracle

IDEA project source files

MIT License

94 stars 42 forks source link

Missing log_pop() at end of yosys-plugin #56

Closed gadfort closed 3 years ago

gadfort commented 3 years ago

The yosys plugin should have a log_pop() to match the log_push() earlier: https://github.com/lnis-uofu/LSOracle/blob/5202124ddfa51ea9c9cfa46ba951c47c0c9d6e62/yosys-plugin/oracle.cc#L1474 https://github.com/lnis-uofu/LSOracle/blob/5202124ddfa51ea9c9cfa46ba951c47c0c9d6e62/yosys-plugin/oracle.cc#L1626