projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch 'master' of https://github.com/Siesh1oo/yosys
[yosys.git] / libs /
2014-03-12 Siesh1ooMerge branch 'master' of https://github.com/Siesh1oo... tree | commitdiff
2014-03-12 Clifford WolfAdded libs/minisat (copy of minisat git master) tree | commitdiff
2014-03-11 Clifford WolfMerged a few fixes for non-posix systems from github... tree | commitdiff
2014-03-10 Siesh1oo - libs/ezsat/ezminisat.cc: use sigemptyset() to clear... tree | commitdiff
2014-03-10 Siesh1oo - libs/ezsat/ezminisat.cc: use POSIX.2001 sigaction... tree | commitdiff
2014-03-10 Siesh1oo - libs/ezsat/ezsat.cc: need to #include <cmath> or... tree | commitdiff
2014-03-05 Clifford WolfSwitched to EZMINISAT_SIMPSOLVER as default SAT solver tree | commitdiff
2014-03-03 Clifford WolfezSAT: Added frozen_literal() API tree | commitdiff
2014-03-03 Clifford WolfezSAT: Fixed handling of eliminated Literals, added... tree | commitdiff
2014-03-01 Clifford WolfAdded ezSAT::eliminated API to help the SAT solver... tree | commitdiff
2014-03-01 Clifford WolfezSAT bugfix: don't call virtual methods in base class... tree | commitdiff
2014-03-01 Clifford WolfRemoved ezSAT::assumed() API tree | commitdiff
2014-03-01 Clifford WolfRemoved ezSAT built-in brute-froce solver tree | commitdiff
2014-02-23 Clifford WolfAdded support for Minisat::SimpSolver + ezSAT frezze... tree | commitdiff
2014-02-22 Clifford WolfAdded ezMiniSat EZMINISAT_INCREMENTAL compile-time... tree | commitdiff
2014-02-22 Clifford WolfMade MiniSat solver backend configurable in ezminisat.h tree | commitdiff
2014-02-18 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2014-02-18 Clifford WolfImproved non-verbose ezSAT::printDIMACS() format tree | commitdiff
2014-02-09 Clifford Wolffixed a bug in subcircuit library with cells that have... tree | commitdiff
2013-11-28 Clifford WolfMerge pull request #17 from mschmoelzer/master tree | commitdiff
2013-11-28 Martin SchmölzerInclude unistd.h in svgview.cpp (required for getcwd... tree | commitdiff
2013-11-28 Clifford WolfAdded QGraphicsWebView to yosys-svgviewer tree | commitdiff
2013-11-27 Clifford WolfAdded some svgviewer code for possible future switch... tree | commitdiff
2013-11-25 Clifford WolfAdded ezsat vec_const() api tree | commitdiff
2013-11-25 Clifford WolfRemoved undef feature from ezsat api tree | commitdiff
2013-11-03 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2013-10-31 Clifford WolfChanged MiniSAT feater defines again tree | commitdiff
2013-10-30 Clifford WolfFixed ezminisat C++ errors: undef PRIi64 tree | commitdiff
2013-10-11 Clifford WolfFixed minisat include tree | commitdiff
2013-08-15 Clifford WolfAdded ezsat api for creation of anonymous vectors tree | commitdiff
2013-08-11 Clifford WolfAdded SAT support for $div and $mod cells tree | commitdiff
2013-07-05 Clifford WolfFixed gcc warnings in ezminisat tree | commitdiff
2013-06-20 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2013-06-20 Clifford WolfAdded timout functionality to SAT solver tree | commitdiff
2013-06-12 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2013-06-12 Clifford WolfFixed gcc build (c++11 stuff in ezSAT) tree | commitdiff
2013-06-09 Clifford WolfAdded ezSAT api support for don't care values in models tree | commitdiff
2013-06-08 Clifford WolfFixes and improvements in ezSAT library tree | commitdiff
2013-06-07 Clifford WolfImproved sat generator and sat_solve pass tree | commitdiff
2013-06-07 Clifford WolfAdded ezSAT library tree | commitdiff
2013-05-16 Clifford WolfMerge branch 'bugfix' tree | commitdiff
2013-03-28 Clifford WolfImproved subcircuit verbose output (added portmapper... tree | commitdiff
2013-03-28 Clifford WolfFixed svgviewer hacks for builtin files tree | commitdiff
2013-03-27 Clifford WolfKeep viewport transform stable on reload in yosys-svgviewer tree | commitdiff
2013-03-27 Clifford WolfNow using SVG and yosys-svgviewer per default in show... tree | commitdiff
2013-03-27 Clifford WolfAdded yosys-svgviewer to build system and renamed filte... tree | commitdiff
2013-03-27 Clifford WolfImported svgviewer from qt4.8 tree | commitdiff
2013-03-25 Clifford WolfImproved verbose output of subcircuit tree | commitdiff
2013-03-07 Clifford WolfAdded portmapping support to subcircuit userCompareNode... tree | commitdiff
2013-03-06 Clifford WolfFixed mine test case for subcircuit library tree | commitdiff
2013-03-06 Clifford WolfFixed handling of constant values and port swapping... tree | commitdiff
2013-03-05 Clifford WolfAdded some simple progress information to verbose subci... tree | commitdiff
2013-03-03 Clifford WolfPerformance optimization in subcircuit mining tree | commitdiff
2013-03-03 Clifford WolfAdded "shared nodes" feature to the subcircuit library tree | commitdiff
2013-03-03 Clifford WolfFixed subcircuit allowOverlap=false corner case tree | commitdiff
2013-03-03 Clifford WolfFixed memory corruption in subcircuit miner tree | commitdiff
2013-03-03 Clifford WolfMinor hotfixes (mostly gcc build fixes) tree | commitdiff
2013-03-02 Clifford WolfFinished "extract -mine" feature tree | commitdiff
2013-03-02 Clifford WolfMore fun with subcircuit mining tree | commitdiff
2013-03-02 Clifford WolfAdded -mine option to extract pass (not finished) tree | commitdiff
2013-03-02 Clifford Wolfsubcircuit library: implied allExtern for mining tree | commitdiff
2013-03-02 Clifford WolfAdded frequent subcircuit miner to subcircuit library tree | commitdiff
2013-02-27 Clifford WolfMoved stand-alone libs to libs/ directory and added... tree | commitdiff