iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Fixed &gla to work in the bridge mode.	Alan Mishchenko	2012-07-07	1	-19/+11
*	Making 'pdr', &gla, &vta print correctly in batch mode.	Alan Mishchenko	2012-07-07	1	-0/+3
*	Commands &fla_gla/&gla_fla to convert between flop-level and gate-level abstr...	Alan Mishchenko	2012-07-06	1	-71/+0
*	Other improvements to &vta and &gla.	Alan Mishchenko	2012-07-05	1	-7/+10
*	Other improvements to &vta and &gla.	Alan Mishchenko	2012-07-05	1	-138/+132
*	Other improvements to &vta and &gla.	Alan Mishchenko	2012-07-04	1	-1/+13
*	Various changes to enable sensitization-based refinement in &gla.	Alan Mishchenko	2012-07-04	1	-0/+6
*	Performance improvement in &gla.	Alan Mishchenko	2012-07-04	1	-4/+36
*	Other improvements to &vta and &gla.	Alan Mishchenko	2012-07-01	1	-11/+72
*	Bug fix in &vta.	Alan Mishchenko	2012-06-29	1	-42/+66
*	Bug fix when &vta returns empty absraction.	Alan Mishchenko	2012-06-29	1	-15/+20
*	Bug fix in &gla -d.	Alan Mishchenko	2012-06-29	1	-0/+3
*	Improving printouts in &vta and &gla.	Alan Mishchenko	2012-06-28	1	-6/+8
*	Added memory reporting to &vta.	Alan Mishchenko	2012-06-22	1	-6/+29
*	Switch -A <file_name> to specify file name for dumping abstrated model with &...	Alan Mishchenko	2012-06-21	1	-2/+3
*	Writing status file vta.status when dumping intermediate abstraction in &vta.	Alan Mishchenko	2012-04-27	1	-1/+3
*	Updating the counter of finished frames when dumping intermediate abstraction...	Alan Mishchenko	2012-04-27	1	-0/+3
*	Adding dumping abstractions in &vta.	Alan Mishchenko	2012-04-15	1	-2/+5
*	Added dumping abstracted model in &vta.	Alan Mishchenko	2012-04-07	1	-2/+2
*	Added dumping abstracted model in &vta.	Alan Mishchenko	2012-04-07	1	-0/+36
*	Do not cancel the current abstraction when a new refinement is discovered in ...	Alan Mishchenko	2012-03-09	1	-3/+3
*	Commenting out verbose statements.	Alan Mishchenko	2012-03-08	1	-4/+4
*	Adding features related to the communication bridge.	Alan Mishchenko	2012-03-02	1	-9/+77
*	Redirecting printf messages.	Alan Mishchenko	2012-03-02	1	-50/+42
*	Silencing some of the gcc warnings.	Alan Mishchenko	2012-02-16	1	-8/+3
*	Variable timeframe abstraction.	Alan Mishchenko	2012-02-16	1	-11/+40
*	Variable timeframe abstraction.	Alan Mishchenko	2012-02-13	1	-4/+15
*	Variable timeframe abstraction.	Alan Mishchenko	2012-02-13	1	-0/+1
*	Variable timeframe abstraction.	Alan Mishchenko	2012-02-13	1	-4/+2
*	Variable timeframe abstraction.	Alan Mishchenko	2012-02-12	1	-9/+12
*	Variable timeframe abstraction.	Alan Mishchenko	2012-02-11	1	-1/+3
*	Variable timeframe abstraction.	Alan Mishchenko	2012-02-11	1	-5/+5
*	Variable timeframe abstraction.	Alan Mishchenko	2012-02-11	1	-4/+21
*	Variable timeframe abstraction.	Alan Mishchenko	2012-02-11	1	-5/+5
*	Variable timeframe abstraction.	Alan Mishchenko	2012-02-11	1	-39/+84
*	Graph isomorphism checking code.	Alan Mishchenko	2012-01-29	1	-2/+12
*	Variable timeframe abstraction.	Alan Mishchenko	2012-01-28	1	-4/+5
*	Variable timeframe abstraction.	Alan Mishchenko	2012-01-28	1	-2/+7
*	Variable timeframe abstraction.	Alan Mishchenko	2012-01-28	1	-3/+2
*	Variable timeframe abstraction.	Alan Mishchenko	2012-01-27	1	-1/+1
*	Variable timeframe abstraction.	Alan Mishchenko	2012-01-27	1	-92/+68
*	Variable timeframe abstraction.	Alan Mishchenko	2012-01-24	1	-2/+3
*	Variable timeframe abstraction.	Alan Mishchenko	2012-01-24	1	-42/+250
*	Variable timeframe abstraction.	Alan Mishchenko	2012-01-23	1	-7/+17
*	Variable timeframe abstraction.	Alan Mishchenko	2012-01-21	1	-170/+245
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	1	-12/+13
*	Variable timeframe abstraction.	Alan Mishchenko	2012-01-20	1	-25/+48
*	Variable timeframe abstraction.	Alan Mishchenko	2012-01-20	1	-172/+216
*	Variable timeframe abstraction.	Alan Mishchenko	2012-01-16	1	-211/+159
*	Variable timeframe abstraction.	Alan Mishchenko	2012-01-16	1	-127/+136