iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	Supporting wide MUX in NDR.	Alan Mishchenko	2018-05-16	1	-2/+7
\|
*	Bug fix in the naming of outputs in %blast -d.	Alan Mishchenko	2018-05-10	1	-3/+21
\|
*	Bug fix in &sat -x.	Alan Mishchenko	2018-05-07	2	-2/+5
\|
*	Adding &sat -x to save CEXes for multi-output combinational miters.	Alan Mishchenko	2018-05-06	4	-4/+56
\|
*	Updates to NDR format (bug fixes).	Alan Mishchenko	2018-05-03	4	-32/+39
\|
*	Updates to NDR format (flops, memories, signed mult, etc).	Alan Mishchenko	2018-04-29	10	-100/+596
\|
*	The ECO code (fix to the broken build).	Alan Mishchenko	2018-04-28	1	-2/+2
\|
*	Adding switch &w -p to dump AIG in a Verilog file.	Alan Mishchenko	2018-04-25	3	-2/+195
\|
*	The ECO code.	Alan Mishchenko	2018-04-25	1	-2/+11
\|
*	The ECO code.	Alan Mishchenko	2018-04-25	2	-8/+2500
\|
*	Typo in the command description.	Alan Mishchenko	2018-04-25	1	-5/+5
\|
*	Memory abstraction.	Alan Mishchenko	2018-04-20	4	-10/+20
\|
*	Memory abstraction.	Alan Mishchenko	2018-04-19	4	-154/+284
\|
*	Memory abstraction.	Alan Mishchenko	2018-04-15	9	-84/+1090
\|
*	Adding adder-subtractor primitive.	Alan Mishchenko	2018-04-11	1	-1/+3
\|
*	Making sure duplicated inverters are not created.	Alan Mishchenko	2018-04-11	1	-3/+9
\|
*	Merge pull request #8 from sterin/master	sterin	2018-04-02	2	-8/+34
\|\ \| \| \| \|	Travis: build with namespaces enabled
\| *	Travis: build with namespaces enabled, and	Baruch Sterin	2018-04-02	2	-8/+34
\| \| \| \| \| \| \| \|	make sure src/demo.c can be compiled under C++ and with ABC in a namespace
* \|	Merge pull request #7 from sterin/master	sterin	2018-03-30	1	-1/+7
\|\\| \| \| \| \|	Makefile: add support for ABC_USE_STDINT_H
\| *	Makefile: add support for ABC_USE_STDINT_H	Baruch Sterin	2018-03-30	1	-1/+7
\|/
*	Merge pull request #2 from rqou/master	sterin	2018-03-30	2	-0/+56
\|\ \| \| \| \|	Use C99 header stdint.h to determine platform-dependent types and macros
\| *	Rename new flag to ABC_USE_STDINT_H	Robert Ou	2018-03-29	2	-7/+7
\| \|
\| *	Add an option to use C99 stdint.h	Robert Ou	2018-03-26	2	-0/+56
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	If ABC_HAVE_STDINT_H is defined, standard C99 headers will be used to define all of the platform-dependent types required. arch_flags will also no longer be required. This new define is optional and must be manually enabled by setting ARCHFLAGS.
* \|	Merge pull request #5 from sterin/master	sterin	2018-03-29	1	-4/+2
\|\ \ \| \| \| \| \| \|	README: minor updates
\| * \|	README: minor updates	Baruch Sterin	2018-03-29	1	-4/+2
\|/ /
* \|	Merge pull request #1 from gpshead/patch-1	sterin	2018-03-29	1	-1/+1
\|\ \ \| \| \| \| \| \|	point to github instead of bitbucket
\| * \|	point to github instead of bitbucket	Gregory P. Smith	2018-03-26	1	-1/+1
\| \|/
* \|	Merge pull request #3 from kmurray/fix_cmake_libabc_dependency	sterin	2018-03-29	1	-4/+6
\|\ \ \| \|/ \|/\|	CMake: Ensure abc executable depends on libabc
\| *	CMake: Ensure abc executable depends on libabc	kmurray	2018-03-28	1	-4/+6
\|/ \| \| \| \| \| \|	This ensures that libabc is built only once. Previously the code for libabc was being built twice: once for the abc executable target, and again for the libabc target.
*	Integrating SAT-based CEX minimization (bug fix).	Alan Mishchenko	2018-03-25	3	-11/+11
\|
*	Integrating SAT-based CEX minimization.	Alan Mishchenko	2018-03-25	4	-10/+145
\|
*	Adding new NPN code (compiler fix).	Alan Mishchenko	2018-03-25	1	-9/+9
\|
*	Adding new NPN code (compiler fix).	Alan Mishchenko	2018-03-25	1	-1/+1
\|
*	Adding new NPN code developed by XueGong Zhou at Fudan University.	Alan Mishchenko	2018-03-25	4	-144/+1098
\|
*	Updating &mfs to support hard objects.	Alan Mishchenko	2018-03-23	2	-2/+55
\|
*	Adding switch 'scorr -f' to dump inductive invariant as an AIG.	Alan Mishchenko	2018-03-22	7	-20/+36
\|
*	Temporary bug fix for signal names in WLC (correction).	Alan Mishchenko	2018-03-21	1	-2/+5
\|
*	Temporary bug fix for signal names in WLC.	Alan Mishchenko	2018-03-21	1	-0/+2
\|
*	Continuos integration support of both Travis CI (Linux and macOS) and ↵	Baruch Sterin	2018-03-11	3	-1/+69
\| \| \| \|	Appveyor (Windows)
*	Bug fix in blasting with boxes.	Alan Mishchenko	2018-03-06	1	-1/+1
\|
*	Extending primitives supported by WLC.	Alan Mishchenko	2018-03-03	3	-5/+85
\|
*	Adding parameters and improvements to %blast.	Alan Mishchenko	2018-02-28	6	-1/+20
\|
*	Adding parameters and improvements to %blast.	Alan Mishchenko	2018-02-28	13	-101/+319
\|
*	Adding support for adders with carry-in in WLC and NDR.	Alan Mishchenko	2018-02-24	5	-5/+113
\|
*	Bug fix in NDR handling.	Alan Mishchenko	2018-02-20	1	-6/+38
\|
*	Merge two branches.	Alan Mishchenko	2018-02-20	1	-33/+81
\|\
\| *	Improvements to circuit based solver.	Alan Mishchenko	2018-02-20	1	-33/+81
\| \|
* \|	Small fix in satoko.	Bruno Schmitt	2018-02-20	2	-3/+1
\|/
*	Compilation problem with pow().	Alan Mishchenko	2018-02-19	4	-7/+7
\|
*	Improvements to circuit based solver.	Alan Mishchenko	2018-02-17	1	-193/+490
\|