projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2020-04-06
Alberto Gonzalez
Clean up `passes/tests/test_autotb.cc`.
commit
|
commitdiff
|
tree
2020-04-03
Eddie Hung
Merge pull request #1648 from YosysHQ/eddie/cmp2lcu
commit
|
commitdiff
|
tree
2020-04-03
Eddie Hung
cmp2lcu: rename _90_lcu_cmp -> _80_lcu_cmp
commit
|
commitdiff
|
tree
2020-04-03
Eddie Hung
cmp2lcu: fail if `LUT_WIDTH < 2
commit
|
commitdiff
|
tree
2020-04-03
Eddie Hung
synth: only techmap cmp2{lut,lcu} if -lut
commit
|
commitdiff
|
tree
2020-04-03
Eddie Hung
synth: use +/cmp2lcu.v in generic 'synth' too
commit
|
commitdiff
|
tree
2020-04-03
Eddie Hung
Cleanup +/cmp2lut.v
commit
|
commitdiff
|
tree
2020-04-03
Eddie Hung
synth_xilinx: techmap +/cmp2lut.v and +/cmp2lcu.v in...
commit
|
commitdiff
|
tree
2020-04-03
Eddie Hung
+/cmp2lcu.v to work efficiently for fully/partially...
commit
|
commitdiff
|
tree
2020-04-03
Eddie Hung
+/cmp2lcu.v to work efficiently for fully/partially...
commit
|
commitdiff
|
tree
2020-04-03
Eddie Hung
Refactor +/cmp2lcu.v into recursive techmap
commit
|
commitdiff
|
tree
2020-04-03
Eddie Hung
Cleanup
commit
|
commitdiff
|
tree
2020-04-03
Eddie Hung
Cleanup cmp2lcu.v
commit
|
commitdiff
|
tree
2020-04-03
Eddie Hung
techmap +/cmp2lcu.v for decomposing arithmetic compares...
commit
|
commitdiff
|
tree
2020-04-03
Eddie Hung
cmp2lut: comment out unused since 362f4f9
commit
|
commitdiff
|
tree
2020-04-02
Eddie Hung
Merge pull request #1853 from YosysHQ/eddie/fix_dynslice
commit
|
commitdiff
|
tree
2020-04-02
Eddie Hung
Merge pull request #1767 from YosysHQ/eddie/idstrings
commit
|
commitdiff
|
tree
2020-04-02
Eddie Hung
kernel: big fat patch to use more ID::*, otherwise...
commit
|
commitdiff
|
tree
2020-04-02
Marcin Kościelnicki
simcells.v: Generate the fine FF cell types by a python...
commit
|
commitdiff
|
tree
2020-04-02
Claire Wolf
Merge pull request #1846 from dh73/ast_fe
commit
|
commitdiff
|
tree
2020-04-02
Marcin Kościelnicki
iopadmap: Fix z assignment to inout port
commit
|
commitdiff
|
tree
2020-04-02
Claire Wolf
Merge pull request #1842 from YosysHQ/mwk/fix-deminout-xz
commit
|
commitdiff
|
tree
2020-04-02
Eddie Hung
kernel: IdString::in(const IdString &) as per @Tjoppen
commit
|
commitdiff
|
tree
2020-04-02
Eddie Hung
kernel: fix formatting (thanks @boqwxp)
commit
|
commitdiff
|
tree
2020-04-02
Eddie Hung
kernel: use C++11 fold hack to prevent recursion
commit
|
commitdiff
|
tree
2020-04-02
Eddie Hung
Revert "kernel: IdString:in() to use perfect forwarding"
commit
|
commitdiff
|
tree
2020-04-02
Eddie Hung
Update backends/btor/btor.cc; credit @boqwxp
commit
|
commitdiff
|
tree
2020-04-02
Eddie Hung
kernel: separate IdString::put_reference() out to help...
commit
|
commitdiff
|
tree
2020-04-02
Eddie Hung
kernel: IdString:in() to use perfect forwarding
commit
|
commitdiff
|
tree
2020-04-02
Eddie Hung
kernel: use more ID::*
commit
|
commitdiff
|
tree
2020-04-02
Eddie Hung
kernel: Use constids.inc for global/constant IdStrings
commit
|
commitdiff
|
tree
2020-04-02
Eddie Hung
Merge pull request #1845 from YosysHQ/eddie/kernel_speedup
commit
|
commitdiff
|
tree
2020-04-02
Claire Wolf
Bump YOSYS_VER
commit
|
commitdiff
|
tree
2020-04-02
Claire Wolf
Merge pull request #1770 from YosysHQ/claire/btor_symbols
commit
|
commitdiff
|
tree
2020-04-02
Claire Wolf
Merge pull request #1765 from YosysHQ/claire/btor_info
commit
|
commitdiff
|
tree
2020-04-02
Claire Wolf
Merge pull request #1777 from YosysHQ/claire/manyhot
commit
|
commitdiff
|
tree
2020-04-02
Claire Wolf
Improve ezsat onehot encoding scheme
commit
|
commitdiff
|
tree
2020-04-02
Claire Wolf
Using LFSR counter for ezSAT::manyhot()
commit
|
commitdiff
|
tree
2020-04-01
Eddie Hung
Merge pull request #1828 from YosysHQ/eddie/celltypes_s...
commit
|
commitdiff
|
tree
2020-04-01
Eddie Hung
Merge pull request #1790 from YosysHQ/eddie/opt_expr_xor
commit
|
commitdiff
|
tree
2020-04-01
Eddie Hung
Merge pull request #1789 from YosysHQ/eddie/opt_expr_alu
commit
|
commitdiff
|
tree
2020-04-01
David Shah
Merge pull request #1844 from YosysHQ/dave/gen-source-loc
commit
|
commitdiff
|
tree
2020-04-01
Eddie Hung
Merge pull request #1852 from boqwxp/cleanup_synth_ice40
commit
|
commitdiff
|
tree
2020-04-01
David Shah
verilog: Add location info for generate constructs
commit
|
commitdiff
|
tree
2020-04-01
Eddie Hung
ast: cap dynamic range select to size of signal, suppre...
commit
|
commitdiff
|
tree
2020-04-01
Eddie Hung
Merge pull request #1849 from boqwxp/cleanup_kernel_yosys
commit
|
commitdiff
|
tree
2020-04-01
Eddie Hung
Merge pull request #1850 from boqwxp/cleanup_backends
commit
|
commitdiff
|
tree
2020-04-01
Alberto Gonzalez
Fix indentation in `techlibs/ice40/synth_ice40.cc`.
commit
|
commitdiff
|
tree
2020-04-01
Alberto Gonzalez
Update `RTLIL::id2cstr()` usage to `log_id`.
commit
|
commitdiff
|
tree
2020-04-01
Claire Wolf
Merge pull request #1848 from YosysHQ/eddie/fix_dynslice
commit
|
commitdiff
|
tree
2020-04-01
Alberto Gonzalez
Clean up pseudo-private member usage in `backends/inter...
commit
|
commitdiff
|
tree
2020-04-01
Alberto Gonzalez
Clean up pseudo-private member usage in `backends/blif...
commit
|
commitdiff
|
tree
2020-04-01
Alberto Gonzalez
Clean up pseudo-private member usage in `backends/veril...
commit
|
commitdiff
|
tree
2020-04-01
Alberto Gonzalez
Clean up pseudo-private member usage in `backends/spice...
commit
|
commitdiff
|
tree
2020-04-01
Alberto Gonzalez
Clean up pseudo-private member usage in `backends/edif...
commit
|
commitdiff
|
tree
2020-04-01
Alberto Gonzalez
Clean up pseudo-private member usage in `backends/ilang...
commit
|
commitdiff
|
tree
2020-04-01
Alberto Gonzalez
Clean up pseudo-private member usage in `kernel/yosys...
commit
|
commitdiff
|
tree
2020-03-31
Eddie Hung
Merge pull request #1761 from YosysHQ/eddie/opt_merge_s...
commit
|
commitdiff
|
tree
2020-03-31
Eddie Hung
ast: simplify to fully populate dynamic slicing case...
commit
|
commitdiff
|
tree
2020-03-31
Eddie Hung
Add dynamic slicing Verilog testcase
commit
|
commitdiff
|
tree
2020-03-31
Diego H
Replacing log_error for log_file_error due consistency
commit
|
commitdiff
|
tree
2020-03-30
Diego H
Adding error message for when size (width) of number...
commit
|
commitdiff
|
tree
2020-03-30
Eddie Hung
Merge pull request #1783 from boqwxp/astcc_cleanup
commit
|
commitdiff
|
tree
2020-03-30
Eddie Hung
Merge pull request #1835 from boqwxp/cleanup_sat_expose
commit
|
commitdiff
|
tree
2020-03-30
Eddie Hung
Merge pull request #1832 from boqwxp/cleanup_passes_cmd...
commit
|
commitdiff
|
tree
2020-03-30
Eddie Hung
Merge pull request #1786 from boqwxp/hierarchycc_cleanup
commit
|
commitdiff
|
tree
2020-03-30
Alberto Gonzalez
Add explanatory comment about inefficient wire removal...
commit
|
commitdiff
|
tree
2020-03-30
Eddie Hung
Merge pull request #1831 from boqwxp/cleanup_sat_eval
commit
|
commitdiff
|
tree
2020-03-30
Eddie Hung
Merge pull request #1833 from boqwxp/cleanup_sat_freduce
commit
|
commitdiff
|
tree
2020-03-30
Alberto Gonzalez
Remove unused function parameter.
commit
|
commitdiff
|
tree
2020-03-30
Alberto Gonzalez
Simplify iterating over selected modules or cells.
commit
|
commitdiff
|
tree
2020-03-30
Alberto Gonzalez
Replace `RTLIL::id2cstr()` with `log_id()`.
commit
|
commitdiff
|
tree
2020-03-30
Alberto Gonzalez
Fix double deletion in `passes/hierarchy/hierarchy...
commit
|
commitdiff
|
tree
2020-03-30
Alberto Gonzalez
Further clean up `passes/sat/eval.cc`.
commit
|
commitdiff
|
tree
2020-03-30
Alberto Gonzalez
Further clean up `passes/sat/freduce.cc`.
commit
|
commitdiff
|
tree
2020-03-30
Alberto Gonzalez
Clean up more in `passes/sat/expose.cc`.
commit
|
commitdiff
|
tree
2020-03-30
Eddie Hung
memory_share: fix stray brace
commit
|
commitdiff
|
tree
2020-03-30
Eddie Hung
Code review fixes
commit
|
commitdiff
|
tree
2020-03-30
Eddie Hung
Apply suggestions from code review
commit
|
commitdiff
|
tree
2020-03-30
Marcin Kościelnicki
deminout: prevent any constant assignment from demoting...
commit
|
commitdiff
|
tree
2020-03-30
N. Engelhardt
Merge pull request #1811 from PeterCrozier/typedef_scope
commit
|
commitdiff
|
tree
2020-03-30
N. Engelhardt
Merge pull request #1778 from rswarbrick/sv-defines
commit
|
commitdiff
|
tree
2020-03-28
Miodrag Milanovic
Explicit include of csignal
commit
|
commitdiff
|
tree
2020-03-28
Miodrag Milanovic
windows - there are no stopping signals
commit
|
commitdiff
|
tree
2020-03-28
Alberto Gonzalez
Clean up pseudo-private member usage in `passes/sat...
commit
|
commitdiff
|
tree
2020-03-28
Alberto Gonzalez
Clean up pseudo-private member usage in `passes/sat...
commit
|
commitdiff
|
tree
2020-03-28
Alberto Gonzalez
Clean up pseudo-private member usage in `passes/cmds...
commit
|
commitdiff
|
tree
2020-03-28
Alberto Gonzalez
Clean up pseudo-private member usage in `passes/sat...
commit
|
commitdiff
|
tree
2020-03-27
Eddie Hung
kernel: pass-by-value into Design::scratchpad_set_strin...
commit
|
commitdiff
|
tree
2020-03-27
Claire Wolf
Merge pull request #1607 from whitequark/simplify-simpl...
commit
|
commitdiff
|
tree
2020-03-27
Peter Crozier
Inline productions to follow house style.
commit
|
commitdiff
|
tree
2020-03-27
Rupert Swarbrick
Add support for SystemVerilog-style `define to Verilog...
commit
|
commitdiff
|
tree
2020-03-27
Claire Wolf
Merge pull request #1815 from boqwxp/fix-ef-optimize
commit
|
commitdiff
|
tree
2020-03-27
Alberto Gonzalez
Revert over-aggressive change to a more modest cleanup.
commit
|
commitdiff
|
tree
2020-03-26
Eddie Hung
kernel: const Wire* overload -> Wire* !!!
commit
|
commitdiff
|
tree
2020-03-26
Alberto Gonzalez
Do not change solver output parsing for non-exists...
commit
|
commitdiff
|
tree
2020-03-26
Eddie Hung
kernel: clear some more ShareWorker state
commit
|
commitdiff
|
tree
2020-03-26
Eddie Hung
kernel: Cell::set{Port,Param}() to pass by value, but...
commit
|
commitdiff
|
tree
2020-03-26
Claire Wolf
Merge pull request #1806 from YosysHQ/mwk/techmap-repla...
commit
|
commitdiff
|
tree
2020-03-26
Alberto Gonzalez
Skip reading stdout from the solver that if it isn...
commit
|
commitdiff
|
tree
next