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
...
*
Now using BLIF as ABC input format
Clifford Wolf
2013-12-31
*
Fixed commented out techmap call in tests/tools/autotest.sh
Clifford Wolf
2013-12-31
*
Always use BLIF as ABC output format
Clifford Wolf
2013-12-31
*
Fixed a stupid access after delete bug
Clifford Wolf
2013-12-29
*
Fixed undef extend for bitwise binary ops (bugs in simplemap and satgen)
Clifford Wolf
2013-12-29
*
Updated manual/command-reference-manual.tex
Clifford Wolf
2013-12-28
*
Added new cell types to manual
Clifford Wolf
2013-12-28
*
Added $bu0 cell (for easy correct $eq/$ne mapping)
Clifford Wolf
2013-12-28
*
Added sat -prove-x and -set-def-inputs
Clifford Wolf
2013-12-28
*
Improved $_MUX_ handling in opt_const
Clifford Wolf
2013-12-28
*
More conservastive $eq/$ne/$eqx/$nex opt_const code
Clifford Wolf
2013-12-28
*
Fixed sat handling of $eqx and $nex with unequal port widths
Clifford Wolf
2013-12-27
*
Fixed parsing of non-arg macro calls followed by "("
Clifford Wolf
2013-12-27
*
Small cleanup in SatGen
Clifford Wolf
2013-12-27
*
More $eq/$ne/$eqx/$nex fixes in opt_const
Clifford Wolf
2013-12-27
*
Fixed parsing of macros with no arguments and expansion text starting with "("
Clifford Wolf
2013-12-27
*
Fixed sat handling of $eqx and $nex cells
Clifford Wolf
2013-12-27
*
Fixed/improved opt_const $eq/$ne/$eqx/$nex handling
Clifford Wolf
2013-12-27
*
Added support for non-const === and !== (for miter circuits)
Clifford Wolf
2013-12-27
*
Added proper === and !== support in constant expressions
Clifford Wolf
2013-12-27
*
Added sat -set-def/-set-*-undef support
Clifford Wolf
2013-12-27
*
Renamed sat -set-undef to -set-any-undef
Clifford Wolf
2013-12-27
*
Fixed dfflibmap for unused output ports
Clifford Wolf
2013-12-21
*
Now prefer smallest cells in dfflibmap
Clifford Wolf
2013-12-21
*
Cleanup of dfflibmap cellmap exploration code
Clifford Wolf
2013-12-20
*
Further improved dfflibmap cellmap exploration
Clifford Wolf
2013-12-20
*
Fixed dfflibmap endless-loop bug
Clifford Wolf
2013-12-20
*
Added log_dump() API
Clifford Wolf
2013-12-20
*
Prefer non-inverted clocks in dfflibmap
Clifford Wolf
2013-12-19
*
Added multiplier test case from eda playground
Clifford Wolf
2013-12-18
*
Added elsif preproc support
Clifford Wolf
2013-12-18
*
Added support for macro arguments
Clifford Wolf
2013-12-18
*
Fixes and other changes in README
Clifford Wolf
2013-12-08
*
Finished AppNote 011
Clifford Wolf
2013-12-08
*
Progress on AppNote 011
Clifford Wolf
2013-12-08
*
Added sat -max_undef feature
Clifford Wolf
2013-12-07
*
Progress on AppNote 011
Clifford Wolf
2013-12-07
*
Added "sat" undef support and "sat -set-init" options
Clifford Wolf
2013-12-07
*
Fixed uninitialized const flags bug
Clifford Wolf
2013-12-07
*
Fixed compiler warining in passes/sat/eval.cc
Clifford Wolf
2013-12-07
*
Progress on AppNote 011
Clifford Wolf
2013-12-07
*
Progress on AppNote 011
Clifford Wolf
2013-12-07
*
Added eval -set-undef and eval -table
Clifford Wolf
2013-12-07
*
Fixes and improvements in RTLIL::SigSpec::parse
Clifford Wolf
2013-12-07
*
Fixes in fsm detect/extract for better detection of non-fsm circuits
Clifford Wolf
2013-12-06
*
Fixed bug in example prog in appnote 011
Clifford Wolf
2013-12-05
*
Keep strings as strings in const ternary and concat
Clifford Wolf
2013-12-05
*
Added const folding support for $signed and $unsigned
Clifford Wolf
2013-12-05
*
Added AstNode::mkconst_str API
Clifford Wolf
2013-12-05
*
Fixed generate-for (and disabled double warning for auto-wire)
Clifford Wolf
2013-12-04
[prev]
[next]