projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2014-01-20
Ahmed Irfan
slice bug corrected
commit
|
commitdiff
|
tree
2014-01-20
Ahmed Irfan
assert feature
commit
|
commitdiff
|
tree
2014-01-20
Ahmed Irfan
Merge branch 'master' of https://github.com/cliffordwol...
commit
|
commitdiff
|
tree
2014-01-19
Clifford Wolf
Added hilomap command
commit
|
commitdiff
|
tree
2014-01-19
Clifford Wolf
Added sat -tempinduc and sat -prove-asserts
commit
|
commitdiff
|
tree
2014-01-19
Clifford Wolf
Added $assert support to satgen
commit
|
commitdiff
|
tree
2014-01-19
Clifford Wolf
Added $assert cell
commit
|
commitdiff
|
tree
2014-01-19
Clifford Wolf
Added Verilog parser support for asserts
commit
|
commitdiff
|
tree
2014-01-18
Ahmed Irfan
script added
commit
|
commitdiff
|
tree
2014-01-18
Ahmed Irfan
Merge branch 'master' of https://github.com/ahmedirfan1...
commit
|
commitdiff
|
tree
2014-01-18
Clifford Wolf
Fixed $lut simlib model for a wider range of tools
commit
|
commitdiff
|
tree
2014-01-18
Clifford Wolf
Fixed parsing of verilog macros at end of line
commit
|
commitdiff
|
tree
2014-01-18
Clifford Wolf
More changes to simlib to make it friendlier to a wider...
commit
|
commitdiff
|
tree
2014-01-18
Clifford Wolf
Fixed a type in $mem model in simlib.v
commit
|
commitdiff
|
tree
2014-01-18
Ahmed Irfan
Merge branch 'master' of https://github.com/ahmedirfan1...
commit
|
commitdiff
|
tree
2014-01-18
Ahmed Irfan
Merge branch 'master' of https://github.com/cliffordwol...
commit
|
commitdiff
|
tree
2014-01-18
Ahmed Irfan
pmux2mux
commit
|
commitdiff
|
tree
2014-01-18
Clifford Wolf
Removed cases of trailing comma in stdcells.v
commit
|
commitdiff
|
tree
2014-01-18
Clifford Wolf
Added $bu0 cell to simlib.v
commit
|
commitdiff
|
tree
2014-01-18
Clifford Wolf
Improved setundef random number generator
commit
|
commitdiff
|
tree
2014-01-17
Clifford Wolf
Added setundef command
commit
|
commitdiff
|
tree
2014-01-17
Clifford Wolf
Some improvements in log_dump_val_worker() templates
commit
|
commitdiff
|
tree
2014-01-17
Clifford Wolf
Added techlibs/common/pmux2mux.v
commit
|
commitdiff
|
tree
2014-01-17
Ahmed Irfan
verilog default options pull
commit
|
commitdiff
|
tree
2014-01-17
Ahmed Irfan
Merge branch 'master' of https://github.com/ahmedirfan1...
commit
|
commitdiff
|
tree
2014-01-17
Ahmed Irfan
Merge pull request #4 from cliffordwolf/master
commit
|
commitdiff
|
tree
2014-01-17
Clifford Wolf
Added verilog_defaults command
commit
|
commitdiff
|
tree
2014-01-17
Clifford Wolf
Added support for $adff with undef data inputs to opt_rmdff
commit
|
commitdiff
|
tree
2014-01-17
Clifford Wolf
Added select -assert-none and -assert-any
commit
|
commitdiff
|
tree
2014-01-17
Ahmed Irfan
Merge branch 'master' of https://github.com/ahmedirfan1...
commit
|
commitdiff
|
tree
2014-01-17
Ahmed Irfan
Merge pull request #3 from cliffordwolf/master
commit
|
commitdiff
|
tree
2014-01-16
Clifford Wolf
Added automatic memid generation to memory_unpack command
commit
|
commitdiff
|
tree
2014-01-16
Clifford Wolf
Added memory_unpack command
commit
|
commitdiff
|
tree
2014-01-16
Ahmed Irfan
slice error corrected
commit
|
commitdiff
|
tree
2014-01-15
Ahmed Irfan
width issues
commit
|
commitdiff
|
tree
2014-01-15
Ahmed Irfan
Merge branch 'master' of https://github.com/ahmedirfan1...
commit
|
commitdiff
|
tree
2014-01-15
Ahmed Irfan
Merge pull request #2 from cliffordwolf/master
commit
|
commitdiff
|
tree
2014-01-14
Clifford Wolf
Merge pull request #20 from mschmoelzer/master
commit
|
commitdiff
|
tree
2014-01-14
Martin Schmölzer
Include unistd.h in passes/hierarchy/hierarchy.cc ...
commit
|
commitdiff
|
tree
2014-01-14
Clifford Wolf
Added hierarchy -libdir option
commit
|
commitdiff
|
tree
2014-01-14
Clifford Wolf
renamed LibertyParer to LibertyParser
commit
|
commitdiff
|
tree
2014-01-14
Clifford Wolf
Added "+" to list of liberty token characters
commit
|
commitdiff
|
tree
2014-01-14
Ahmed Irfan
BTOR backend
commit
|
commitdiff
|
tree
2014-01-14
Ahmed Irfan
Merge branch 'master' of https://github.com/ahmedirfan1...
commit
|
commitdiff
|
tree
2014-01-14
Ahmed Irfan
Merge pull request #1 from cliffordwolf/master
commit
|
commitdiff
|
tree
2014-01-14
Clifford Wolf
Added "opt_const -mux_undef"
commit
|
commitdiff
|
tree
2014-01-12
Clifford Wolf
Fixed typo in frontends/ast/simplify.cc
commit
|
commitdiff
|
tree
2014-01-04
Clifford Wolf
Improved performance of freduce input cone reduction
commit
|
commitdiff
|
tree
2014-01-03
Clifford Wolf
Improved freduce performance on const signals
commit
|
commitdiff
|
tree
2014-01-03
Clifford Wolf
Performance improvements in freduce pass
commit
|
commitdiff
|
tree
2014-01-03
Clifford Wolf
More freduce cleanups
commit
|
commitdiff
|
tree
2014-01-03
Clifford Wolf
Added updating of RTLIL::autoidx to ilang frontend
commit
|
commitdiff
|
tree
2014-01-03
Clifford Wolf
Cleanups in freduce command
commit
|
commitdiff
|
tree
2014-01-03
Clifford Wolf
Fixed SAT and ConstEval undef handling for $pmux and...
commit
|
commitdiff
|
tree
2014-01-03
Clifford Wolf
Tiny cleanup in proc_mux.cc
commit
|
commitdiff
|
tree
2014-01-03
Ahmed Irfan
splitnet -driver feature
commit
|
commitdiff
|
tree
2014-01-03
Clifford Wolf
Added "splitnets -driver"
commit
|
commitdiff
|
tree
2014-01-03
Clifford Wolf
Use selection in freduce command
commit
|
commitdiff
|
tree
2014-01-03
Clifford Wolf
Another small freduce cleanup/bugfix
commit
|
commitdiff
|
tree
2014-01-03
Clifford Wolf
Added "connect" command
commit
|
commitdiff
|
tree
2014-01-03
Ahmed Irfan
Merge branch 'master' of https://github.com/cliffordwol...
commit
|
commitdiff
|
tree
2014-01-03
Ahmed Irfan
makefile
commit
|
commitdiff
|
tree
2014-01-03
Ahmed Irfan
btor
commit
|
commitdiff
|
tree
2014-01-03
Clifford Wolf
More freduce cleanups and bugfixes
commit
|
commitdiff
|
tree
2014-01-03
Clifford Wolf
Added RTLIL::SigSpec::optimized() API
commit
|
commitdiff
|
tree
2014-01-02
Clifford Wolf
Added correct handling of $memwr priority
commit
|
commitdiff
|
tree
2014-01-02
Clifford Wolf
Fixed more complex undef cases in freduce
commit
|
commitdiff
|
tree
2014-01-02
Clifford Wolf
Now */ is optional in */<mode>:<arg> selections
commit
|
commitdiff
|
tree
2014-01-02
Clifford Wolf
Added "rename -hide" command
commit
|
commitdiff
|
tree
2014-01-02
Clifford Wolf
Added SAT undef model for $pmux and $safe_pmux
commit
|
commitdiff
|
tree
2014-01-02
Clifford Wolf
More "freduce" related fixes and improvements
commit
|
commitdiff
|
tree
2014-01-02
Clifford Wolf
Added support for module->connections to select %ci...
commit
|
commitdiff
|
tree
2014-01-02
Clifford Wolf
Some cleanups in freduce -inv mode (and switched from...
commit
|
commitdiff
|
tree
2014-01-02
Clifford Wolf
Added autotest.sh -p option
commit
|
commitdiff
|
tree
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
next