iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	Several improvements to CBA data-structure.	Alan Mishchenko	2015-02-13	8	-55/+54
\|
*	Modifications to read SMTLIB file from stdin.	Alan Mishchenko	2015-02-11	5	-13/+106
\|
*	Several improvements to CBA data-structure.	Alan Mishchenko	2015-02-11	8	-69/+200
\|
*	Adding resource limit switch -C to 'sop'.	Alan Mishchenko	2015-02-11	20	-57/+73
\|
*	Adding resource limit to 'sop'.	Alan Mishchenko	2015-02-10	1	-2/+2
\|
*	Adding resource limit to 'sop'.	Alan Mishchenko	2015-02-10	1	-1/+14
\|
*	Adding resource limit to 'fx'.	Alan Mishchenko	2015-02-10	1	-4/+6
\|
*	Adding resource limit to 'fx'.	Alan Mishchenko	2015-02-10	2	-5/+23
\|
*	Several improvements to CBA data-structure.	Alan Mishchenko	2015-02-09	7	-35/+126
\|
*	Several improvements to CBA data-structure.	Alan Mishchenko	2015-02-09	7	-96/+120
\|
*	Adding switch '-p' to control pin-permutation in &nf.	Alan Mishchenko	2015-02-08	1	-2/+6
\|
*	Diabling pin-permutation in &nf mapper.	Alan Mishchenko	2015-02-08	1	-4/+8
\|
*	Fixed a typo in variable names.	Alan Mishchenko	2015-02-07	11	-51/+51
\|
*	Added SMT parser for Wlc_Ntk_t.	Alan Mishchenko	2015-02-07	8	-54/+729
\|
*	Adding binary dump to CBA.	Alan Mishchenko	2015-02-05	7	-11/+394
\|
*	Improvements and tuning of CBA with buffering/sizing.	Alan Mishchenko	2015-02-04	8	-57/+65
\|
*	Esperiments with MO PLA optimization.	Alan Mishchenko	2015-02-03	6	-47/+308
\|
*	Bug fix in &nf.	Alan Mishchenko	2015-02-02	1	-3/+3
\|
*	Improvements and tuning of CBA.	Alan Mishchenko	2015-02-01	2	-3/+5
\|
*	Improvements and tuning of CBA.	Alan Mishchenko	2015-02-01	2	-9/+9
\|
*	Improvements and tuning of CBA.	Alan Mishchenko	2015-02-01	1	-4/+0
\|
*	Improvements and tuning of CBA.	Alan Mishchenko	2015-02-01	6	-60/+61
\|
*	Improvements and tuning of CBA.	Alan Mishchenko	2015-02-01	3	-12/+31
\|
*	Compiler warnings.	Alan Mishchenko	2015-01-31	3	-3/+4
\|
*	Compiler warnings.	Alan Mishchenko	2015-01-31	3	-2/+2
\|
*	Compiler warnings.	Alan Mishchenko	2015-01-31	4	-66/+66
\|
*	Major rehash of the CBA code.	Alan Mishchenko	2015-01-31	17	-2777/+3371
\|
*	Preprocessing for multi-output PLA tables.	Alan Mishchenko	2015-01-31	1	-17/+17
\|
*	Preprocessing for multi-output PLA tables.	Alan Mishchenko	2015-01-31	1	-3/+1
\|
*	Preprocessing for multi-output PLA tables.	Alan Mishchenko	2015-01-31	1	-19/+93
\|
*	Preprocessing for multi-output PLA tables.	Alan Mishchenko	2015-01-31	1	-22/+93
\|
*	Preprocessing for multi-output PLA tables.	Alan Mishchenko	2015-01-31	1	-45/+61
\|
*	Preprocessing for multi-output PLA tables.	Alan Mishchenko	2015-01-31	1	-0/+124
\|
*	Several ongoing changes.	Alan Mishchenko	2015-01-26	1	-1/+1
\|
*	Several ongoing changes.	Alan Mishchenko	2015-01-26	4	-18/+155
\|
*	Outputting initial state in Wlc_Ntk_t.	Alan Mishchenko	2015-01-26	1	-28/+25
\|
*	Outputting initial state in Wlc_Ntk_t.	Alan Mishchenko	2015-01-25	4	-20/+71
\|
*	Fix in deriving the init values for Wlc_Ntk_t.	Alan Mishchenko	2015-01-22	1	-0/+2
\|
*	Bug fix in &cone (not able to extract the last PO).	Alan Mishchenko	2015-01-22	1	-1/+1
\|
*	Support of init-state in AIGs derived from word-level designs in Wlc_Ntk_t.	Alan Mishchenko	2015-01-21	2	-2/+2
\|
*	Support of init-state in AIGs derived from word-level designs in Wlc_Ntk_t.	Alan Mishchenko	2015-01-21	4	-7/+72
\|
*	Organizing commands for barbuf-aware flow.	Alan Mishchenko	2015-01-20	4	-17/+52
\|
*	Word-level extension of Cba_Ntk_t.	Alan Mishchenko	2015-01-18	7	-36/+91
\|
*	Several small bug fixes.	Alan Mishchenko	2015-01-17	2	-2/+8
\|
*	Organizing commands for barbuf-aware flow.	Alan Mishchenko	2015-01-17	11	-144/+395
\|
*	Compiler warnings.	Alan Mishchenko	2015-01-16	2	-3/+2
\|
*	Organizing commands for barbuf-aware flow.	Alan Mishchenko	2015-01-16	11	-163/+606
\|
*	Various transformations of Cba_Ntk_t.	Alan Mishchenko	2015-01-15	5	-32/+59
\|
*	Various transformations of Cba_Ntk_t.	Alan Mishchenko	2015-01-15	3	-4/+1
\|
*	Various transformations of Cba_Ntk_t.	Alan Mishchenko	2015-01-15	7	-442/+467
\|