projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
read_ilang: allow slicing sigspecs.
[yosys.git]
/
libs
/
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: Make update script executable.
tree
|
commitdiff
2017-11-26
Tim 'mithro' Ansell
minisat: Only define __STDC_XXX_MACROS if not already...
tree
|
commitdiff
2017-11-26
Tim 'mithro' Ansell
minisat: Remove template with gzFile specialization.
tree
|
commitdiff
2017-11-26
Tim 'mithro' Ansell
subcircuit: Class with virtual methods should have...
tree
|
commitdiff
2017-03-27
Clifford Wolf
Add minisat 00_PATCH_typofixes.patch
tree
|
commitdiff
2017-03-27
Clifford Wolf
Remove use of <fpu_control.h> in minisat
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-12-11
Clifford Wolf
Compile fix for visual studio
tree
|
commitdiff
2014-11-20
Clifford Wolf
Merge pull request #42 from slowriot/master
tree
|
commitdiff
2014-11-20
SlowRiot
switching from unreliable typedefs to precisely sized...
tree
|
commitdiff
2014-11-20
SlowRiot
fixing incorrect buffer size allocation, and unsafe...
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-14
Clifford Wolf
Merge branch 'win32'
tree
|
commitdiff
2014-10-14
Clifford Wolf
A few indent fixes
tree
|
commitdiff
2014-10-14
William Speirs
Changed to explicit heap allocated memory
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
More Win32 build fixes
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-09-06
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
tree
|
commitdiff
2014-09-06
Clifford Wolf
Merge pull request #38 from rubund/master
tree
|
commitdiff
2014-09-06
Ruben Undheim
Corrected spelling mistakes found by lintian
tree
|
commitdiff
2014-09-02
Clifford Wolf
Removed yosys-svgviewer
tree
|
commitdiff
2014-08-01
Clifford Wolf
Replaced sha1 implementation
tree
|
commitdiff
2014-07-31
Clifford Wolf
Moved some stuff to kernel/yosys.{h,cc}, using Yosys...
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-07-20
Clifford Wolf
Updated minisat
tree
|
commitdiff
2014-07-20
Clifford Wolf
Using relative path names in minisat headers
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-04-20
Clifford Wolf
minisat compile fix
tree
|
commitdiff
2014-04-05
Clifford Wolf
Merge pull request #31 from bentley/posix-rm
tree
|
commitdiff
2014-04-04
Anthony J. Bentley
POSIX find requires a path argument.
tree
|
commitdiff
2014-03-13
Clifford Wolf
Merge branch 'master' of https://github.com/Siesh1oo...
tree
|
commitdiff
2014-03-13
Clifford Wolf
Merged OSX fixes from Siesh1oo with some modifications
tree
|
commitdiff
2014-03-13
Siesh1oo
Merge branch 'master' of https://github.com/Siesh1oo...
tree
|
commitdiff
2014-03-12
Clifford Wolf
Some fixes in libs/minisat (thanks to Siesh1oo)
tree
|
commitdiff
2014-03-12
Siesh1oo
- libs/minisat/Solver.cc: insert spaces between string...
tree
|
commitdiff
2014-03-12
Siesh1oo
- libs/minisat/System.cc: fix definition/declaration...
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
2014-02-09
Clifford Wolf
fixed a bug in subcircuit library with cells that have...
tree
|
commitdiff
2013-11-28
Clifford Wolf
Merge pull request #17 from mschmoelzer/master
tree
|
commitdiff
2013-11-28
Martin Schmölzer
Include unistd.h in svgview.cpp (required for getcwd...
tree
|
commitdiff
2013-11-28
Clifford Wolf
Added QGraphicsWebView to yosys-svgviewer
tree
|
commitdiff
2013-11-27
Clifford Wolf
Added some svgviewer code for possible future switch...
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
2013-05-16
Clifford Wolf
Merge branch 'bugfix'
tree
|
commitdiff
2013-03-28
Clifford Wolf
Improved subcircuit verbose output (added portmapper...
tree
|
commitdiff
next