6 commits

Author	SHA1	Message	Date
Clifford Wolf	1d0f0d668a	Renamed opt_const to opt_expr	2016-03-31 08:46:56 +02:00
Clifford Wolf	84bf862f7c	Spell check (by Larry Doolittle)	2015-08-14 10:56:05 +02:00
Clifford Wolf	6c84341f22	Fixed trailing whitespaces	2015-07-02 11:14:30 +02:00
Clifford Wolf	0737bf5fb8	appnote 012 fix	2015-04-04 15:13:35 +02:00
Clifford Wolf	1d5d1f79f9	Appnote 012	2015-04-04 14:52:25 +02:00
Ahmed Irfan	7ad179151b	appnote for verilog to btor	2015-04-03 16:20:29 +02:00