165 commits

Author	SHA1	Message	Date
Eddie Hung	afa4389445	Get rid of formal stuff from xaiger backend	2019-02-14 13:27:26 -08:00
Eddie Hung	ecd2446132	Add write_xaiger	2019-02-11 15:18:42 -08:00
Eddie Hung	db08afe146	Copy backends/aiger/aiger.cc to xaiger.cc	2019-02-08 14:53:12 -08:00
Clifford Wolf	82aaf6d908	Add "write_aiger -I -O -B" ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-11-12 09:27:33 +01:00
Henner Zeller	3aa4484a3c	Consistent use of 'override' for virtual methods in derived classes. ... o Not all derived methods were marked 'override', but it is a great feature of C++11 that we should make use of. o While at it: touched header files got a -*- c++ -*- for emacs to provide support for that language. o use YS_OVERRIDE for all override keywords (though we should probably use the plain keyword going forward now that C++11 is established)	2018-07-20 23:51:06 -07:00
Clifford Wolf	5442554e6f	Fix generation of multiple outputs for same AIG node in write_aiger	2017-07-05 14:23:54 +02:00
Clifford Wolf	287831dca3	Include output ports with constant driver in AIGER output	2017-07-03 14:53:17 +02:00
Clifford Wolf	c365e33fd7	Fix AIGER back-end for multiple symbols per input/latch/output/property	2017-05-30 19:09:11 +02:00
Clifford Wolf	9ed4c9d710	Improve write_aiger handling of unconnected nets and constants	2017-05-28 11:31:35 +02:00
Clifford Wolf	a6ca28276e	Add write_aiger $anyseq support	2017-03-02 16:39:48 +01:00
Clifford Wolf	dac0842d61	Add $live and $fair support to AIGER back-end.	2017-02-25 13:07:15 +01:00
Clifford Wolf	a61c88f122	Added $anyconst support to AIGER back-end	2016-12-11 13:48:18 +01:00
Clifford Wolf	a44cc7a3d1	Added $assert/$assume support to AIGER back-end	2016-12-03 13:20:29 +01:00
Clifford Wolf	5fa1fa1e6f	Added "write_aiger -zinit -symbols -vmap"	2016-12-01 11:04:36 +01:00
Clifford Wolf	c1f762ca56	Added "write_aiger" command	2016-11-30 21:30:24 +01:00