projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Bump version
[yosys.git] / libs / ezsat / ezminisat.h
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-01-29 Claire WolfMerge branch 'vector_fix' of https://github.com/Kmanfi... blob | commitdiff | raw | diff to current
2019-09-27 Aman GoelMerge pull request #7 from YosysHQ/master blob | commitdiff | raw | diff to current
2019-03-28 Benedikt TutzerMerge remote-tracking branch 'origin/master' into featu... blob | commitdiff | raw | diff to current
2019-02-11 Jim LawsonMerge remote-tracking branch 'upstream/master' blob | commitdiff | raw | diff to current
2019-01-02 Clifford WolfMerge pull request #770 from whitequark/opt_expr_cmp blob | commitdiff | raw | diff to current
2019-01-02 Clifford WolfMerge pull request #755 from Icenowy/anlogic-dram-init blob | commitdiff | raw | diff to current
2019-01-02 Clifford WolfMerge pull request #750 from Icenowy/anlogic-ff-init blob | commitdiff | raw | diff to current
2019-01-02 Clifford WolfMerge pull request #773 from whitequark/opt_lut_elim_fixes blob | commitdiff | raw | diff to current
2019-01-02 Clifford WolfMerge pull request #772 from whitequark/synth_lut blob | commitdiff | raw | diff to current
2019-01-02 Clifford WolfMerge pull request #771 from whitequark/techmap_cmp2lut blob | commitdiff | raw | diff to current
2019-01-02 Clifford WolfMerge pull request #769 from whitequark/typos blob | commitdiff | raw | diff to current
2019-01-02 whitequarkFix typographical and grammatical errors and inconsiste... 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
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
2014-10-11 Clifford WolfDisabled ezminisat timeout feature for Win32 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-03-05 Clifford WolfSwitched to EZMINISAT_SIMPSOLVER as default SAT solver 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-02-23 Clifford WolfAdded support for Minisat::SimpSolver + ezSAT frezze... blob | commitdiff | raw | diff to current
2014-02-22 Clifford WolfAdded ezMiniSat EZMINISAT_INCREMENTAL compile-time... blob | commitdiff | raw | diff to current
2014-02-22 Clifford WolfMade MiniSat solver backend configurable in ezminisat.h 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-07 Clifford WolfAdded ezSAT library blob | commitdiff | raw | diff to current