iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	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
*	Fixing memory leak in LTL property handling code	Alan Mishchenko	2010-12-02	1	-0/+1
\|
*	Rearranging data members in the structure (not a bug)	Alan Mishchenko	2010-11-29	1	-2/+2
\|
*	Added API Abc_FrameReadGia	Alan Mishchenko	2010-11-29	2	-0/+18
\|
*	initial commit of public abc	Alan Mishchenko	2010-11-01	10	-133/+350
\|
*	Version abc90807	Alan Mishchenko	2015-06-22	1	-1/+1
\| \| \| \|	committer: Baruch Sterin <baruchs@gmail.com>
*	Version abc90714	Alan Mishchenko	2015-06-22	3	-123/+73
\| \| \| \|	committer: Baruch Sterin <baruchs@gmail.com>
*	Version abc90528	Alan Mishchenko	2015-06-22	1	-0/+124
\| \| \| \|	committer: Baruch Sterin <baruchs@gmail.com>
*	Version abc90313	Alan Mishchenko	2009-03-13	1	-2/+2
\|
*	Version abc90311	Alan Mishchenko	2009-03-11	1	-0/+1
\|
*	Version abc90215	Alan Mishchenko	2009-02-15	6	-59/+38
\|
*	Version abc90118	Alan Mishchenko	2009-01-18	4	-11/+18
\|
*	Version abc81029	Alan Mishchenko	2008-10-29	1	-0/+4
\|
*	Version abc81014	Alan Mishchenko	2008-10-14	1	-1/+1
\|
*	Version abc81004	Alan Mishchenko	2008-10-04	1	-3/+15
\|