index
:
yosys
master
Debian dgit repo for package yosys
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
...
|
*
|
|
|
- Makefile: don't export DYLD_LIBRARY_PATH/LD_LIBRARY_PATH: not needed if we...
Siesh1oo
2014-03-13
|
*
|
|
|
- Makefile: include $(PWD) in PATH, since 'make test' can happen before 'mak...
Siesh1oo
2014-03-13
|
*
|
|
|
- Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to m...
Siesh1oo
2014-03-13
|
*
|
|
|
- kernel/register.h, kernel/driver.cc: refactor rewrite_yosys_exe()/get_shar...
Siesh1oo
2014-03-13
|
*
|
|
|
- Makefile: don't export DYLD_LIBRARY_PATH/LD_LIBRARY_PATH: not needed if we...
Siesh1oo
2014-03-13
|
*
|
|
|
- .gitignore: ignore qmake/OSX package libs/svgviewer/svgviewer.app
Siesh1oo
2014-03-13
|
*
|
|
|
- Makefile: include $(PWD) in PATH, since 'make test' can happen before 'mak...
Siesh1oo
2014-03-13
|
*
|
|
|
- Makefile: fix typo in LDFLAGS: obviously -L, not -I is required here
Siesh1oo
2014-03-13
|
*
|
|
|
- Makefile: export PATH=${DESTDIR}/bin:$(PATH) and (DY)LD_LIBRARY_PATH, to m...
Siesh1oo
2014-03-13
|
*
|
|
|
- Makefile: resolve merge conflict.
Siesh1oo
2014-03-13
*
|
|
|
|
Merged OSX fixes from Siesh1oo with some modifications
Clifford Wolf
2014-03-13
|
/
/
/
/
*
|
|
|
Some fixes in libs/minisat (thanks to Siesh1oo)
Clifford Wolf
2014-03-12
*
|
|
|
- kernel/register.h, kernel/driver.cc: refactor rewrite_yosys_exe()/get_shar...
Siesh1oo
2014-03-12
|
/
/
/
*
|
|
Fixed dependencies of "make test"
Clifford Wolf
2014-03-12
*
|
|
Added libs/minisat (copy of minisat git master)
Clifford Wolf
2014-03-12
|
/
/
*
|
OSX compatible creation of stdcells.inc, using code from github.com/Siesh1oo/...
Clifford Wolf
2014-03-11
*
|
Merged addition of SED makefile variable from github.com/Siesh1oo/yosys
Clifford Wolf
2014-03-11
*
|
Merged a few fixes for non-posix systems from github.com/Siesh1oo/yosys
Clifford Wolf
2014-03-11
*
|
Added support for `line compiler directive
Clifford Wolf
2014-03-11
*
|
Fixed memory corruption in passes/abc/blifparse.cc
Clifford Wolf
2014-03-11
*
|
Fixed yosys path in tests/techmap/mem_simple_4x1_runtest.sh
Clifford Wolf
2014-03-11
*
|
Use "verilog -noattr" in tests/techmap/mem_simple_4x1 test (for old iverilog)
Clifford Wolf
2014-03-11
|
/
*
Fixed a typo in RTLIL::Module::addReduce...
Clifford Wolf
2014-03-10
*
Improved verific command (added support for some operators)
Clifford Wolf
2014-03-10
*
Improvements in verific command
Clifford Wolf
2014-03-10
*
Added RTLIL::Module::add... helper methods
Clifford Wolf
2014-03-10
*
Added "verific" command
Clifford Wolf
2014-03-09
*
Fixed dumping of timing() { .. } block in libparse
Clifford Wolf
2014-03-09
*
Verbose reading of liberty and constr files in ABC pass
Clifford Wolf
2014-03-09
*
Fixed bug in freduce command
Clifford Wolf
2014-03-07
*
Some minor code cleanups in freduce command
Clifford Wolf
2014-03-07
*
Bugfix in ilang frontend autoidx recovery
Clifford Wolf
2014-03-07
*
Use log_abort() and log_assert() in BTOR backend
Clifford Wolf
2014-03-07
*
Added freduce -dump
Clifford Wolf
2014-03-06
*
Added freduce -stop
Clifford Wolf
2014-03-06
*
Fixed gcc compiler warning
Clifford Wolf
2014-03-06
*
Fixed undef handling in opt_reduce
Clifford Wolf
2014-03-06
*
Fixes for improved techmap of shifts with large B inputs
Clifford Wolf
2014-03-06
*
Fixed use of frozen literals in SatGen
Clifford Wolf
2014-03-06
*
Strictly zero-extend unsigned A-inputs of shift operations in techmap
Clifford Wolf
2014-03-06
*
Added techmap -max_iter option
Clifford Wolf
2014-03-06
*
Improved techmap of shift with wide B inputs
Clifford Wolf
2014-03-06
*
Strictly zero-extend unsigned A-inputs of shift operations
Clifford Wolf
2014-03-06
*
Switched to EZMINISAT_SIMPSOLVER as default SAT solver
Clifford Wolf
2014-03-05
*
Include id2ast pointers when dumping AST
Clifford Wolf
2014-03-05
*
Fixed merging of compatible wire decls in AST frontend
Clifford Wolf
2014-03-05
*
Bugfix in recursive AST simplification
Clifford Wolf
2014-03-05
*
fixed freduce for Minisat::SimpSolver: use frozen_literal()
Clifford Wolf
2014-03-03
*
ezSAT: Added frozen_literal() API
Clifford Wolf
2014-03-03
*
ezSAT: Fixed handling of eliminated Literals, added auto-freeze for expressions
Clifford Wolf
2014-03-03
[prev]
[next]