iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Update to &show to show AIGs with XORs and MUXes (derived by &st -m).	Alan Mishchenko	2016-05-04	2	-4/+30
\|
*	Updating GIG parser.	Alan Mishchenko	2016-05-01	3	-182/+386
\|
*	Fanout restriction in &edge.	Alan Mishchenko	2016-04-30	2	-16/+48
\|
*	This code was accidentally deleted from the SAT solver (effectively ↵	Alan Mishchenko	2016-04-30	1	-0/+7
\| \| \| \|	disabling restarts!)
*	Updating old script.	Alan Mishchenko	2016-04-30	1	-1/+1
\|
*	Suggested bug fix in st__strhash().	Alan Mishchenko	2016-04-30	1	-7/+6
\|
*	Experiments with arithmetic circuits.	Alan Mishchenko	2016-04-28	5	-4/+305
\|
*	Adding option to rehash AIG after mapping.	Alan Mishchenko	2016-04-27	13	-21/+22
\|
*	Extending &satlut to work for 6-LUTs.	Alan Mishchenko	2016-04-27	2	-9/+17
\|
*	Adding missing code to 'dress'.	Alan Mishchenko	2016-04-27	1	-0/+65
\|
*	Using seed assignment of edges in &edge.	Alan Mishchenko	2016-04-27	3	-2/+17
\|
*	Bug fix in bit-blasting of remainder.	Alan Mishchenko	2016-04-26	1	-1/+1
\|
*	Improved algo for edge computation.	Alan Mishchenko	2016-04-24	1	-1/+1
\|
*	Improved algo for edge computation.	Alan Mishchenko	2016-04-24	3	-12/+90
\|
*	Adding new switch 'bdd -s' to translate SOP directly into BDD.	Alan Mishchenko	2016-04-24	1	-3/+9
\|
*	Improved algo for edge computation.	Alan Mishchenko	2016-04-23	4	-55/+74
\|
*	Improved algo for edge computation.	Alan Mishchenko	2016-04-22	8	-9/+454
\|
*	Experimental algorithm for edge optimization.	Alan Mishchenko	2016-04-13	5	-13/+403
\|
*	Bug fix: change in the ordering of the reset flop (should be last, not first).	Alan Mishchenko	2016-04-13	1	-2/+2
\|
*	Adding new implementation of LEXSAT.	Alan Mishchenko	2016-04-12	3	-1/+75
\|
*	Restructing sat_solver_solve() method for pushing/popping assumptions.	Alan Mishchenko	2016-04-12	3	-151/+153
\|
*	Removing unused feature of the SAT solver (user-guided variable ordering).	Alan Mishchenko	2016-04-12	2	-53/+1
\|
*	Removing unused feature of the SAT solver (native support for cardinality ↵	Alan Mishchenko	2016-04-12	3	-33/+2
\| \| \| \|	constraint).
*	Updating compilation instruction for the case when Readline or Pthreads are ↵	Alan Mishchenko	2016-04-12	1	-2/+2
\| \| \| \|	used.
*	Typo in Makefile.	Alan Mishchenko	2016-04-12	1	-1/+1
\|
*	Updates to Exorcism package	Alan Mishchenko	2016-04-11	1	-6/+4
\|
*	Updates to Exorcism package	Alan Mishchenko	2016-04-11	1	-1/+1
\|
*	Updates to Exorcism package	Alan Mishchenko	2016-04-11	2	-19/+18
\|
*	Updates to Exorcism package	Alan Mishchenko	2016-04-11	1	-1/+1
\|
*	Updates to Exorcism package	Alan Mishchenko	2016-04-11	1	-1/+1
\|
*	Added Exorcism package, reading ESOP (read_pla -x file.esop) and deriving ↵	Alan Mishchenko	2016-04-11	16	-33/+3921
\| \| \| \|	AIG (cubes -x; st).
*	Supporting edge information during mapping.	Alan Mishchenko	2016-04-11	8	-48/+79
\|
*	Command &esop to convert AIG into ESOP.	Alan Mishchenko	2016-04-09	6	-0/+600
\|
*	Adding hashing of windows in &satlut.	Alan Mishchenko	2016-04-07	1	-3/+19
\|
*	Adding AIG rehashing after LUT mapping in Gia.	Alan Mishchenko	2016-04-07	1	-3/+0
\|
*	Adding AIG rehashing after LUT mapping in Gia.	Alan Mishchenko	2016-04-07	5	-9/+82
\|
*	Supporting edges in delay-optimization in &satlut.	Alan Mishchenko	2016-04-07	2	-19/+46
\|
*	Supporting edges in delay-optimization in &satlut.	Alan Mishchenko	2016-04-07	5	-20/+236
\|
*	Supporting edges in delay-optimization in &satlut.	Alan Mishchenko	2016-04-07	7	-151/+568
\|
*	Supporting edge information during mapping.	Alan Mishchenko	2016-04-06	7	-2/+304
\|
*	Supporting negative and reverse ranges of word-level variables in Wlc.	Alan Mishchenko	2016-04-04	6	-106/+168
\|
*	Improvements to delay-optimization in &satlut.	Alan Mishchenko	2016-04-04	4	-112/+214
\|
*	Improvements to delay-optimization in &satlut.	Alan Mishchenko	2016-04-04	3	-158/+269
\|
*	Improvements to delay-optimization in &satlut.	Alan Mishchenko	2016-04-04	4	-23/+112
\|
*	Improvements to delay-optimization in &satlut.	Alan Mishchenko	2016-04-03	3	-87/+330
\|
*	Enabling native Gia visualization in &show.	Alan Mishchenko	2016-04-03	5	-7/+390
\|
*	Allowing Cba manager to be derived from another Cba manager.	Alan Mishchenko	2016-04-02	2	-3/+3
\|
*	Windowing for technology mapping.	Alan Mishchenko	2016-03-30	9	-190/+460
\|
*	Windowing for technology mapping.	Alan Mishchenko	2016-03-29	6	-13/+436
\|
*	Bug fix in truth table reading for funcs with less than 6 vars.	Alan Mishchenko	2016-03-28	3	-3/+3
\|