projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2019-05-21
Eddie Hung
Pad all boxes so that all input/output connections...
commit
|
commitdiff
|
tree
2019-05-21
Eddie Hung
Modify LUT area cost to be same as old abc
commit
|
commitdiff
|
tree
2019-05-21
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
commit
|
commitdiff
|
tree
2019-05-18
Clifford Wolf
Merge pull request #1017 from Kmanfi/bigger_verilog_files
commit
|
commitdiff
|
tree
2019-05-18
Kaj Tuomi
Read bigger Verilog files.
commit
|
commitdiff
|
tree
2019-05-16
Clifford Wolf
Merge pull request #1013 from antmicro/parameter_attributes
commit
|
commitdiff
|
tree
2019-05-16
Maciej Kurc
Added tests for Verilog frontent for attributes on...
commit
|
commitdiff
|
tree
2019-05-16
Maciej Kurc
Added support for parsing attributes on parameters...
commit
|
commitdiff
|
tree
2019-05-15
Clifford Wolf
Merge pull request #1012 from YosysHQ/clifford/sigspecrw
commit
|
commitdiff
|
tree
2019-05-15
Clifford Wolf
Improvements in opt_clean
commit
|
commitdiff
|
tree
2019-05-15
Clifford Wolf
Add rewrite_sigspecs2, Improve remove() wires
commit
|
commitdiff
|
tree
2019-05-15
Clifford Wolf
Do not leak file descriptors in cover.cc
commit
|
commitdiff
|
tree
2019-05-15
Clifford Wolf
Merge pull request #1011 from hzeller/fix-constructing...
commit
|
commitdiff
|
tree
2019-05-15
Clifford Wolf
Merge pull request #1010 from hzeller/yacc-self-contained
commit
|
commitdiff
|
tree
2019-05-15
Clifford Wolf
Merge pull request #1008 from thasti/fix_libyosys_build
commit
|
commitdiff
|
tree
2019-05-15
David Shah
Merge pull request #1005 from smunaut/ice40_hfosc_trim
commit
|
commitdiff
|
tree
2019-05-15
Henner Zeller
Fix two instances of integer-assignment to string.
commit
|
commitdiff
|
tree
2019-05-15
Henner Zeller
Make the generated *.tab.hh include all the headers...
commit
|
commitdiff
|
tree
2019-05-14
Stefan Biereigel
extract python prefix to allow overriding
commit
|
commitdiff
|
tree
2019-05-14
Stefan Biereigel
remove ldconfig call
commit
|
commitdiff
|
tree
2019-05-14
Stefan Biereigel
add mkdir for libyosys target, explicitly copy to targe...
commit
|
commitdiff
|
tree
2019-05-14
whitequark
bugpoint: check for -script option.
commit
|
commitdiff
|
tree
2019-05-13
Sylvain Munaut
ice40/cells_sim.v: Add support for TRIM input to SB_HFOSC
commit
|
commitdiff
|
tree
2019-05-12
Clifford Wolf
Merge pull request #1004 from YosysHQ/clifford/fix1002
commit
|
commitdiff
|
tree
2019-05-12
Clifford Wolf
Fix handling of glob_abort_cnt in opt_muxtree, fixes...
commit
|
commitdiff
|
tree
2019-05-11
Clifford Wolf
Merge pull request #1003 from makaimann/zinit-all
commit
|
commitdiff
|
tree
2019-05-11
Clifford Wolf
Add "fmcombine -initeq -anyeq"
commit
|
commitdiff
|
tree
2019-05-11
Clifford Wolf
Add "stat -tech xilinx"
commit
|
commitdiff
|
tree
2019-05-10
Makai Mann
Zinit option '-singleton' -> '-all'
commit
|
commitdiff
|
tree
2019-05-09
Clifford Wolf
Merge pull request #1000 from bwidawsk/synth-format
commit
|
commitdiff
|
tree
2019-05-09
Ben Widawsky
Fix formatting for synth_intel.cc
commit
|
commitdiff
|
tree
2019-05-09
Ben Widawsky
Add a .clang-format
commit
|
commitdiff
|
tree
2019-05-09
Clifford Wolf
Add $stop to documentation
commit
|
commitdiff
|
tree
2019-05-08
Clifford Wolf
Remove added newline (by re-running minisat 00_UPDATE.sh)
commit
|
commitdiff
|
tree
2019-05-08
Clifford Wolf
Merge pull request #991 from kristofferkoch/gcc9-warnings
commit
|
commitdiff
|
tree
2019-05-08
Kristoffer...
Fix all warnings that occurred when compiling with...
commit
|
commitdiff
|
tree
2019-05-08
Clifford Wolf
Merge pull request #998 from mdaiter/get_bool_attribute...
commit
|
commitdiff
|
tree
2019-05-08
Matthew Daiter
Minor optimization to get_attribute_bool
commit
|
commitdiff
|
tree
2019-05-07
Clifford Wolf
Add test case from #997
commit
|
commitdiff
|
tree
2019-05-07
Clifford Wolf
Fix handling of partial init attributes in write_verilo...
commit
|
commitdiff
|
tree
2019-05-07
Clifford Wolf
Merge pull request #996 from mdaiter/ceil_log2_opts
commit
|
commitdiff
|
tree
2019-05-07
Matthew Daiter
Optimize ceil_log2 function
commit
|
commitdiff
|
tree
2019-05-07
Clifford Wolf
Add "synth_xilinx -arch"
commit
|
commitdiff
|
tree
2019-05-07
Clifford Wolf
More opt_clean cleanups
commit
|
commitdiff
|
tree
2019-05-06
Clifford Wolf
Merge pull request #946 from YosysHQ/clifford/specify
commit
|
commitdiff
|
tree
2019-05-06
Clifford Wolf
Merge pull request #975 from YosysHQ/clifford/fix968
commit
|
commitdiff
|
tree
2019-05-06
Clifford Wolf
Merge pull request #871 from YosysHQ/verific_import
commit
|
commitdiff
|
tree
2019-05-06
Clifford Wolf
Add tests/various/chparam.sh
commit
|
commitdiff
|
tree
2019-05-06
Clifford Wolf
Merge branch 'master' of github.com:YosysHQ/yosys into...
commit
|
commitdiff
|
tree
2019-05-06
Clifford Wolf
Fix the other bison warning in ilang_parser.y
commit
|
commitdiff
|
tree
2019-05-06
Clifford Wolf
Bugfix in peepopt_shiftmul.pmg
commit
|
commitdiff
|
tree
2019-05-06
Clifford Wolf
Merge pull request #992 from bwidawsk/bison-fix
commit
|
commitdiff
|
tree
2019-05-06
Clifford Wolf
Merge pull request #989 from YosysHQ/dave/abc_name_improve
commit
|
commitdiff
|
tree
2019-05-06
Clifford Wolf
Fix bug in "expose -input"
commit
|
commitdiff
|
tree
2019-05-06
Clifford Wolf
Cleanups in opt_clean
commit
|
commitdiff
|
tree
2019-05-06
Clifford Wolf
Improve tests/various/specify.ys
commit
|
commitdiff
|
tree
2019-05-06
Clifford Wolf
Add "real" keyword to ilang format
commit
|
commitdiff
|
tree
2019-05-06
Clifford Wolf
Merge branch 'master' of github.com:YosysHQ/yosys into...
commit
|
commitdiff
|
tree
2019-05-06
Ben Widawsky
verilog_parser: Fix Bison warning
commit
|
commitdiff
|
tree
2019-05-04
Clifford Wolf
Merge pull request #988 from YosysHQ/clifford/fix987
commit
|
commitdiff
|
tree
2019-05-04
David Shah
abc: Fix handling of postfixed names (e.g. for retiming)
commit
|
commitdiff
|
tree
2019-05-04
David Shah
abc: Improve name recovery
commit
|
commitdiff
|
tree
2019-05-04
Clifford Wolf
Improve opt_clean handling of unused wires
commit
|
commitdiff
|
tree
2019-05-04
Clifford Wolf
Add support for SVA "final" keyword
commit
|
commitdiff
|
tree
2019-05-04
Clifford Wolf
Improve write_verilog specify support
commit
|
commitdiff
|
tree
2019-05-04
Clifford Wolf
Update README
commit
|
commitdiff
|
tree
2019-05-04
Clifford Wolf
Add approximate support for SV "var" keyword, fixes...
commit
|
commitdiff
|
tree
2019-05-03
Eddie Hung
More testing
commit
|
commitdiff
|
tree
2019-05-03
Eddie Hung
Fix spacing
commit
|
commitdiff
|
tree
2019-05-03
Eddie Hung
Add quick-and-dirty specify tests
commit
|
commitdiff
|
tree
2019-05-03
Eddie Hung
Merge remote-tracking branch 'origin/master' into cliff...
commit
|
commitdiff
|
tree
2019-05-03
Eddie Hung
Rename cells_map.v to prevent clash with ff_map.v
commit
|
commitdiff
|
tree
2019-05-03
Eddie Hung
iverilog with simcells.v as well
commit
|
commitdiff
|
tree
2019-05-03
Clifford Wolf
Add "hierarchy -chparam" support for non-verific top...
commit
|
commitdiff
|
tree
2019-05-03
Eddie Hung
log_warning_noprefix -> log_warning as per review
commit
|
commitdiff
|
tree
2019-05-03
Eddie Hung
For hier_tree::Elaborate() also include SV root modules...
commit
|
commitdiff
|
tree
2019-05-03
Eddie Hung
Fix verific_parameters construction, use attribute...
commit
|
commitdiff
|
tree
2019-05-03
Eddie Hung
WIP -chparam support for hierarchy when verific
commit
|
commitdiff
|
tree
2019-05-03
Eddie Hung
verific_import() changes to avoid ElaborateAll()
commit
|
commitdiff
|
tree
2019-05-03
Clifford Wolf
Merge pull request #969 from YosysHQ/clifford/pmgenstuff
commit
|
commitdiff
|
tree
2019-05-03
Clifford Wolf
Merge pull request #984 from YosysHQ/eddie/fix_982
commit
|
commitdiff
|
tree
2019-05-03
Eddie Hung
Revert "synth_xilinx to call dffinit with -noreinit"
commit
|
commitdiff
|
tree
2019-05-03
Eddie Hung
If init is 1'bx, do not add to dict as per @cliffordwolf
commit
|
commitdiff
|
tree
2019-05-03
Eddie Hung
Revert "dffinit -noreinit to silently continue when...
commit
|
commitdiff
|
tree
2019-05-03
Clifford Wolf
Merge pull request #976 from YosysHQ/clifford/fix974
commit
|
commitdiff
|
tree
2019-05-03
Clifford Wolf
Merge pull request #985 from YosysHQ/clifford/fix981
commit
|
commitdiff
|
tree
2019-05-03
Clifford Wolf
Fix typo in tests/svinterfaces/runone.sh
commit
|
commitdiff
|
tree
2019-05-03
Clifford Wolf
Merge pull request #979 from jakobwenzel/svinterfacesTe...
commit
|
commitdiff
|
tree
2019-05-03
Clifford Wolf
Improve opt_expr and opt_clean handling of (partially...
commit
|
commitdiff
|
tree
2019-05-03
Clifford Wolf
Further improve unused-detection for opt_clean driver...
commit
|
commitdiff
|
tree
2019-05-03
Clifford Wolf
Improve unused-detection for opt_clean driver-driver...
commit
|
commitdiff
|
tree
2019-05-03
Clifford Wolf
Update pmgen documentation
commit
|
commitdiff
|
tree
2019-05-03
Clifford Wolf
Fix typo
commit
|
commitdiff
|
tree
2019-05-03
Eddie Hung
synth_xilinx to call dffinit with -noreinit
commit
|
commitdiff
|
tree
2019-05-03
Eddie Hung
dffinit -noreinit to silently continue when init value...
commit
|
commitdiff
|
tree
2019-05-02
Eddie Hung
Trim off leading 1'bx in A
commit
|
commitdiff
|
tree
2019-05-02
Eddie Hung
Add don't care optimisation
commit
|
commitdiff
|
tree
2019-05-02
Eddie Hung
Use new peepopt from #969
commit
|
commitdiff
|
tree
2019-05-02
Eddie Hung
Merge remote-tracking branch 'origin/clifford/pmgenstuf...
commit
|
commitdiff
|
tree
2019-05-02
Eddie Hung
Revert to pre-muxcover approach
commit
|
commitdiff
|
tree
next