iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	Added command 'cexsave' and 'cexload'.	Alan Mishchenko	2012-11-14	2	-0/+2
\|
*	Integrating GIA with LUT mapping.	Alan Mishchenko	2012-10-24	1	-1/+1
\|
*	Updating readme.	Alan Mishchenko	2012-10-06	1	-3/+3
\|
*	Updating readme.	Alan Mishchenko	2012-10-06	1	-2/+6
\|
*	Changed 'readline' declaration rules.	Alan Mishchenko	2012-10-04	1	-2/+2
\|
*	Minor bug fix.	Alan Mishchenko	2012-10-04	1	-0/+3
\|
*	Added command 'starter' to call ABC concurrently.	Alan Mishchenko	2012-10-02	2	-3/+2
\|
*	Added detection of 'readline' library at compile-time.	Alan Mishchenko	2012-10-02	1	-2/+2
\|
*	Added detection of 'readline' library at compile-time.	Alan Mishchenko	2012-10-02	1	-2/+2
\|
*	Experiments with mini AIG manager.	Alan Mishchenko	2012-09-29	1	-4/+0
\|
*	Compiler warnings.	Alan Mishchenko	2012-09-29	1	-1/+4
\|
*	Added detection of 'readline' library at compile-time.	Alan Mishchenko	2012-09-29	1	-10/+9
\|
*	Replacing 'st_table' by 'st__table' to resolve linker problems.	Alan Mishchenko	2012-09-29	1	-3/+3
\|
*	Experiments with mini AIG manager.	Alan Mishchenko	2012-09-29	1	-0/+4
\|
*	Prepared &gla to try abstracting and proving concurrently.	Alan Mishchenko	2012-09-14	1	-2/+2
\|
*	Added -C to command line for running commands, then staying in interactive mode	Niklas Een	2012-09-11	1	-28/+39
\|
*	Better batch mode printout.	Alan Mishchenko	2012-09-04	1	-1/+1
\|
*	Bug fix: abstraction commands not properly updating status when dumping ↵	Alan Mishchenko	2012-08-28	2	-2/+2
\| \| \| \|	intermediate abstraction.
*	Improved printout of command history.	Alan Mishchenko	2012-08-27	1	-0/+3
\|
*	New package to read/write a subset of Liberty for STA.	Alan Mishchenko	2012-08-24	2	-0/+5
\|
*	Added recording history of used commands into file 'abc.history' (Windows only).	Alan Mishchenko	2012-08-24	1	-1/+1
\|
*	Added recording history of used commands into file 'abc.history' (Windows only).	Alan Mishchenko	2012-08-24	2	-8/+2
\|
*	Replacing printf() by Abc_Print().	Alan Mishchenko	2012-07-10	1	-1/+1
\|
*	Removing print-out message in bridge mode.	Alan Mishchenko	2012-07-09	1	-2/+4
\|
*	Adding printout to report command line executed in batch mode.	Alan Mishchenko	2012-07-08	1	-0/+1
\|
*	Updating project settings to have simpler include paths.	Alan Mishchenko	2012-07-07	8	-24/+24
\|
*	Fixing time primtouts throughout the code.	Alan Mishchenko	2012-07-07	1	-1/+1
\|
*	Making 'pdr', &gla, &vta print correctly in batch mode.	Alan Mishchenko	2012-07-07	3	-2/+5
\|
*	Included copyright statement into 'main.c'.	Alan Mishchenko	2012-05-11	1	-0/+27
\|
*	Misc changes.	Alan Mishchenko	2012-05-01	1	-2/+2
\|
*	Misc changes.	Alan Mishchenko	2012-04-27	2	-38/+44
\|
*	Updating the counter of finished frames when dumping intermediate ↵	Alan Mishchenko	2012-04-27	2	-4/+6
\| \| \| \|	abstraction in &vta.
*	Better interface with the new code.	Alan Mishchenko	2012-04-06	1	-2/+7
\|
*	Bug fix to prevent crashing when Abc_Print() is called while ABC is not ↵	Alan Mishchenko	2012-03-20	1	-2/+2
\| \| \| \|	initialized.
*	Exploration of ISO and minor changes.	Alan Mishchenko	2012-03-13	1	-0/+4
\|
*	Redirecting printf messages.	Alan Mishchenko	2012-03-02	1	-1/+1
\|
*	Adding features related to the communication bridge.	Alan Mishchenko	2012-03-02	5	-3/+20
\|
*	Added a way to disable support for dynamic linking.	Alan Mishchenko	2012-02-24	1	-0/+3
\|
*	Silenced a gcc warning.	Alan Mishchenko	2012-02-23	1	-1/+0
\|
*	pyabc: silnce more warnings	Baruch Sterin	2012-02-23	1	-4/+3
\|
*	Isomorphism checking code.	Alan Mishchenko	2012-02-17	3	-17/+22
\|
*	Major restructuring of the code.	Alan Mishchenko	2012-01-21	9	-39/+34
\|
*	Added support for generating a library of real-life truth-tables.	Alan Mishchenko	2011-12-09	1	-2/+2
\|
*	Added API to access the CEX vector.	Alan Mishchenko	2011-08-02	2	-0/+2
\|
*	Enabled saving vector of counter-examples in the ABC framework.	Alan Mishchenko	2011-08-02	1	-0/+1
\|
*	Improvements to timeout.	Alan Mishchenko	2011-05-11	1	-2/+4
\|
*	Fixing compilation problem which resulting from defining 'int c' as 'char c'.	Alan Mishchenko	2011-04-19	1	-2/+2
\|
*	Added test package.	Alan Mishchenko	2011-03-29	2	-1/+7
\|
*	Moved two new APIs for reading/writing CEX from/into ABC from abc.c to ↵	Alan Mishchenko	2011-02-19	2	-3/+6
\| \| \| \|	mainFrame.c.
*	pyabc: make the SIGINT signal handler clean up by sending SIGINT to child ↵	Baruch Sterin	2011-01-13	1	-1/+8
\| \| \| \|	processes registered by the python code. Also provide functions to block SIGINT and unblock it, to allow for critical sections where signals are blocked