projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Add (* abc_flop_q *) to brams_bb.v
[yosys.git]
/
libs
/
2019-05-31
Eddie Hung
Merge branch 'xaig' into xc7mux
tree
|
commitdiff
2019-05-27
Clifford Wolf
Merge pull request #1026 from YosysHQ/clifford/fix1023
tree
|
commitdiff
2019-05-27
Clifford Wolf
Merge pull request #1030 from Kmanfi/makefile_osx
tree
|
commitdiff
2019-05-23
Eddie Hung
Merge remote-tracking branch 'origin/eddie/opt_rmdff...
tree
|
commitdiff
2019-05-23
Clifford Wolf
Merge pull request #1031 from mdaiter/optimizeLookupTab...
tree
|
commitdiff
2019-05-22
Matthew Daiter
Optimize numberOfPermutations
tree
|
commitdiff
2019-05-08
Clifford Wolf
Remove added newline (by re-running minisat 00_UPDATE.sh)
tree
|
commitdiff
2019-05-08
Clifford Wolf
Merge pull request #991 from kristofferkoch/gcc9-warnings
tree
|
commitdiff
2019-05-08
Kristoffer Ellersg...
Fix all warnings that occurred when compiling with...
tree
|
commitdiff
2019-03-28
Benedikt Tutzer
Merge remote-tracking branch 'origin/master' into featu...
tree
|
commitdiff
2019-02-11
Jim Lawson
Merge remote-tracking branch 'upstream/master'
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: 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
next