iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	New word-level representation package.	Alan Mishchenko	2014-09-12	1	-57/+0
*	Bug fix in transferring timing info.	Alan Mishchenko	2014-09-09	1	-0/+57
*	Improvements to power-aware mapping.	Alan Mishchenko	2014-06-23	1	-1/+1
*	Improvements to CNF generation.	Alan Mishchenko	2014-06-23	1	-1/+1
*	Improvements to CNF generation.	Alan Mishchenko	2014-06-23	1	-9/+35
*	Added quick GIG parser.	Alan Mishchenko	2014-06-19	1	-0/+59
*	add an option to write_cex to write the CEX in AIGER 1.9 format.	Baruch Sterin	2014-05-12	1	-1/+11
*	Added dumping original object names into a file.	Alan Mishchenko	2014-04-26	1	-2/+12
*	Renamed Abc_Lib_t into Abc_Des_t and removed some dead code.	Alan Mishchenko	2014-04-09	1	-232/+0
*	Better CEX minimization and renaming of write_counter into write_cex.	Alan Mishchenko	2014-04-04	1	-12/+27
*	Adding barrier buffers.	Alan Mishchenko	2014-03-16	1	-17/+27
*	Changes to LUT mappers.	Alan Mishchenko	2014-03-09	1	-0/+4
*	Adding check for the presence of precomputed data.	Alan Mishchenko	2013-12-29	1	-0/+5
*	New command &write_cnf.	Alan Mishchenko	2013-12-18	1	-0/+66
*	Debugging and finetuning the flow.	Alan Mishchenko	2013-09-17	1	-0/+2
*	Unifying standard cell library representations.	Alan Mishchenko	2013-09-17	1	-1/+1
*	New MFS package.	Alan Mishchenko	2013-05-24	1	-4/+4
*	Improvements to LMS code.	Alan Mishchenko	2012-11-06	1	-2/+2
*	Adding binary file dumping for truth tables.	Alan Mishchenko	2012-10-25	1	-1/+1
*	Adding binary file dumping for truth tables.	Alan Mishchenko	2012-10-25	1	-4/+18
*	Added hierarchical BLIF output for mapping with LUT structures (write_blif -a...	Alan Mishchenko	2012-10-24	1	-3/+8
*	Added command to transform GIA into the file with truth tables for each output.	Alan Mishchenko	2012-10-10	1	-0/+77
*	Replacing 'st_table' by 'st__table' to resolve linker problems.	Alan Mishchenko	2012-09-29	1	-1/+1
*	Cleaned up interfaces of genlib/liberty/supergate reading/writing.	Alan Mishchenko	2012-09-25	1	-5/+18
*	Changed printouts in a few places in supergate computation.	Alan Mishchenko	2012-09-24	1	-0/+2
*	Added simplification before the concurrent call to PDR.	Alan Mishchenko	2012-09-20	1	-2/+2
*	Modified 'read' to read all types of libraries (genlib, liberty, scl).	Alan Mishchenko	2012-09-20	1	-0/+2
*	Modified 'read' to read all types of libraries (genlib, liberty, scl).	Alan Mishchenko	2012-09-20	1	-2/+16
*	Fixes to Verilog parser.	Alan Mishchenko	2012-09-20	1	-0/+6
*	Created new abstraction package from the code that was all over the place.	Alan Mishchenko	2012-09-15	1	-0/+1
*	Updating project settings to have simpler include paths.	Alan Mishchenko	2012-07-07	1	-3/+3
*	Diabling compact AIGER writing by default.	Alan Mishchenko	2012-07-07	1	-1/+1
*	Graph isomorphism checking code.	Alan Mishchenko	2012-02-11	1	-4/+29
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	1	-3/+3
*	Added switch 'write_counter -f' to output flop values in each time frame.	Alan Mishchenko	2012-01-18	1	-20/+31
*	Added warning when the network from file has no primary inputs.	Alan Mishchenko	2012-01-06	1	-0/+5
*	Added support for generating a library of real-life truth-tables.	Alan Mishchenko	2011-12-09	1	-2/+0
*	Added support for generating a library of real-life truth-tables.	Alan Mishchenko	2011-12-09	1	-0/+2
*	Enabled counter-example minimization in 'write_counter'.	Alan Mishchenko	2011-11-11	1	-5/+31
*	Preventing scripts from aborting if reading has failed.	Alan Mishchenko	2011-11-08	1	-1/+1
*	C++ portability changes.	Alan Mishchenko	2011-10-27	1	-1/+1
*	Changes to CNF generation code.	Alan Mishchenko	2011-10-17	1	-6/+26
*	Modified write_blif to output LUT structures.	Alan Mishchenko	2011-10-04	1	-4/+20
*	Added dumping CEXes in AIGER format.	Alan Mishchenko	2011-06-21	1	-0/+48
*	Special BLIF writing (bug fixes).	Alan Mishchenko	2011-05-18	1	-3/+3
*	Special BLIF writing.	Alan Mishchenko	2011-05-18	1	-4/+11
*	Fixed a number of small bugs and memory leaks.	Alan Mishchenko	2011-03-27	1	-0/+1
*	Eneabled writing/reading pAbc->nFrames into/from status files.	Alan Mishchenko	2011-02-04	1	-6/+4
*	initial commit of public abc	Alan Mishchenko	2010-11-01	1	-43/+236
*	Version abc90528	Alan Mishchenko	2015-06-22	1	-3/+8