projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Bump version
[yosys.git] / libs / ezsat / ezsat.cc
2022-02-11 Claire XenMerge branch 'master' into clk2ff-better-names blob | commitdiff | raw
2022-02-11 Claire XenMerge pull request #2019 from boqwxp/glift blob | commitdiff | raw
2021-06-09 Claire XenMerge pull request #2817 from YosysHQ/claire/fixemails blob | commitdiff | raw
2021-06-07 Claire Xenia WolfFixing old e-mail addresses and deadnames blob | commitdiff | raw
2020-04-15 N. EngelhardtMerge pull request #1830 from boqwxp/qbfsat blob | commitdiff | raw | diff to current
2020-04-10 whitequarkMerge pull request #1603 from whitequark/ice40-ram_style blob | commitdiff | raw | diff to current
2020-04-08 Sahand KashaniMerge branch 'master' of github.com:YosysHQ/yosys into... blob | commitdiff | raw | diff to current
2020-04-07 Claire WolfMerge pull request #1814 from YosysHQ/mmicko/pyosys_mak... blob | commitdiff | raw | diff to current
2020-04-06 whitequarkMerge pull request #1859 from boqwxp/design_duplicate blob | commitdiff | raw | diff to current
2020-04-02 Eddie HungMerge pull request #1853 from YosysHQ/eddie/fix_dynslice blob | commitdiff | raw | diff to current
2020-04-02 Claire WolfMerge pull request #1846 from dh73/ast_fe blob | commitdiff | raw | diff to current
2020-04-02 Claire WolfMerge pull request #1842 from YosysHQ/mwk/fix-deminout-xz blob | commitdiff | raw | diff to current
2020-04-02 Eddie HungMerge pull request #1845 from YosysHQ/eddie/kernel_speedup blob | commitdiff | raw | diff to current
2020-04-02 Claire WolfMerge pull request #1770 from YosysHQ/claire/btor_symbols blob | commitdiff | raw | diff to current
2020-04-02 Claire WolfMerge pull request #1765 from YosysHQ/claire/btor_info blob | commitdiff | raw | diff to current
2020-04-02 Claire WolfMerge pull request #1777 from YosysHQ/claire/manyhot blob | commitdiff | raw | diff to current
2020-04-02 Claire WolfImprove ezsat onehot encoding scheme blob | commitdiff | raw | diff to current
2020-04-02 Claire WolfUsing LFSR counter for ezSAT::manyhot() blob | commitdiff | raw | diff to current
2016-07-08 Clifford WolfMerge branch 'yosys-0.5-vtr' of https://github.com... blob | commitdiff | raw | diff to current
2016-02-13 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys blob | commitdiff | raw | diff to current
2016-02-13 Clifford WolfAdded "int ceil_log2(int)" function blob | commitdiff | raw | diff to current
2015-07-02 Clifford WolfFixed trailing whitespaces blob | commitdiff | raw | diff to current
2015-04-03 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol... blob | commitdiff | raw | diff to current
2015-01-24 Clifford WolfAdded ENABLE_NDEBUG makefile options blob | commitdiff | raw | diff to current
2014-12-29 Clifford WolfAdded statehash to ezSAT blob | commitdiff | raw | diff to current
2014-10-18 Clifford WolfFixed various VS warnings blob | commitdiff | raw | diff to current
2014-10-17 Clifford WolfMore win32 (mxe and vs) build fixes blob | commitdiff | raw | diff to current
2014-10-11 Clifford WolfNot using std::to_string in ezsat (problems with mingw) blob | commitdiff | raw | diff to current
2014-10-10 Clifford WolfRenamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because... blob | commitdiff | raw | diff to current
2014-09-22 Ahmed IrfanMerge branch 'master' of https://github.com/cliffordwol... blob | commitdiff | raw | diff to current
2014-07-30 Clifford WolfAdded native support for shift operations to ezSAT blob | commitdiff | raw | diff to current
2014-07-21 Clifford WolfAdded ezSAT::keep_cnf() and ezSAT::non_incremental() blob | commitdiff | raw | diff to current
2014-03-11 Clifford WolfMerged a few fixes for non-posix systems from github... blob | commitdiff | raw | diff to current
2014-03-10 Siesh1oo - libs/ezsat/ezsat.cc: need to #include <cmath> or... blob | commitdiff | raw | diff to current
2014-03-03 Clifford WolfezSAT: Added frozen_literal() API blob | commitdiff | raw | diff to current
2014-03-03 Clifford WolfezSAT: Fixed handling of eliminated Literals, added... blob | commitdiff | raw | diff to current
2014-03-01 Clifford WolfAdded ezSAT::eliminated API to help the SAT solver... blob | commitdiff | raw | diff to current
2014-03-01 Clifford WolfezSAT bugfix: don't call virtual methods in base class... blob | commitdiff | raw | diff to current
2014-03-01 Clifford WolfRemoved ezSAT::assumed() API blob | commitdiff | raw | diff to current
2014-03-01 Clifford WolfRemoved ezSAT built-in brute-froce solver blob | commitdiff | raw | diff to current
2014-02-23 Clifford WolfAdded support for Minisat::SimpSolver + ezSAT frezze... blob | commitdiff | raw | diff to current
2014-02-18 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys blob | commitdiff | raw | diff to current
2014-02-18 Clifford WolfImproved non-verbose ezSAT::printDIMACS() format blob | commitdiff | raw | diff to current
2013-11-25 Clifford WolfAdded ezsat vec_const() api blob | commitdiff | raw | diff to current
2013-08-15 Clifford WolfAdded ezsat api for creation of anonymous vectors blob | commitdiff | raw | diff to current
2013-08-11 Clifford WolfAdded SAT support for $div and $mod cells blob | commitdiff | raw | diff to current
2013-06-20 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys blob | commitdiff | raw | diff to current
2013-06-20 Clifford WolfAdded timout functionality to SAT solver blob | commitdiff | raw | diff to current
2013-06-12 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys blob | commitdiff | raw | diff to current
2013-06-12 Clifford WolfFixed gcc build (c++11 stuff in ezSAT) blob | commitdiff | raw | diff to current
2013-06-08 Clifford WolfFixes and improvements in ezSAT library blob | commitdiff | raw | diff to current
2013-06-07 Clifford WolfImproved sat generator and sat_solve pass blob | commitdiff | raw | diff to current
2013-06-07 Clifford WolfAdded ezSAT library blob | commitdiff | raw | diff to current