projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2019-06-19
Clifford Wolf
Make tests/aiger less chatty
commit
|
commitdiff
|
tree
2019-06-19
Clifford Wolf
Merge pull request #1100 from bwidawsk/home
commit
|
commitdiff
|
tree
2019-06-19
Clifford Wolf
Merge pull request #1104 from whitequark/case-semantics
commit
|
commitdiff
|
tree
2019-06-19
whitequark
Explain exact semantics of switch and case rules in...
commit
|
commitdiff
|
tree
2019-06-19
whitequark
In RTLIL::Module::check(), check process invariants.
commit
|
commitdiff
|
tree
2019-06-18
Ben Widawsky
Support filename rewrite in backends
commit
|
commitdiff
|
tree
2019-06-18
Ben Widawsky
Support ~ for home directory
commit
|
commitdiff
|
tree
2019-06-18
Clifford Wolf
Merge pull request #1086 from udif/pr_elab_sys_tasks2
commit
|
commitdiff
|
tree
2019-06-16
Clifford Wolf
Add timescale and generated-by header to yosys-smtbmc...
commit
|
commitdiff
|
tree
2019-06-13
Serge Bazanski
Merge pull request #829 from abdelrahmanhosny/master
commit
|
commitdiff
|
tree
2019-06-10
Udi Finkelstein
Fixed brojen $error()/$info/$warning() on non-generate...
commit
|
commitdiff
|
tree
2019-06-10
Eddie Hung
Add some more comments
commit
|
commitdiff
|
tree
2019-06-10
David Shah
Merge pull request #1082 from corecode/u4k
commit
|
commitdiff
|
tree
2019-06-10
Simon Schubert
ice40/cells_sim.v: Add support for RGB_DRV/LED_DRV_CUR...
commit
|
commitdiff
|
tree
2019-06-08
Clifford Wolf
Merge pull request #1078 from YosysHQ/eddie/muxcover_costs
commit
|
commitdiff
|
tree
2019-06-07
Eddie Hung
Fix spacing from spaces to tabs
commit
|
commitdiff
|
tree
2019-06-07
Clifford Wolf
Merge pull request #1079 from YosysHQ/eddie/fix_read_aiger
commit
|
commitdiff
|
tree
2019-06-07
Eddie Hung
Add read_aiger to CHANGELOG
commit
|
commitdiff
|
tree
2019-06-07
Eddie Hung
Fix spacing (entire file is wrong anyway, will fix...
commit
|
commitdiff
|
tree
2019-06-07
Eddie Hung
Remove unnecessary std::getline() for ASCII
commit
|
commitdiff
|
tree
2019-06-07
Eddie Hung
Test *.aag too, by using *.aig as reference
commit
|
commitdiff
|
tree
2019-06-07
Eddie Hung
Fix read_aiger -- create zero driver, fix init width...
commit
|
commitdiff
|
tree
2019-06-07
Eddie Hung
Use ABC to convert from AIGER to Verilog
commit
|
commitdiff
|
tree
2019-06-07
Eddie Hung
Use ABC to convert AIGER to Verilog, then sat against...
commit
|
commitdiff
|
tree
2019-06-07
Eddie Hung
Add symbols to AIGER test inputs for ABC
commit
|
commitdiff
|
tree
2019-06-07
Eddie Hung
Allow muxcover costs to be changed
commit
|
commitdiff
|
tree
2019-06-07
Clifford Wolf
Merge pull request #1077 from YosysHQ/clifford/pr983
commit
|
commitdiff
|
tree
2019-06-07
Clifford Wolf
Rename implicit_ports.sv test to implicit_ports.v
commit
|
commitdiff
|
tree
2019-06-07
Clifford Wolf
Fixes and cleanups in AST_TECALL handling
commit
|
commitdiff
|
tree
2019-06-07
Clifford Wolf
Merge branch 'pr_elab_sys_tasks' of https://github...
commit
|
commitdiff
|
tree
2019-06-07
Clifford Wolf
Merge branch 'tux3-implicit_named_connection'
commit
|
commitdiff
|
tree
2019-06-07
Clifford Wolf
Merge pull request #1076 from thasti/centos7-build-fix
commit
|
commitdiff
|
tree
2019-06-07
Clifford Wolf
Cleanup tux3-implicit_named_connection
commit
|
commitdiff
|
tree
2019-06-07
Clifford Wolf
Merge branch 'implicit_named_connection' of https:...
commit
|
commitdiff
|
tree
2019-06-07
Stefan Biereigel
remove boost/log/exceptions.hpp from wrapper generator
commit
|
commitdiff
|
tree
2019-06-06
tux3
SystemVerilog support for implicit named port connections
commit
|
commitdiff
|
tree
2019-06-06
Clifford Wolf
Merge pull request #1060 from antmicro/parsing_attr_on_...
commit
|
commitdiff
|
tree
2019-06-06
David Shah
Merge pull request #1073 from whitequark/ecp5-diamond-iob
commit
|
commitdiff
|
tree
2019-06-06
whitequark
ECP5: implement all Diamond I/O buffer primitives.
commit
|
commitdiff
|
tree
2019-06-06
Clifford Wolf
Merge pull request #1071 from YosysHQ/eddie/fix_1070
commit
|
commitdiff
|
tree
2019-06-06
Clifford Wolf
Merge pull request #1072 from YosysHQ/eddie/fix_1069
commit
|
commitdiff
|
tree
2019-06-05
Eddie Hung
Missing doc for -tech xilinx in shregmap
commit
|
commitdiff
|
tree
2019-06-05
Eddie Hung
Error out if no top module given before 'sim'
commit
|
commitdiff
|
tree
2019-06-05
Eddie Hung
Fix typo in opt_rmdff
commit
|
commitdiff
|
tree
2019-06-05
Eddie Hung
Merge pull request #1067 from YosysHQ/clifford/fix1065
commit
|
commitdiff
|
tree
2019-06-05
Maciej Kurc
Fixed memory leak.
commit
|
commitdiff
|
tree
2019-06-05
Clifford Wolf
Merge pull request #1066 from YosysHQ/clifford/fix1056
commit
|
commitdiff
|
tree
2019-06-05
Clifford Wolf
Major rewrite of wire selection in setundef -init
commit
|
commitdiff
|
tree
2019-06-05
Clifford Wolf
Indent fix
commit
|
commitdiff
|
tree
2019-06-05
Clifford Wolf
Merge pull request #999 from jakobwenzel/setundefInitFix
commit
|
commitdiff
|
tree
2019-06-05
Clifford Wolf
Fix typo in fmcombine log message, fixes #1063
commit
|
commitdiff
|
tree
2019-06-05
Clifford Wolf
Suppress driver-driver conflict warning for unknown...
commit
|
commitdiff
|
tree
2019-06-05
Clifford Wolf
Remove yosys_banner() from python wrapper init, fixes...
commit
|
commitdiff
|
tree
2019-06-04
Clifford Wolf
Merge pull request #1062 from tux3/patch-1
commit
|
commitdiff
|
tree
2019-06-04
Tux3
README.md: Missing formatting for <tag>
commit
|
commitdiff
|
tree
2019-06-04
Maciej Kurc
Moved tests that fail with Icarus Verilog to /tests...
commit
|
commitdiff
|
tree
2019-06-04
Eddie Hung
Merge pull request #1061 from YosysHQ/eddie/techmap_and...
commit
|
commitdiff
|
tree
2019-06-04
Eddie Hung
Remove extra newline
commit
|
commitdiff
|
tree
2019-06-04
Eddie Hung
Execute techmap and arith_map simultaneously
commit
|
commitdiff
|
tree
2019-06-03
Maciej Kurc
Added tests for attributes
commit
|
commitdiff
|
tree
2019-06-02
Clifford Wolf
Only support Symbiotic EDA flavored Verific
commit
|
commitdiff
|
tree
2019-05-31
Maciej Kurc
Added support for parsing attributes on port connections.
commit
|
commitdiff
|
tree
2019-05-31
Clifford Wolf
Fix "tee" handling of log_streams
commit
|
commitdiff
|
tree
2019-05-30
Clifford Wolf
Enable Verific flag veri_elaborate_top_level_modules_ha...
commit
|
commitdiff
|
tree
2019-05-30
Clifford Wolf
Merge pull request #1057 from mmicko/fix_478
commit
|
commitdiff
|
tree
2019-05-29
Miodrag Milanovic
Aded one more load of .conf to support change of prefix
commit
|
commitdiff
|
tree
2019-05-28
Clifford Wolf
Merge pull request #1049 from YosysHQ/clifford/fix1047
commit
|
commitdiff
|
tree
2019-05-28
Clifford Wolf
Merge pull request #1050 from YosysHQ/clifford/wandwor
commit
|
commitdiff
|
tree
2019-05-28
Clifford Wolf
Do not use shiftmul peepopt pattern when mul result...
commit
|
commitdiff
|
tree
2019-05-28
Clifford Wolf
Merge pull request #1048 from mmicko/fix_enable_pyosys
commit
|
commitdiff
|
tree
2019-05-28
Clifford Wolf
Refactor hierarchy wand/wor handling
commit
|
commitdiff
|
tree
2019-05-28
Clifford Wolf
Add actual wandwor test that is part of "make test"
commit
|
commitdiff
|
tree
2019-05-28
Clifford Wolf
Merge branch 'wandwor' of https://github.com/thasti...
commit
|
commitdiff
|
tree
2019-05-28
Miodrag Milanovic
Remove info line in 2nd load of conf file
commit
|
commitdiff
|
tree
2019-05-28
Miodrag Milanovic
Moved pyosys block in Makefile
commit
|
commitdiff
|
tree
2019-05-28
Clifford Wolf
Merge pull request #1045 from mmicko/afl-gcc-target
commit
|
commitdiff
|
tree
2019-05-27
Miodrag Milanovic
make config-afl-gcc to help creating conf file
commit
|
commitdiff
|
tree
2019-05-27
Miodrag Milanovic
Added afl-gcc as target for fuzzer
commit
|
commitdiff
|
tree
2019-05-27
Stefan Biereigel
Merge branch 'master' into wandwor
commit
|
commitdiff
|
tree
2019-05-27
Stefan Biereigel
reformat wand/wor test
commit
|
commitdiff
|
tree
2019-05-27
Stefan Biereigel
remove port direction workaround from test case
commit
|
commitdiff
|
tree
2019-05-27
Stefan Biereigel
update README.md with wand/wor information
commit
|
commitdiff
|
tree
2019-05-27
Stefan Biereigel
remove leftovers from ast data structures
commit
|
commitdiff
|
tree
2019-05-27
Stefan Biereigel
move wand/wor resolution into hierarchy pass
commit
|
commitdiff
|
tree
2019-05-27
Clifford Wolf
Merge pull request #1044 from mmicko/invalid_width_range
commit
|
commitdiff
|
tree
2019-05-27
Clifford Wolf
Merge pull request #1043 from mmicko/unsized_constant
commit
|
commitdiff
|
tree
2019-05-27
Clifford Wolf
Merge pull request #1026 from YosysHQ/clifford/fix1023
commit
|
commitdiff
|
tree
2019-05-27
Clifford Wolf
Merge pull request #1030 from Kmanfi/makefile_osx
commit
|
commitdiff
|
tree
2019-05-27
Miodrag Milanovic
Give error instead of asserting for invalid range,...
commit
|
commitdiff
|
tree
2019-05-27
Miodrag Milanovic
Added support for unsized constants, fixes #1022
commit
|
commitdiff
|
tree
2019-05-27
Kaj Tuomi
Guard all Python-api related items.
commit
|
commitdiff
|
tree
2019-05-26
Clifford Wolf
Merge pull request #1035 from YosysHQ/eddie/opt_rmdff
commit
|
commitdiff
|
tree
2019-05-26
Clifford Wolf
Merge pull request #1042 from mmicko/git_ignore_python
commit
|
commitdiff
|
tree
2019-05-26
Miodrag Milanovic
Add files to ignore for python build
commit
|
commitdiff
|
tree
2019-05-25
Eddie Hung
Revert enable check
commit
|
commitdiff
|
tree
2019-05-25
Clifford Wolf
Merge pull request #1041 from YosysHQ/clifford/fix1040
commit
|
commitdiff
|
tree
2019-05-25
Clifford Wolf
Fix handling of offset and upto module ports in write_b...
commit
|
commitdiff
|
tree
2019-05-25
Eddie Hung
Fix init
commit
|
commitdiff
|
tree
2019-05-25
Eddie Hung
Fix typos
commit
|
commitdiff
|
tree
2019-05-25
Eddie Hung
Add more tests
commit
|
commitdiff
|
tree
next