summaryrefslogtreecommitdiff
path: root/manual/APPNOTE_012_Verilog_to_BTOR.tex
Commit message (Expand)AuthorAge
* Switch the yosys manual font from luximono (non-free) to inconsolata (free)Sebastian Kuzminsky2019-10-18
* Squashed commit of the following:Ruben Undheim2016-09-23
* Spell check (by Larry Doolittle)Clifford Wolf2015-08-14
* Fixed trailing whitespacesClifford Wolf2015-07-02
* appnote 012 fixClifford Wolf2015-04-04
* Appnote 012Clifford Wolf2015-04-04
* appnote for verilog to btorAhmed Irfan2015-04-03