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 |
|
Martin Schmölzer
|
6ad868ae25
|
Include unistd.h in svgview.cpp (required for getcwd() function)
This fixes compilation on Arch Linux, which otherwise fails.
Signed-off-by: Martin Schmölzer <martin.schmoelzer@student.tuwien.ac.at>
|
2013-11-28 18:43:33 +01:00 |
|
Clifford Wolf
|
143a58bccc
|
Added QGraphicsWebView to yosys-svgviewer
|
2013-11-28 11:57:25 +01:00 |
|
Clifford Wolf
|
9826f6ae02
|
Added some svgviewer code for possible future switch to QGraphicsWebView
|
2013-11-27 20:43:42 +01:00 |
|
Clifford Wolf
|
11e8118589
|
Added ezsat vec_const() api
|
2013-11-25 15:10:32 +01:00 |
|
Clifford Wolf
|
4d43331748
|
Removed undef feature from ezsat api
|
2013-11-25 02:50:34 +01:00 |
|
Clifford Wolf
|
961eaa0077
|
Changed MiniSAT feater defines again
|
2013-10-31 12:02:18 +01:00 |
|
Clifford Wolf
|
3fc6c9aac6
|
Fixed ezminisat C++ errors: undef PRIi64
|
2013-10-30 17:25:39 +01:00 |
|
Clifford Wolf
|
a97520785a
|
Fixed minisat include
|
2013-10-11 21:17:01 +02:00 |
|
Clifford Wolf
|
457dc09cdc
|
Added ezsat api for creation of anonymous vectors
|
2013-08-15 14:40:26 +02:00 |
|
Clifford Wolf
|
ccf36cb7d8
|
Added SAT support for $div and $mod cells
|
2013-08-11 16:27:15 +02:00 |
|
Clifford Wolf
|
f519297da9
|
Fixed gcc warnings in ezminisat
|
2013-07-05 15:00:20 +02:00 |
|
Clifford Wolf
|
8fbb5b6240
|
Added timout functionality to SAT solver
|
2013-06-20 12:49:10 +02:00 |
|
Clifford Wolf
|
1bee82ae2d
|
Fixed gcc build (c++11 stuff in ezSAT)
|
2013-06-12 10:18:01 +02:00 |
|
Clifford Wolf
|
41932e8b64
|
Added ezSAT api support for don't care values in models
|
2013-06-09 14:21:18 +02:00 |
|
Clifford Wolf
|
25ae2d4df0
|
Fixes and improvements in ezSAT library
|
2013-06-08 12:14:20 +02:00 |
|
Clifford Wolf
|
56b593b91c
|
Improved sat generator and sat_solve pass
|
2013-06-07 14:37:33 +02:00 |
|
Clifford Wolf
|
3371563f2f
|
Added ezSAT library
|
2013-06-07 10:38:35 +02:00 |
|
Clifford Wolf
|
b9870a364e
|
Improved subcircuit verbose output (added portmapper results)
|
2013-03-28 11:36:54 +01:00 |
|
Clifford Wolf
|
c46597b697
|
Fixed svgviewer hacks for builtin files
|
2013-03-28 10:47:35 +01:00 |
|
Clifford Wolf
|
98fcb5daa3
|
Keep viewport transform stable on reload in yosys-svgviewer
|
2013-03-27 18:48:38 +01:00 |
|
Clifford Wolf
|
35a02ee81e
|
Now using SVG and yosys-svgviewer per default in show command
|
2013-03-27 18:14:16 +01:00 |
|
Clifford Wolf
|
9c401b58a2
|
Added yosys-svgviewer to build system and renamed filterlib to yosys-filterlib
|
2013-03-27 10:51:15 +01:00 |
|
Clifford Wolf
|
62b9e16f87
|
Imported svgviewer from qt4.8
This is from commit 543486a41963f8d20d9771d2107cdd5a22894bdb in the
Qt git repository: git://gitorious.org/qt/qt.git
|
2013-03-27 06:57:57 +01:00 |
|
Clifford Wolf
|
3737964809
|
Improved verbose output of subcircuit
|
2013-03-25 11:08:52 +01:00 |
|
Clifford Wolf
|
ed1ddea83b
|
Added portmapping support to subcircuit userCompareNodes() api
|
2013-03-07 17:54:18 +01:00 |
|
Clifford Wolf
|
9f2c7d0936
|
Fixed mine test case for subcircuit library
|
2013-03-06 09:44:29 +01:00 |
|
Clifford Wolf
|
594dbc4c93
|
Fixed handling of constant values and port swapping in subcircuit library
|
2013-03-06 09:38:47 +01:00 |
|
Clifford Wolf
|
21696c8367
|
Added some simple progress information to verbose subcircuit miner output
|
2013-03-05 19:22:59 +01:00 |
|
Clifford Wolf
|
f9a5fbf283
|
Performance optimization in subcircuit mining
|
2013-03-03 23:17:58 +01:00 |
|
Clifford Wolf
|
bc8d94b4ae
|
Added "shared nodes" feature to the subcircuit library
|
2013-03-03 21:19:55 +01:00 |
|
Clifford Wolf
|
40646d3516
|
Fixed subcircuit allowOverlap=false corner case
|
2013-03-03 20:33:55 +01:00 |
|
Clifford Wolf
|
afb4fa1aea
|
Fixed memory corruption in subcircuit miner
|
2013-03-03 13:33:02 +01:00 |
|