iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Preventing command history from being overwritten by internal scripts.	Alan Mishchenko	2021-01-09	1	-1/+2
\|
*	Fixing broken build and compiler warnings.	Alan Mishchenko	2020-04-17	1	-1/+1
\|
*	Adding limit on the depth of recursion when counting exact area in 'amap'.	Alan Mishchenko	2019-10-26	1	-5/+5
\|
*	Add special handling of script-level assertions.	Alan Mishchenko	2019-03-20	1	-2/+98
\|
*	Fixing some warnings by adding cast from 'int' to 'size_t' in memset, ↵	Alan Mishchenko	2019-03-05	1	-2/+2
\| \| \| \|	memcpy, etc.
*	Adding switch &w -n to modify the comment section of the AIGER file written.	Alan Mishchenko	2018-11-21	1	-1/+1
\|
*	Suggested fix: close file.	Alan Mishchenko	2018-10-16	1	-1/+2
\|
*	New commands for backing up networks.	Alan Mishchenko	2017-08-04	1	-6/+0
\|
*	Saturating floating point computation.	Alan Mishchenko	2017-07-01	1	-1/+1
\|
*	Macro to prevent writing history file.	Alan Mishchenko	2017-03-02	1	-3/+5
\|
*	Adding APIs to mark cones. Creating test-bench for incremental solving ↵	Alan Mishchenko	2017-02-11	1	-3/+3
\| \| \| \|	&satoko -i.
*	Updates to the autotuner.	Alan Mishchenko	2017-02-10	1	-23/+186
\|
*	Word-level abstraction.	Alan Mishchenko	2017-02-09	1	-2/+2
\|
*	Editing output messages.	Alan Mishchenko	2017-02-08	1	-3/+3
\|
*	Editing output messages.	Alan Mishchenko	2017-02-08	1	-3/+3
\|
*	Compiler warning.	Alan Mishchenko	2017-02-08	1	-7/+6
\|
*	Autotuner for 'satoko'.	Alan Mishchenko	2017-02-08	3	-0/+637
\|
*	Change suggested by Udi Finkelstein.	Alan Mishchenko	2017-01-09	2	-40/+2
\|
*	Enabling AIGs without structural hashing.	Alan Mishchenko	2016-05-20	1	-1/+1
\|
*	load_plugin: remove a comment that became redundant and cleaned up a bit	Baruch Sterin	2015-11-10	1	-7/+2
\|
*	load_plugin: remove a check that the binary exists when a plugin command ↵	Baruch Sterin	2015-11-10	1	-6/+0
\| \| \| \|	runs - the registration was successful, so the binary should exist. The check was remove to allow the -p option for load_plugin to work.
*	Add a -p option to load_plugin, given this option, the command does not ↵	Baruch Sterin	2015-11-07	1	-31/+84
\| \| \| \|	require an absolute path for theplugin. Instead, the shell searches PATH for it.
*	Adding new command 'abcrc' to load "abc.rc" on demand.	Alan Mishchenko	2015-03-10	1	-5/+25
\|
*	Compiler warnings.	Alan Mishchenko	2015-02-19	1	-0/+1
\|
*	Propagating changes after updating flag of 'sop'.	Alan Mishchenko	2015-02-19	1	-3/+3
\|
*	Adding resource limit switch -C to 'sop'.	Alan Mishchenko	2015-02-11	1	-3/+3
\|
*	Changes to history recording and other small things.	Alan Mishchenko	2014-11-30	1	-1/+1
\|
*	Changes to history recording and other small things.	Alan Mishchenko	2014-11-30	1	-0/+2
\|
*	Added check if a given command exists.	Alan Mishchenko	2014-11-18	2	-0/+17
\|
*	Preparing to work with C++ code.	Alan Mishchenko	2014-10-21	1	-0/+8
\|
*	Deriving AIG after cell mapping.	Alan Mishchenko	2014-10-03	1	-1/+28
\|
*	Improvements to bit-blaster.	Alan Mishchenko	2014-09-30	1	-2/+3
\|
*	Command to rename files in the same directory.	Alan Mishchenko	2014-09-28	1	-0/+191
\|
*	Debugging the bit-blaster.	Alan Mishchenko	2014-09-23	1	-1/+1
\|
*	Concurrency for Boolean matching.	Alan Mishchenko	2014-09-18	1	-1/+1
\|
*	Adding barrier buffers.	Alan Mishchenko	2014-03-16	1	-2/+2
\|
*	Patching ABC for Yosys.	Alan Mishchenko	2013-11-27	1	-2/+4
\|
*	Patching ABC for Yosys.	Alan Mishchenko	2013-11-27	3	-45/+103
\|
*	Compiler warnings.	Alan Mishchenko	2013-10-30	1	-1/+1
\|
*	Code for parsing the transcripts.	Alan Mishchenko	2013-08-02	1	-0/+18
\|
*	Code for parsing the transcripts.	Alan Mishchenko	2013-07-30	1	-0/+124
\|
*	Adding a wrapper around clock() for more accurate time counting in ABC.	Alan Mishchenko	2013-05-27	2	-5/+5
\|
*	Changing command 'history' to have simpler interface.	Alan Mishchenko	2013-05-18	1	-28/+11
\|
*	Making changes suggested by Mark Jarvin.	Alan Mishchenko	2013-05-04	1	-4/+1
\|
*	Misc changes.	Alan Mishchenko	2013-03-07	1	-2/+2
\|
*	Unifification of custom extensions.	Alan Mishchenko	2012-12-10	1	-2/+2
\|
*	Added switch for netlist type to 'send_aig'. Changed defautl to &-space. ↵	Niklas Een	2012-10-30	1	-50/+57
\| \| \| \|	Fixed printf -> Abc_Print in some places.
*	Added command 'starter' to call ABC concurrently.	Alan Mishchenko	2012-10-02	2	-4/+4
\|
*	Added command 'starter' to call ABC concurrently.	Alan Mishchenko	2012-10-02	2	-31/+85
\|
*	Added command 'starter' to call ABC concurrently.	Alan Mishchenko	2012-10-02	5	-5/+304
\|