projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add ice40 test_dsp_map test case generator
[yosys.git] / libs / ezsat /
2019-01-02 Clifford WolfMerge pull request #770 from whitequark/opt_expr_cmp tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #755 from Icenowy/anlogic-dram-init tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #750 from Icenowy/anlogic-ff-init tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #773 from whitequark/opt_lut_elim_fixes tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #772 from whitequark/synth_lut tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #771 from whitequark/techmap_cmp2lut tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #769 from whitequark/typos tree | commitdiff
2019-01-02 whitequarkFix typographical and grammatical errors and inconsiste... tree | commitdiff
2017-11-28 Clifford WolfMerge pull request #462 from daveshah1/up5k tree | commitdiff
2017-11-27 Clifford WolfMerge branch 'master' into btor-ng tree | commitdiff
2017-11-26 Clifford WolfMerge pull request #460 from mithro/g3-fixes tree | commitdiff
2017-11-26 Tim 'mithro' Ansellminisat: Only define __STDC_XXX_MACROS if not already... tree | commitdiff
2016-07-08 Clifford WolfMerge branch 'yosys-0.5-vtr' of https://github.com... tree | commitdiff
2016-02-13 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2016-02-13 Clifford WolfAdded "int ceil_log2(int)" function tree | commitdiff
2015-08-14 Clifford WolfSpell check (by Larry Doolittle) tree | commitdiff
2015-07-02 Clifford WolfFixed trailing whitespaces tree | commitdiff
2015-04-03 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol... tree | commitdiff
2015-02-01 Clifford WolfMerge pull request #48 from rubund/master tree | commitdiff
2015-02-01 Clifford WolfImproved performance in equiv_simple tree | commitdiff
2015-01-24 Clifford WolfAdded ENABLE_NDEBUG makefile options tree | commitdiff
2014-12-29 Clifford WolfAdded statehash to ezSAT tree | commitdiff
2014-10-18 Clifford WolfFixed various VS warnings tree | commitdiff
2014-10-17 Clifford WolfMore win32 (mxe and vs) build fixes tree | commitdiff
2014-10-17 Clifford WolfVarious win32 / vs build fixes tree | commitdiff
2014-10-17 William SpeirsHeader changes so it will compile on VS tree | commitdiff
2014-10-11 Clifford WolfNot using std::to_string in ezsat (problems with mingw) tree | commitdiff
2014-10-11 Clifford WolfDisabled ezminisat timeout feature for Win32 tree | commitdiff
2014-10-10 Clifford WolfRenamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because... tree | commitdiff
2014-09-22 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol... tree | commitdiff
2014-07-30 Clifford WolfAdded native support for shift operations to ezSAT tree | commitdiff
2014-07-25 Clifford WolfRemoved Minisat dependency on zlib tree | commitdiff
2014-07-21 Clifford WolfAdded ezSAT::keep_cnf() and ezSAT::non_incremental() tree | commitdiff
2014-07-20 Clifford WolfFixed ezSAT stand-alone build tree | commitdiff
2014-05-09 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2014-05-06 Clifford WolfImproved ezsat stand-alone tests tree | commitdiff
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
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