projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2014-02-03
Clifford Wolf
presentation progress
commit
|
commitdiff
|
tree
2014-02-03
Clifford Wolf
Addred sat option -ignore_unknown_cells
commit
|
commitdiff
|
tree
2014-02-03
Clifford Wolf
Added TRANSPARENT parameter to $memrd (and RD_TRANSPARE...
commit
|
commitdiff
|
tree
2014-02-03
Clifford Wolf
Replaced isim with xsim in tests/tools/autotest.sh...
commit
|
commitdiff
|
tree
2014-02-02
Clifford Wolf
More opt_const -mux_bool features
commit
|
commitdiff
|
tree
2014-02-02
Clifford Wolf
presentation progress
commit
|
commitdiff
|
tree
2014-02-02
Clifford Wolf
Added opt_const -mux_bool
commit
|
commitdiff
|
tree
2014-02-02
Clifford Wolf
Added support for inverter chains to opt_const
commit
|
commitdiff
|
tree
2014-02-02
Clifford Wolf
Added RTLIL::SigSpec::to_single_sigbit()
commit
|
commitdiff
|
tree
2014-02-02
Clifford Wolf
Only generate write-enable $and if WE is not constant...
commit
|
commitdiff
|
tree
2014-02-02
Clifford Wolf
Added constant-clock case to opt_rmdff
commit
|
commitdiff
|
tree
2014-02-02
Clifford Wolf
presentation progress
commit
|
commitdiff
|
tree
2014-02-02
Clifford Wolf
Added show -notitle option
commit
|
commitdiff
|
tree
2014-02-02
Clifford Wolf
Added delete command
commit
|
commitdiff
|
tree
2014-02-02
Clifford Wolf
Added suuport for module attribute matching with A...
commit
|
commitdiff
|
tree
2014-02-02
Clifford Wolf
presentation progress
commit
|
commitdiff
|
tree
2014-02-02
Clifford Wolf
presentation progress
commit
|
commitdiff
|
tree
2014-02-02
Clifford Wolf
Added support for blanks after -I and -D in read_verilog
commit
|
commitdiff
|
tree
2014-02-01
Clifford Wolf
Fixed a bug in miter command
commit
|
commitdiff
|
tree
2014-02-01
Clifford Wolf
Added sat -show-inputs and -show-outputs
commit
|
commitdiff
|
tree
2014-02-01
Clifford Wolf
Added show -color support for cells and finished show...
commit
|
commitdiff
|
tree
2014-02-01
Clifford Wolf
Fixed comment/eol parsing in ilang frontend
commit
|
commitdiff
|
tree
2014-02-01
Clifford Wolf
Added constant size expression support of sized constants
commit
|
commitdiff
|
tree
2014-02-01
Clifford Wolf
Added note about SystemVerilog assert statement to...
commit
|
commitdiff
|
tree
2014-02-01
Clifford Wolf
Added miter command
commit
|
commitdiff
|
tree
2014-01-31
Clifford Wolf
Progress on presentation
commit
|
commitdiff
|
tree
2014-01-31
Clifford Wolf
More changes to techlibs/common/simlib.v for LEC
commit
|
commitdiff
|
tree
2014-01-30
Clifford Wolf
presentation progress
commit
|
commitdiff
|
tree
2014-01-30
Clifford Wolf
Bugfix in name resolution with generate blocks
commit
|
commitdiff
|
tree
2014-01-30
Clifford Wolf
Added yosys -H for command list
commit
|
commitdiff
|
tree
2014-01-29
Clifford Wolf
presentation progress
commit
|
commitdiff
|
tree
2014-01-29
Clifford Wolf
presentation progress
commit
|
commitdiff
|
tree
2014-01-29
Clifford Wolf
Tiny change in example script in README
commit
|
commitdiff
|
tree
2014-01-29
Clifford Wolf
Added -h command line option
commit
|
commitdiff
|
tree
2014-01-29
Clifford Wolf
Added test comments to techlibs/cmos/cmos_cells.lib
commit
|
commitdiff
|
tree
2014-01-29
Clifford Wolf
Updated ABC to hg rev e6b09e1
commit
|
commitdiff
|
tree
2014-01-28
Clifford Wolf
Added read_verilog -icells option
commit
|
commitdiff
|
tree
2014-01-28
Clifford Wolf
Major rewrite of techlibs/common/simlib.v for LEC ...
commit
|
commitdiff
|
tree
2014-01-28
Clifford Wolf
presentation progress
commit
|
commitdiff
|
tree
2014-01-28
Clifford Wolf
Renamed manual/FILES_* directories
commit
|
commitdiff
|
tree
2014-01-28
Clifford Wolf
Progress on presentation
commit
|
commitdiff
|
tree
2014-01-27
Clifford Wolf
Progress on presentation
commit
|
commitdiff
|
tree
2014-01-27
Clifford Wolf
Added first presentation slides
commit
|
commitdiff
|
tree
2014-01-26
Clifford Wolf
Merge branch 'btor' of https://github.com/ahmedirfan198...
commit
|
commitdiff
|
tree
2014-01-26
Clifford Wolf
Merge pull request #21 from hansiglaser/master
commit
|
commitdiff
|
tree
2014-01-25
Johann Glaser
enabled multiple "-map" for the extract pass
commit
|
commitdiff
|
tree
2014-01-25
Johann Glaser
beautified write_intersynth
commit
|
commitdiff
|
tree
2014-01-25
Ahmed Irfan
root bug corrected
commit
|
commitdiff
|
tree
2014-01-25
Clifford Wolf
Added support for // comments in liberty parser
commit
|
commitdiff
|
tree
2014-01-24
Clifford Wolf
Merge branch 'btor'
commit
|
commitdiff
|
tree
2014-01-24
Ahmed Irfan
removed regex include
commit
|
commitdiff
|
tree
2014-01-24
Ahmed Irfan
merged clifford changes + removed regex
commit
|
commitdiff
|
tree
2014-01-24
Clifford Wolf
Use techmap -share_map in btor scripts
commit
|
commitdiff
|
tree
2014-01-24
Clifford Wolf
Moved btor scripts to backends/btor/
commit
|
commitdiff
|
tree
2014-01-24
Clifford Wolf
Restored Makefile
commit
|
commitdiff
|
tree
2014-01-24
Clifford Wolf
Restored IdString::check()
commit
|
commitdiff
|
tree
2014-01-24
Clifford Wolf
Merge branch 'btor' of https://github.com/ahmedirfan198...
commit
|
commitdiff
|
tree
2014-01-24
Clifford Wolf
Fixed handling of unsized constants in verilog frontend
commit
|
commitdiff
|
tree
2014-01-24
Ahmed Irfan
minor change in script
commit
|
commitdiff
|
tree
2014-01-22
Ahmed Irfan
Merge branch 'master' of https://github.com/cliffordwol...
commit
|
commitdiff
|
tree
2014-01-20
Clifford Wolf
Fixed algorithmic complexity of AST simplification...
commit
|
commitdiff
|
tree
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
next