5 Commits

Author	SHA1	Message	Date
Clifford Wolf	23bb77867f	Minor style fixes ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-12-18 20:02:39 +01:00
makaimann	abf5930a33	Add btor ops for $mul, $div, $mod and $concat	2018-12-17 10:45:17 -08:00
Clifford Wolf	82d1fd77de	Add btor $shift/$shiftx support	2017-12-11 14:24:19 +01:00
Clifford Wolf	cc119b5232	Fix btor back-end shift handling	2017-12-10 08:40:11 +01:00
Clifford Wolf	83cf736309	Add support for more cell types to btor back-end	2017-12-10 07:16:47 +01:00