iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Adding resource limit to stop &gla when the number of remaining objects is le...	Alan Mishchenko	2013-09-21	1	-1/+1
*	Adding resource limit to stop &gla when the number of remaining objects is le...	Alan Mishchenko	2013-09-21	1	-0/+8
*	Buf fix in Liberty parser.	Alan Mishchenko	2013-09-19	1	-1/+1
*	Added bridge integration for multi-output 'bmc3 -a'.	Alan Mishchenko	2013-09-17	1	-8/+5
*	Added bridge integration for multi-output 'bmc3 -a'.	Alan Mishchenko	2013-09-17	3	-0/+14
*	Integrating input driving cell constraint into buffering/sizing.	Alan Mishchenko	2013-09-17	4	-3/+26
*	Debugging and finetuning the flow.	Alan Mishchenko	2013-09-17	6	-65/+91
*	Debugging and finetuning the flow.	Alan Mishchenko	2013-09-17	1	-1/+1
*	Debugging and finetuning the flow.	Alan Mishchenko	2013-09-17	6	-22/+62
*	Adding commands to set and print timing constraints.	Alan Mishchenko	2013-09-17	8	-38/+217
*	Compiler warning about unused variable.	Alan Mishchenko	2013-09-17	1	-2/+2
*	Unifying standard cell library representations.	Alan Mishchenko	2013-09-17	13	-105/+316
*	Changing dynamic CNF loading code to perform loading before propagate() as op...	Alan Mishchenko	2013-09-16	1	-0/+31
*	Adding switch to enable reuse of proof-obligations in the last timeframe.	Alan Mishchenko	2013-09-16	3	-2/+7
*	Adding new switch to &if to relax the delay.	Alan Mishchenko	2013-09-16	3	-9/+31
*	Added bridge integration for multi-output 'pdr -a'.	Alan Mishchenko	2013-09-16	1	-1/+1
*	Added bridge integration for multi-output 'pdr -a'.	Alan Mishchenko	2013-09-16	2	-6/+3
*	Added bridge integration for multi-output 'pdr -a'.	Alan Mishchenko	2013-09-16	5	-13/+44
*	Bug fix in PDR.	Alan Mishchenko	2013-09-16	1	-1/+1
*	Bug fix in XOR balancing.	Alan Mishchenko	2013-09-15	1	-4/+3
*	Infrastructure to support full Liberty format and unitification of library re...	Alan Mishchenko	2013-09-15	1	-4/+4
*	Infrastructure to support full Liberty format and unitification of library re...	Alan Mishchenko	2013-09-15	1	-2/+4
*	Infrastructure to support full Liberty format and unitification of library re...	Alan Mishchenko	2013-09-15	13	-616/+2234
*	Fixing return value of 'pdr -a'.	Alan Mishchenko	2013-09-15	1	-1/+5
*	Handling the case when all outputs are undecided in 'pdr -a' with per-output ...	Alan Mishchenko	2013-09-14	2	-6/+3
*	Fixing several bugs, which led to unsound results produced by 'pdr -a' with p...	Alan Mishchenko	2013-09-13	3	-4/+15
*	Enabling additional printouts in 'pdr'.	Alan Mishchenko	2013-09-13	2	-2/+11
*	Added command &struct for profiling non-dec structures.	Alan Mishchenko	2013-09-13	3	-0/+112
*	Fix a bug in 'zeropo'.	Alan Mishchenko	2013-09-13	1	-1/+1
*	Removing duplicated typedef line.	Alan Mishchenko	2013-09-13	1	-1/+0
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-12	1	-1/+6
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-12	3	-14/+40
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-12	6	-76/+216
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-12	4	-40/+156
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-12	1	-7/+5
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-12	1	-19/+32
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-12	1	-7/+17
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-11	3	-60/+50
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-11	3	-9/+128
*	Improvements to the new technology mapper.	Alan Mishchenko	2013-09-11	1	-49/+26
*	Command '&slice' to cut out the bottom part of the AIG.	Alan Mishchenko	2013-09-11	3	-0/+109
*	Corrected variable naming in clause2_proofid().	Alan Mishchenko	2013-09-11	1	-1/+1
*	Small performance bug in new 'fx'.	Alan Mishchenko	2013-09-11	1	-1/+1
*	Updates for the new BMC engine.	Alan Mishchenko	2013-09-10	1	-10/+16
*	Updates for the new BMC engine.	Alan Mishchenko	2013-09-10	1	-1/+5
*	Updates for the new BMC engine.	Alan Mishchenko	2013-09-10	4	-11/+640
*	New API to return the set of all reachable states as an AIG.	Alan Mishchenko	2013-09-10	2	-2/+97
*	Added sorting equiv classes by the index of their representatives.	Alan Mishchenko	2013-09-10	1	-0/+2
*	Moving #include to the top of the file in 'giaUtil.c'.	Alan Mishchenko	2013-09-10	1	-2/+1
*	Updates for the new BMC engine.	Alan Mishchenko	2013-09-09	2	-40/+91