projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Add "real" keyword to ilang format
[yosys.git]
/
libs
/
ezsat
/
2019-03-28
Benedikt Tutzer
Merge remote-tracking branch 'origin/master' into featu...
tree
|
commitdiff
2019-01-02
Clifford Wolf
Merge pull request #770 from whitequark/opt_expr_cmp
tree
|
commitdiff
2019-01-02
Clifford Wolf
Merge pull request #755 from Icenowy/anlogic-dram-init
tree
|
commitdiff
2019-01-02
Clifford Wolf
Merge pull request #750 from Icenowy/anlogic-ff-init
tree
|
commitdiff
2019-01-02
Clifford Wolf
Merge pull request #773 from whitequark/opt_lut_elim_fixes
tree
|
commitdiff
2019-01-02
Clifford Wolf
Merge pull request #772 from whitequark/synth_lut
tree
|
commitdiff
2019-01-02
Clifford Wolf
Merge pull request #771 from whitequark/techmap_cmp2lut
tree
|
commitdiff
2019-01-02
Clifford Wolf
Merge pull request #769 from whitequark/typos
tree
|
commitdiff
2019-01-02
whitequark
Fix typographical and grammatical errors and inconsiste...
tree
|
commitdiff
2017-11-28
Clifford Wolf
Merge pull request #462 from daveshah1/up5k
tree
|
commitdiff
2017-11-27
Clifford Wolf
Merge branch 'master' into btor-ng
tree
|
commitdiff
2017-11-26
Clifford Wolf
Merge pull request #460 from mithro/g3-fixes
tree
|
commitdiff
2017-11-26
Tim 'mithro' Ansell
minisat: Only define __STDC_XXX_MACROS if not already...
tree
|
commitdiff
2016-07-08
Clifford Wolf
Merge branch 'yosys-0.5-vtr' of https://github.com...
tree
|
commitdiff
2016-02-13
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2016-02-13
Clifford Wolf
Added "int ceil_log2(int)" function
tree
|
commitdiff
2015-08-14
Clifford Wolf
Spell check (by Larry Doolittle)
tree
|
commitdiff
2015-07-02
Clifford Wolf
Fixed trailing whitespaces
tree
|
commitdiff
2015-04-03
Ahmed Irfan
Merge branch 'master' of https://github.com/cliffordwol...
tree
|
commitdiff
2015-02-01
Clifford Wolf
Merge pull request #48 from rubund/master
tree
|
commitdiff
2015-02-01
Clifford Wolf
Improved performance in equiv_simple
tree
|
commitdiff
2015-01-24
Clifford Wolf
Added ENABLE_NDEBUG makefile options
tree
|
commitdiff
2014-12-29
Clifford Wolf
Added statehash to ezSAT
tree
|
commitdiff
2014-10-18
Clifford Wolf
Fixed various VS warnings
tree
|
commitdiff
2014-10-17
Clifford Wolf
More win32 (mxe and vs) build fixes
tree
|
commitdiff
2014-10-17
Clifford Wolf
Various win32 / vs build fixes
tree
|
commitdiff
2014-10-17
William Speirs
Header changes so it will compile on VS
tree
|
commitdiff
2014-10-11
Clifford Wolf
Not using std::to_string in ezsat (problems with mingw)
tree
|
commitdiff
2014-10-11
Clifford Wolf
Disabled ezminisat timeout feature for Win32
tree
|
commitdiff
2014-10-10
Clifford Wolf
Renamed TRUE/FALSE to CONST_TRUE/CONST_FALSE because...
tree
|
commitdiff
2014-09-22
Ahmed Irfan
Merge branch 'master' of https://github.com/cliffordwol...
tree
|
commitdiff
2014-07-30
Clifford Wolf
Added native support for shift operations to ezSAT
tree
|
commitdiff
2014-07-25
Clifford Wolf
Removed Minisat dependency on zlib
tree
|
commitdiff
2014-07-21
Clifford Wolf
Added ezSAT::keep_cnf() and ezSAT::non_incremental()
tree
|
commitdiff
2014-07-20
Clifford Wolf
Fixed ezSAT stand-alone build
tree
|
commitdiff
2014-05-09
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2014-05-06
Clifford Wolf
Improved ezsat stand-alone tests
tree
|
commitdiff
2014-03-12
Siesh1oo
Merge branch 'master' of https://github.com/Siesh1oo...
tree
|
commitdiff
2014-03-12
Clifford Wolf
Added libs/minisat (copy of minisat git master)
tree
|
commitdiff
2014-03-11
Clifford Wolf
Merged 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 Wolf
Switched to EZMINISAT_SIMPSOLVER as default SAT solver
tree
|
commitdiff
2014-03-03
Clifford Wolf
ezSAT: Added frozen_literal() API
tree
|
commitdiff
2014-03-03
Clifford Wolf
ezSAT: Fixed handling of eliminated Literals, added...
tree
|
commitdiff
2014-03-01
Clifford Wolf
Added ezSAT::eliminated API to help the SAT solver...
tree
|
commitdiff
2014-03-01
Clifford Wolf
ezSAT bugfix: don't call virtual methods in base class...
tree
|
commitdiff
2014-03-01
Clifford Wolf
Removed ezSAT::assumed() API
tree
|
commitdiff
2014-03-01
Clifford Wolf
Removed ezSAT built-in brute-froce solver
tree
|
commitdiff
2014-02-23
Clifford Wolf
Added support for Minisat::SimpSolver + ezSAT frezze...
tree
|
commitdiff
2014-02-22
Clifford Wolf
Added ezMiniSat EZMINISAT_INCREMENTAL compile-time...
tree
|
commitdiff
2014-02-22
Clifford Wolf
Made MiniSat solver backend configurable in ezminisat.h
tree
|
commitdiff
2014-02-18
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2014-02-18
Clifford Wolf
Improved non-verbose ezSAT::printDIMACS() format
tree
|
commitdiff
2013-11-25
Clifford Wolf
Added ezsat vec_const() api
tree
|
commitdiff
2013-11-25
Clifford Wolf
Removed undef feature from ezsat api
tree
|
commitdiff
2013-11-03
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2013-10-31
Clifford Wolf
Changed MiniSAT feater defines again
tree
|
commitdiff
2013-10-30
Clifford Wolf
Fixed ezminisat C++ errors: undef PRIi64
tree
|
commitdiff
2013-10-11
Clifford Wolf
Fixed minisat include
tree
|
commitdiff
2013-08-15
Clifford Wolf
Added ezsat api for creation of anonymous vectors
tree
|
commitdiff
2013-08-11
Clifford Wolf
Added SAT support for $div and $mod cells
tree
|
commitdiff
2013-07-05
Clifford Wolf
Fixed gcc warnings in ezminisat
tree
|
commitdiff
2013-06-20
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2013-06-20
Clifford Wolf
Added timout functionality to SAT solver
tree
|
commitdiff
2013-06-12
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2013-06-12
Clifford Wolf
Fixed gcc build (c++11 stuff in ezSAT)
tree
|
commitdiff
2013-06-09
Clifford Wolf
Added ezSAT api support for don't care values in models
tree
|
commitdiff
2013-06-08
Clifford Wolf
Fixes and improvements in ezSAT library
tree
|
commitdiff
2013-06-07
Clifford Wolf
Improved sat generator and sat_solve pass
tree
|
commitdiff
2013-06-07
Clifford Wolf
Added ezSAT library
tree
|
commitdiff