projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2014-01-02
Clifford Wolf
Major rewrite of "freduce" command
commit
|
commitdiff
|
tree
2014-01-01
Clifford Wolf
Updated CHANGELOG
commit
|
commitdiff
|
tree
2013-12-31
Clifford Wolf
Fixed use of limited length buffer in ABC blif parser
commit
|
commitdiff
|
tree
2013-12-31
Clifford Wolf
Use "abc -dff" in "make test"
commit
|
commitdiff
|
tree
2013-12-31
Clifford Wolf
Added abc -dff and -clk support
commit
|
commitdiff
|
tree
2013-12-31
Clifford Wolf
Various small cleanups in stdcells.v techmap code
commit
|
commitdiff
|
tree
2013-12-31
Clifford Wolf
Added additional checks for A_SIGNED == B_SIGNED for...
commit
|
commitdiff
|
tree
2013-12-31
Clifford Wolf
Updated ABC to hg rev 57517e81666b
commit
|
commitdiff
|
tree
2013-12-31
Clifford Wolf
Now using BLIF as ABC input format
commit
|
commitdiff
|
tree
2013-12-31
Clifford Wolf
Fixed commented out techmap call in tests/tools/autotest.sh
commit
|
commitdiff
|
tree
2013-12-31
Clifford Wolf
Always use BLIF as ABC output format
commit
|
commitdiff
|
tree
2013-12-29
Clifford Wolf
Fixed a stupid access after delete bug
commit
|
commitdiff
|
tree
2013-12-29
Clifford Wolf
Fixed undef extend for bitwise binary ops (bugs in...
commit
|
commitdiff
|
tree
2013-12-28
Clifford Wolf
Updated manual/command-reference-manual.tex
commit
|
commitdiff
|
tree
2013-12-28
Clifford Wolf
Added new cell types to manual
commit
|
commitdiff
|
tree
2013-12-28
Clifford Wolf
Added $bu0 cell (for easy correct $eq/$ne mapping)
commit
|
commitdiff
|
tree
2013-12-28
Clifford Wolf
Added sat -prove-x and -set-def-inputs
commit
|
commitdiff
|
tree
2013-12-28
Clifford Wolf
Improved $_MUX_ handling in opt_const
commit
|
commitdiff
|
tree
2013-12-28
Clifford Wolf
More conservastive $eq/$ne/$eqx/$nex opt_const code
commit
|
commitdiff
|
tree
2013-12-27
Clifford Wolf
Fixed sat handling of $eqx and $nex with unequal port...
commit
|
commitdiff
|
tree
2013-12-27
Clifford Wolf
Fixed parsing of non-arg macro calls followed by "("
commit
|
commitdiff
|
tree
2013-12-27
Clifford Wolf
Small cleanup in SatGen
commit
|
commitdiff
|
tree
2013-12-27
Clifford Wolf
More $eq/$ne/$eqx/$nex fixes in opt_const
commit
|
commitdiff
|
tree
2013-12-27
Clifford Wolf
Fixed parsing of macros with no arguments and expansion...
commit
|
commitdiff
|
tree
2013-12-27
Clifford Wolf
Fixed sat handling of $eqx and $nex cells
commit
|
commitdiff
|
tree
2013-12-27
Clifford Wolf
Fixed/improved opt_const $eq/$ne/$eqx/$nex handling
commit
|
commitdiff
|
tree
2013-12-27
Clifford Wolf
Added support for non-const === and !== (for miter...
commit
|
commitdiff
|
tree
2013-12-27
Clifford Wolf
Added proper === and !== support in constant expressions
commit
|
commitdiff
|
tree
2013-12-27
Clifford Wolf
Added sat -set-def/-set-*-undef support
commit
|
commitdiff
|
tree
2013-12-27
Clifford Wolf
Renamed sat -set-undef to -set-any-undef
commit
|
commitdiff
|
tree
2013-12-21
Clifford Wolf
Fixed dfflibmap for unused output ports
commit
|
commitdiff
|
tree
2013-12-21
Clifford Wolf
Now prefer smallest cells in dfflibmap
commit
|
commitdiff
|
tree
2013-12-20
Clifford Wolf
Cleanup of dfflibmap cellmap exploration code
commit
|
commitdiff
|
tree
2013-12-20
Clifford Wolf
Further improved dfflibmap cellmap exploration
commit
|
commitdiff
|
tree
2013-12-20
Clifford Wolf
Fixed dfflibmap endless-loop bug
commit
|
commitdiff
|
tree
2013-12-20
Clifford Wolf
Added log_dump() API
commit
|
commitdiff
|
tree
2013-12-19
Clifford Wolf
Prefer non-inverted clocks in dfflibmap
commit
|
commitdiff
|
tree
2013-12-18
Clifford Wolf
Added multiplier test case from eda playground
commit
|
commitdiff
|
tree
2013-12-18
Clifford Wolf
Added elsif preproc support
commit
|
commitdiff
|
tree
2013-12-18
Clifford Wolf
Added support for macro arguments
commit
|
commitdiff
|
tree
2013-12-08
Clifford Wolf
Fixes and other changes in README
commit
|
commitdiff
|
tree
2013-12-08
Clifford Wolf
Finished AppNote 011
commit
|
commitdiff
|
tree
2013-12-08
Clifford Wolf
Progress on AppNote 011
commit
|
commitdiff
|
tree
2013-12-07
Clifford Wolf
Added sat -max_undef feature
commit
|
commitdiff
|
tree
2013-12-07
Clifford Wolf
Progress on AppNote 011
commit
|
commitdiff
|
tree
2013-12-07
Clifford Wolf
Added "sat" undef support and "sat -set-init" options
commit
|
commitdiff
|
tree
2013-12-07
Clifford Wolf
Fixed uninitialized const flags bug
commit
|
commitdiff
|
tree
2013-12-07
Clifford Wolf
Fixed compiler warining in passes/sat/eval.cc
commit
|
commitdiff
|
tree
2013-12-07
Clifford Wolf
Progress on AppNote 011
commit
|
commitdiff
|
tree
2013-12-07
Clifford Wolf
Progress on AppNote 011
commit
|
commitdiff
|
tree
2013-12-07
Clifford Wolf
Added eval -set-undef and eval -table
commit
|
commitdiff
|
tree
2013-12-07
Clifford Wolf
Fixes and improvements in RTLIL::SigSpec::parse
commit
|
commitdiff
|
tree
2013-12-06
Clifford Wolf
Fixes in fsm detect/extract for better detection of...
commit
|
commitdiff
|
tree
2013-12-05
Clifford Wolf
Fixed bug in example prog in appnote 011
commit
|
commitdiff
|
tree
2013-12-05
Clifford Wolf
Keep strings as strings in const ternary and concat
commit
|
commitdiff
|
tree
2013-12-05
Clifford Wolf
Added const folding support for $signed and $unsigned
commit
|
commitdiff
|
tree
2013-12-05
Clifford Wolf
Added AstNode::mkconst_str API
commit
|
commitdiff
|
tree
2013-12-04
Clifford Wolf
Fixed generate-for (and disabled double warning for...
commit
|
commitdiff
|
tree
2013-12-04
Clifford Wolf
Added support for $clog2 system function
commit
|
commitdiff
|
tree
2013-12-04
Clifford Wolf
Various improvements in support for generate statements
commit
|
commitdiff
|
tree
2013-12-04
Clifford Wolf
Replaced signed_parameters API with CONST_FLAG_SIGNED
commit
|
commitdiff
|
tree
2013-12-04
Clifford Wolf
Replaced RTLIL::Const::str with generic decoder method
commit
|
commitdiff
|
tree
2013-12-04
Clifford Wolf
Fix in sincos testbench gen
commit
|
commitdiff
|
tree
2013-12-04
Clifford Wolf
Added sincos test case
commit
|
commitdiff
|
tree
2013-12-04
Clifford Wolf
Added support for local regs in named blocks
commit
|
commitdiff
|
tree
2013-12-04
Clifford Wolf
Fixed gentb_constant handling in autotest backend
commit
|
commitdiff
|
tree
2013-12-04
Clifford Wolf
More ABC releated Makefile changes
commit
|
commitdiff
|
tree
2013-12-03
Clifford Wolf
Minor improvements in ABc build
commit
|
commitdiff
|
tree
2013-12-02
Clifford Wolf
Progress on AppNote 011
commit
|
commitdiff
|
tree
2013-12-02
Clifford Wolf
Fixed submod for non-primitive cells
commit
|
commitdiff
|
tree
2013-12-02
Clifford Wolf
Fixed submod for non-cleaned designs
commit
|
commitdiff
|
tree
2013-12-02
Clifford Wolf
Added Pass:call_newsel API
commit
|
commitdiff
|
tree
2013-12-02
Clifford Wolf
Added "history" command
commit
|
commitdiff
|
tree
2013-12-01
Clifford Wolf
A fix in memory_dff for write ports with static addresses
commit
|
commitdiff
|
tree
2013-12-01
Clifford Wolf
Progress on AppNote 011
commit
|
commitdiff
|
tree
2013-11-29
Clifford Wolf
Progress on AppNote 011
commit
|
commitdiff
|
tree
2013-11-29
Clifford Wolf
Progress on AppNote 011
commit
|
commitdiff
|
tree
2013-11-29
Clifford Wolf
Using RTLIL::id2cstr for prompt printing
commit
|
commitdiff
|
tree
2013-11-29
Clifford Wolf
Added dump -m and -n options
commit
|
commitdiff
|
tree
2013-11-28
Clifford Wolf
Progress on AppNote 011
commit
|
commitdiff
|
tree
2013-11-28
Clifford Wolf
Merge pull request #17 from mschmoelzer/master
commit
|
commitdiff
|
tree
2013-11-28
Clifford Wolf
Fixed temp net name generation in rtlil process generat...
commit
|
commitdiff
|
tree
2013-11-28
Clifford Wolf
Added pattern support to "ls" command
commit
|
commitdiff
|
tree
2013-11-28
Clifford Wolf
Improved ID matching scheme in select (and thus for...
commit
|
commitdiff
|
tree
2013-11-28
Clifford Wolf
Fixes and improvements in "show" command
commit
|
commitdiff
|
tree
2013-11-28
Martin Schmölzer
Include unistd.h in svgview.cpp (required for getcwd...
commit
|
commitdiff
|
tree
2013-11-28
Clifford Wolf
More progress on AppNote 011
commit
|
commitdiff
|
tree
2013-11-28
Clifford Wolf
Added "src" attribute to processes
commit
|
commitdiff
|
tree
2013-11-28
Clifford Wolf
Started writing appnote 011
commit
|
commitdiff
|
tree
2013-11-28
Clifford Wolf
Added support for "show -pause" and "show -format dot"
commit
|
commitdiff
|
tree
2013-11-28
Clifford Wolf
Added QGraphicsWebView to yosys-svgviewer
commit
|
commitdiff
|
tree
2013-11-27
Clifford Wolf
Updated ABC to 9241719523f6
commit
|
commitdiff
|
tree
2013-11-27
Clifford Wolf
Added some svgviewer code for possible future switch...
commit
|
commitdiff
|
tree
2013-11-27
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
commit
|
commitdiff
|
tree
2013-11-27
Clifford Wolf
Tighter integration of ABC build
commit
|
commitdiff
|
tree
2013-11-27
Clifford Wolf
Set version number to 0.1.0+
commit
|
commitdiff
|
tree
2013-11-25
Clifford Wolf
Started implementing undef support in "sat" command
commit
|
commitdiff
|
tree
2013-11-25
Clifford Wolf
Bugfixes in new "stat" command
commit
|
commitdiff
|
tree
2013-11-25
Clifford Wolf
Added "stat" command
commit
|
commitdiff
|
tree
2013-11-25
Clifford Wolf
Improvements in satgen undef handling
commit
|
commitdiff
|
tree
next