git.libre-soc.org Git - yosys.git/history

[yosys.git] / libs / ezsat / ezminisat.cc

2022-02-11	Claire Xen	Merge branch 'master' into clk2ff-better-names	blob \| commitdiff \| raw
2022-02-11	Claire Xen	Merge pull request #2019 from boqwxp/glift	blob \| commitdiff \| raw
2021-06-09	Claire Xen	Merge pull request #2817 from YosysHQ/claire/fixemails	blob \| commitdiff \| raw
2021-06-07	Claire Xenia Wolf	Fixing old e-mail addresses and deadnames	blob \| commitdiff \| raw
2020-06-04	whitequark	Merge pull request #2006 from jersey99/signed-in-rtlil...	blob \| commitdiff \| raw \| diff to current
2020-05-14	Eddie Hung	Merge pull request #1994 from YosysHQ/eddie/fix_bug1758	blob \| commitdiff \| raw \| diff to current
2020-05-04	Eddie Hung	Merge pull request #1996 from boqwxp/rtlil_source_locations	blob \| commitdiff \| raw \| diff to current
2020-05-03	whitequark	Merge pull request #2000 from whitequark/log_error...	blob \| commitdiff \| raw \| diff to current
2020-05-02	Claire Wolf	Merge pull request #2010 from YosysHQ/claire/fixopt	blob \| commitdiff \| raw \| diff to current
2020-05-01	whitequark	Merge pull request #2001 from whitequark/wasi	blob \| commitdiff \| raw \| diff to current
2020-04-30	whitequark	Add WASI platform support.	blob \| commitdiff \| raw \| diff to current
2020-01-29	Claire Wolf	Merge branch 'vector_fix' of https://github.com/Kmanfi...	blob \| commitdiff \| raw \| diff to current
2017-11-28	Clifford Wolf	Merge pull request #462 from daveshah1/up5k	blob \| commitdiff \| raw \| diff to current
2017-11-27	Clifford Wolf	Merge branch 'master' into btor-ng	blob \| commitdiff \| raw \| diff to current
2017-11-26	Clifford Wolf	Merge pull request #460 from mithro/g3-fixes	blob \| commitdiff \| raw \| diff to current
2017-11-26	Tim 'mithro' Ansell	minisat: Only define __STDC_XXX_MACROS if not already...	blob \| commitdiff \| raw \| diff to current
2016-07-08	Clifford Wolf	Merge branch 'yosys-0.5-vtr' of https://github.com...	blob \| commitdiff \| raw \| diff to current
2015-07-02	Clifford Wolf	Fixed trailing whitespaces	blob \| commitdiff \| raw \| diff to current
2015-04-03	Ahmed Irfan	Merge branch 'master' of https://github.com/cliffordwol...	blob \| commitdiff \| raw \| diff to current
2014-10-17	William Speirs	Header changes so it will compile on VS	blob \| commitdiff \| raw \| diff to current
2014-10-11	Clifford Wolf	Disabled ezminisat timeout feature for Win32	blob \| commitdiff \| raw \| diff to current
2014-10-10	Clifford Wolf	Renamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because...	blob \| commitdiff \| raw \| diff to current
2014-09-22	Ahmed Irfan	Merge branch 'master' of https://github.com/cliffordwol...	blob \| commitdiff \| raw \| diff to current
2014-07-25	Clifford Wolf	Removed Minisat dependency on zlib	blob \| commitdiff \| raw \| diff to current
2014-07-21	Clifford Wolf	Added ezSAT::keep_cnf() and ezSAT::non_incremental()	blob \| commitdiff \| raw \| diff to current
2014-07-20	Clifford Wolf	Fixed ezSAT stand-alone build	blob \| commitdiff \| raw \| diff to current
2014-03-12	Siesh1oo	Merge branch 'master' of https://github.com/Siesh1oo...	blob \| commitdiff \| raw \| diff to current
2014-03-12	Clifford Wolf	Added libs/minisat (copy of minisat git master)	blob \| commitdiff \| raw \| diff to current
2014-03-11	Clifford Wolf	Merged a few fixes for non-posix systems from github...	blob \| commitdiff \| raw \| diff to current
2014-03-10	Siesh1oo	- libs/ezsat/ezminisat.cc: use sigemptyset() to clear...	blob \| commitdiff \| raw \| diff to current
2014-03-10	Siesh1oo	- libs/ezsat/ezminisat.cc: use POSIX.2001 sigaction...	blob \| commitdiff \| raw \| diff to current
2014-03-01	Clifford Wolf	Added ezSAT::eliminated API to help the SAT solver...	blob \| commitdiff \| raw \| diff to current
2014-03-01	Clifford Wolf	ezSAT bugfix: don't call virtual methods in base class...	blob \| commitdiff \| raw \| diff to current
2014-02-23	Clifford Wolf	Added support for Minisat::SimpSolver + ezSAT frezze...	blob \| commitdiff \| raw \| diff to current
2014-02-22	Clifford Wolf	Added ezMiniSat EZMINISAT_INCREMENTAL compile-time...	blob \| commitdiff \| raw \| diff to current
2014-02-22	Clifford Wolf	Made MiniSat solver backend configurable in ezminisat.h	blob \| commitdiff \| raw \| diff to current
2013-11-25	Clifford Wolf	Removed undef feature from ezsat api	blob \| commitdiff \| raw \| diff to current
2013-11-03	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	blob \| commitdiff \| raw \| diff to current
2013-10-31	Clifford Wolf	Changed MiniSAT feater defines again	blob \| commitdiff \| raw \| diff to current
2013-10-30	Clifford Wolf	Fixed ezminisat C++ errors: undef PRIi64	blob \| commitdiff \| raw \| diff to current
2013-10-11	Clifford Wolf	Fixed minisat include	blob \| commitdiff \| raw \| diff to current
2013-07-05	Clifford Wolf	Fixed gcc warnings in ezminisat	blob \| commitdiff \| raw \| diff to current
2013-06-20	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	blob \| commitdiff \| raw \| diff to current
2013-06-20	Clifford Wolf	Added timout functionality to SAT solver	blob \| commitdiff \| raw \| diff to current
2013-06-09	Clifford Wolf	Added ezSAT api support for don't care values in models	blob \| commitdiff \| raw \| diff to current
2013-06-08	Clifford Wolf	Fixes and improvements in ezSAT library	blob \| commitdiff \| raw \| diff to current
2013-06-07	Clifford Wolf	Added ezSAT library	blob \| commitdiff \| raw \| diff to current

RSS Atom