89 commits

Author	SHA1	Message	Date
Clifford Wolf	58ee8e3b8a	Add minisat 00_PATCH_typofixes.patch	2017-03-27 14:37:00 +02:00
Clifford Wolf	71cbe98a09	Remove use of <fpu_control.h> in minisat	2017-03-27 14:32:43 +02:00
Clifford Wolf	0d7fd2585e	Added "int ceil_log2(int)" function	2016-02-13 16:52:16 +01:00
Clifford Wolf	84bf862f7c	Spell check (by Larry Doolittle)	2015-08-14 10:56:05 +02:00
Clifford Wolf	6c84341f22	Fixed trailing whitespaces	2015-07-02 11:14:30 +02:00
Clifford Wolf	893fe87a33	Improved performance in equiv_simple	2015-02-01 22:50:48 +01:00
Clifford Wolf	2a9ad48eb6	Added ENABLE_NDEBUG makefile options	2015-01-24 12:16:46 +01:00
Clifford Wolf	29a555ec7e	Added statehash to ezSAT	2014-12-29 17:10:37 +01:00
Clifford Wolf	df52eedb30	Compile fix for visual studio	2014-12-11 15:27:38 +01:00
SlowRiot	4aae465867	switching from unreliable typedefs to precisely sized uint32_t and uint64_t	2014-11-20 02:03:08 +00:00
SlowRiot	76cc2bf7b4	fixing incorrect buffer size allocation, and unsafe integer size type	2014-11-20 01:58:57 +00:00
Clifford Wolf	84ffe04075	Fixed various VS warnings	2014-10-18 15:20:38 +02:00
Clifford Wolf	b3a6f8f530	More win32 (mxe and vs) build fixes	2014-10-17 16:04:59 +02:00
Clifford Wolf	468ae92374	Various win32 / vs build fixes	2014-10-17 14:01:47 +02:00
William Speirs	31267a1ae8	Header changes so it will compile on VS	2014-10-17 11:41:36 +02:00
Clifford Wolf	cf85aab62f	A few indent fixes	2014-10-15 01:05:08 +02:00
William Speirs	9ee3a4b94f	Changed to explicit heap allocated memory	2014-10-15 00:58:56 +02:00
Clifford Wolf	7df8cbe2a9	Not using std::to_string in ezsat (problems with mingw)	2014-10-11 10:46:50 +02:00
Clifford Wolf	93e6ebe771	Disabled ezminisat timeout feature for Win32	2014-10-11 10:24:46 +02:00
Clifford Wolf	54bf3a95dd	More Win32 build fixes	2014-10-10 18:34:19 +02:00
Clifford Wolf	7cb0d3aa1a	Renamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because of name collision on Win32	2014-10-10 17:07:24 +02:00
Ruben Undheim	79cbf9067c	Corrected spelling mistakes found by lintian	2014-09-06 08:47:06 +02:00
Clifford Wolf	ee29ae2206	Removed yosys-svgviewer	2014-09-02 03:52:46 +02:00
Clifford Wolf	bd74ed7da4	Replaced sha1 implementation	2014-08-01 19:01:10 +02:00
Clifford Wolf	1cb25c05b3	Moved some stuff to kernel/yosys.{h,cc}, using Yosys:: namespace	2014-07-31 13:19:47 +02:00
Clifford Wolf	9b566a7efa	Added native support for shift operations to ezSAT	2014-07-30 18:37:17 +02:00
Clifford Wolf	6789e3002a	Removed Minisat dependency on zlib	2014-07-25 03:41:54 +02:00
Clifford Wolf	b1d520949b	Added ezSAT::keep_cnf() and ezSAT::non_incremental()	2014-07-21 02:01:32 +02:00
Clifford Wolf	ade659e617	Fixed ezSAT stand-alone build	2014-07-21 01:03:01 +02:00
Clifford Wolf	92c9403249	Updated minisat	2014-07-21 01:01:26 +02:00
Clifford Wolf	c6b3f4e089	Using relative path names in minisat headers	2014-07-21 01:00:39 +02:00
Clifford Wolf	30774ec6bc	Improved ezsat stand-alone tests	2014-05-06 13:48:25 +02:00
Clifford Wolf	d2d48996c4	minisat compile fix	2014-04-20 14:17:40 +02:00
Anthony J. Bentley	66a5da5edc	POSIX find requires a path argument.	2014-04-04 16:51:27 -06:00
Clifford Wolf	fad8558eb5	Merged OSX fixes from Siesh1oo with some modifications	2014-03-13 12:48:10 +01:00
Clifford Wolf	a4d72de91d	Some fixes in libs/minisat (thanks to Siesh1oo)	2014-03-12 23:28:10 +01:00
Clifford Wolf	94c1307c26	Added libs/minisat (copy of minisat git master)	2014-03-12 10:17:51 +01:00
Clifford Wolf	91704a7853	Merged a few fixes for non-posix systems from github.com/Siesh1oo/yosys ... (see https://github.com/cliffordwolf/yosys/pull/28)	2014-03-11 14:24:24 +01:00
Clifford Wolf	b1b8fe3a56	Switched to EZMINISAT_SIMPSOLVER as default SAT solver	2014-03-05 19:57:10 +01:00
Clifford Wolf	d5bd93997c	ezSAT: Added frozen_literal() API	2014-03-03 02:13:17 +01:00
Clifford Wolf	895e9fc70c	ezSAT: Fixed handling of eliminated Literals, added auto-freeze for expressions	2014-03-03 02:12:45 +01:00
Clifford Wolf	d500bd749f	Added ezSAT::eliminated API to help the SAT solver remember eliminated variables	2014-03-01 21:00:34 +01:00
Clifford Wolf	23f0a12c72	ezSAT bugfix: don't call virtual methods in base class constructor	2014-03-01 20:59:00 +01:00
Clifford Wolf	edc2146056	Removed ezSAT::assumed() API	2014-03-01 20:55:06 +01:00
Clifford Wolf	e3debea4e6	Removed ezSAT built-in brute-froce solver	2014-03-01 20:53:09 +01:00
Clifford Wolf	dab1612f81	Added support for Minisat::SimpSolver + ezSAT frezze() API	2014-02-23 01:35:59 +01:00
Clifford Wolf	357f3f6e93	Added ezMiniSat EZMINISAT_INCREMENTAL compile-time option	2014-02-22 11:34:31 +01:00
Clifford Wolf	1ec01d8c63	Made MiniSat solver backend configurable in ezminisat.h	2014-02-22 01:29:02 +01:00
Clifford Wolf	61a2bf57b4	Improved non-verbose ezSAT::printDIMACS() format	2014-02-18 09:25:41 +01:00
Clifford Wolf	d229324420	fixed a bug in subcircuit library with cells that have connections to itself	2014-02-09 15:27:58 +01:00