iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
\| * \|	Suggested bug fixes in the old code.	Alan Mishchenko	2022-01-21	6	-9/+8
\| \| \|
\| * \|	Compiler warnings.	Alan Mishchenko	2022-01-21	1	-6/+6
\| \| \|
\| * \|	Experiments with word-level data structures.	Alan Mishchenko	2022-01-21	10	-155/+2379
\| \| \|
\| * \|	Missing class name in the FreeBSD code.	Alan Mishchenko	2021-12-29	2	-2/+2
\| \| \|
\| * \|	Changes to pattern generation.	Alan Mishchenko	2021-12-26	1	-32/+63
\| \|/
\| *	Adding new command &icec.	Alan Mishchenko	2021-12-17	5	-8/+265
\| \|
\| *	Fixing a rare problem with choice nodes.	Alan Mishchenko	2021-12-16	1	-0/+26
\| \|
\| *	Compiler warning.	Alan Mishchenko	2021-12-16	1	-8/+7
\| \|
\| *	Adding new command %yosys.	Alan Mishchenko	2021-12-16	3	-0/+284
\| \|
\| *	Outputting the constant node in 'write_gml'.	Alan Mishchenko	2021-12-06	1	-0/+12
\| \|
\| *	Adding command-line switch 'testnpn -A 12' for P-only canonical form ↵	Alan Mishchenko	2021-12-03	3	-2/+16
\| \| \| \| \| \| \| \|	computation.
\| *	Bug fix in blasting word-level flops.	Alan Mishchenko	2021-12-02	2	-3/+11
\| \|
\| *	Disabling choices when they are computed incorrectly.	Alan Mishchenko	2021-11-30	2	-2/+9
\| \|
\| *	Changes to make compiler happy.	Alan Mishchenko	2021-11-27	10	-1/+231
\| \|
\| *	Merge branch 'master' of github.com:berkeley-abc/abc	Alan Mishchenko	2021-11-27	1	-1/+24
\| \|\
\| * \|	Bug fix in sweep (which happens to be a rare bug in Abc_NodeMinimumBase) ↵	Alan Mishchenko	2021-11-27	1	-0/+6
\| \| \| \| \| \| \| \| \| \| \| \|	(additional fix).
* \| \|	read_cex: Allow reading cex that has extra registers	Jannis Harder	2022-07-01	1	-0/+6
\| \| \|
* \| \|	distinquish between old and new format as well	Miodrag Milanovic	2022-05-06	1	-3/+3
\| \| \|
* \| \|	Give more reasonable error on read_cex and handle status	Miodrag Milanovic	2022-05-06	1	-4/+7
\| \| \|
* \| \|	Add missing class names in FreeBSD-ifdefed code.	Yuri Victorovich	2022-05-06	2	-2/+2
\| \| \|
* \| \|	Fix for unhandled aiw file commands	Miodrag Milanovic	2022-04-15	1	-2/+2
\| \| \|
* \| \|	Make read_cex able to append if some latches are missing	Miodrag Milanovic	2022-04-13	1	-3/+11
\| \| \|
* \| \|	fix buffer error	Miodrag Milanovic	2022-03-22	1	-2/+5
\| \| \|
* \| \|	gcc 4.8 fix	Miodrag Milanovic	2022-03-04	1	-3/+3
\| \| \|
* \| \|	read_cex (#12)	Miodrag Milanović	2022-03-04	1	-7/+285
\| \| \| \| \| \| \| \| \|	Added read_cex command
* \| \|	Merge pull request #11 from YosysHQ/writecex_cexinfo	Miodrag Milanović	2022-02-15	1	-30/+64
\|\ \ \ \| \| \| \| \| \| \| \|	Integrate write_cex and cexinfo and some fixes in write_cex output code
\| * \| \|	Fixes and more cleanups in write_cex output code	Claire Xenia Wolf	2022-02-15	1	-34/+27
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
\| * \| \|	Cleanups in write_cex output format	Claire Xenia Wolf	2022-02-15	1	-2/+7
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
\| * \| \|	Enable writing of minimized Cex in non-names mode	Claire Xenia Wolf	2022-02-15	1	-3/+7
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
\| * \| \|	write_cex - add minimize using algorithm from cexinfo command	Miodrag Milanovic	2021-11-19	1	-4/+36
\| \| \| \|
* \| \| \|	Extend WASI platform support for glucose2.	whitequark	2021-11-27	3	-0/+20
\|/ / / \| \| \| \| \| \| \| \| \|	Abort on OOM since there are no C++ exceptions yet.
* \| \|	Add WASI platform support to glucose2.	Miodrag Milanovic	2021-11-12	1	-8/+6
\| \| \| \| \| \| \| \| \| \| \| \|	Signed-off-by: Miodrag Milanovic <mmicko@gmail.com>
* \| \|	Define S_IREAD\|IWRITE macros using IRUSR\|IWUSR	Mohamed A. Bamakhrama	2021-11-12	1	-0/+17
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	On platforms such as Android, legacy macros are no longer defined. Hence, we define them in terms of the new POSIX macros if the new ones are defined. Otherwise, we throw an error. Signed-off-by: Mohamed A. Bamakhrama <mohamed@alumni.tum.de> Signed-off-by: Miodrag Milanovic <mmicko@gmail.com>
* \| \|	Add WASI platform support to bsat2 and glucose.	whitequark	2021-11-12	6	-0/+32
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Abort on OOM since there are no C++ exceptions yet. Signed-off-by: Miodrag Milanovic <mmicko@gmail.com>
* \| \|	Merge remote-tracking branch 'upstream/master' into yosys-experimental	Miodrag Milanovic	2021-11-12	237	-2622/+34584
\|\ \ \ \| \| \|/ \| \|/\|
\| * \|	Merge pull request #139 from antmicro/fix-unconnected-couts-upstream	alanminko	2021-11-10	1	-1/+24
\| \|\ \ \| \| \|/ \| \|/\|	Consider unconnected carry-out ports
\| \| *	Fix typo	Michael Gielda	2021-10-26	1	-1/+1
\| \| \|
\| \| *	Added including unconnected carry-outs in the carry-chain connection list.	Maciej Kurc	2021-10-25	1	-1/+24
\| \| \| \| \| \| \| \| \| \| \| \|	Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
\| * \|	Bug fix in processing NDR.	Alan Mishchenko	2021-11-08	3	-10/+31
\| \| \|
\| * \|	Temporary fix to a &blut problem.	Alan Mishchenko	2021-11-07	1	-2/+2
\| \| \|
\| * \|	Compiler warnings.	Alan Mishchenko	2021-11-05	2	-22/+37
\| \| \|
\| * \|	Bug fix and new procedures.	Alan Mishchenko	2021-11-02	1	-4/+4
\| \| \|
\| * \|	Bug fix and new procedures.	Alan Mishchenko	2021-11-02	3	-4/+70
\| \| \|
\| * \|	New API for external calls.	Alan Mishchenko	2021-10-26	2	-0/+17
\| \|/
\| *	Bug fix in sweep (which happens to be a rare bug in Abc_NodeMinimumBase).	Alan Mishchenko	2021-10-23	3	-6/+55
\| \|
\| *	Various changes.	Alan Mishchenko	2021-10-22	9	-82/+228
\| \|
\| *	Changing static to extern for two procedures.	Alan Mishchenko	2021-10-17	1	-2/+2
\| \|
\| *	Experiments with pattern generation.	Alan Mishchenko	2021-10-10	6	-0/+1471
\| \|
\| *	Experiments with SAT solving.	Alan Mishchenko	2021-10-09	3	-3/+1388
\| \|
\| *	New command &stochsyn for stochastic synthesis.	Alan Mishchenko	2021-10-07	2	-57/+213
\| \|