projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
opt_lut: simplify type conversion. NFC.
2018-12-05
Clifford Wolf
Merge pull request #709 from smunaut/issue_708
commit
|
commitdiff
|
tree
2018-12-05
Clifford Wolf
Merge pull request #718 from whitequark/gate2lut
commit
|
commitdiff
|
tree
2018-12-05
Clifford Wolf
Merge pull request #713 from Diego-HR/master
commit
|
commitdiff
|
tree
2018-12-05
Clifford Wolf
Merge pull request #712 from mmicko/anlogic-support
commit
|
commitdiff
|
tree
2018-12-05
Clifford Wolf
Rename opt_lut.cpp to opt_lut.cc
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-12-05
Clifford Wolf
Merge pull request #717 from whitequark/opt_lut
commit
|
commitdiff
|
tree
2018-12-05
Clifford Wolf
Merge pull request #716 from whitequark/ice40_unlut
commit
|
commitdiff
|
tree
2018-12-04
Clifford Wolf
Fix typo
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-12-04
Clifford Wolf
Merge pull request #702 from smunaut/min_ce_use
commit
|
commitdiff
|
tree
2018-12-01
Clifford Wolf
Merge pull request #676 from rafaeltp/master
commit
|
commitdiff
|
tree
2018-11-29
Clifford Wolf
Improve ConstEval error handling for non-eval cell...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-11-20
Clifford Wolf
Add iteration limit to "opt_muxtree"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-11-13
Clifford Wolf
Update ABC to git rev 2ddc57d
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-11-12
Clifford Wolf
Add "write_aiger -I -O -B"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-11-12
Clifford Wolf
Merge branch 'master' of github.com:YosysHQ/yosys
commit
|
commitdiff
|
tree
2018-11-12
Clifford Wolf
Merge pull request #697 from eddiehung/xilinx_ps7
commit
|
commitdiff
|
tree
2018-11-12
Clifford Wolf
Merge pull request #695 from daveshah1/ecp5_bb
commit
|
commitdiff
|
tree
2018-11-11
Clifford Wolf
Update ABC to git rev 68da3cf
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-11-09
Clifford Wolf
Set Verific flag vhdl_support_variable_slice=1
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-11-09
Clifford Wolf
Merge pull request #696 from arjenroodselaar/verific_darwin
commit
|
commitdiff
|
tree
2018-11-08
Clifford Wolf
Fix "make ystests" to use correct Yosys binary
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-11-07
Clifford Wolf
Merge pull request #693 from YosysHQ/rlimit
commit
|
commitdiff
|
tree
2018-11-07
Clifford Wolf
Limit stack size to 16 MB on Darwin
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-11-06
Clifford Wolf
Merge pull request #694 from trcwm/dffmap_expr_fix
commit
|
commitdiff
|
tree
2018-11-06
Clifford Wolf
Run solver in non-incremental mode whem smtio.py is...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-11-06
Clifford Wolf
Update ABC rev to 4d56acf
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-11-06
Clifford Wolf
Fix for improved smtio.py rlimit code
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-11-06
Clifford Wolf
Improve stack rlimit code in smtio.py
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-11-05
Clifford Wolf
Allow square brackets in liberty identifiers
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-11-05
Clifford Wolf
Merge pull request #691 from arjenroodselaar/stacksize
commit
|
commitdiff
|
tree
2018-11-04
Clifford Wolf
Add warning for SV "restrict" without "property"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-11-04
Clifford Wolf
Add proper error message for when smtbmc "append" fails
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-11-04
Clifford Wolf
Various indenting fixes in AST front-end (mostly space...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-11-04
Clifford Wolf
Merge pull request #687 from trcwm/master
commit
|
commitdiff
|
tree
2018-11-04
Clifford Wolf
Merge pull request #688 from ZipCPU/rosenfell
commit
|
commitdiff
|
tree
2018-11-01
Clifford Wolf
Do not generate "reg assigned in a continuous assignment...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-11-01
Clifford Wolf
Add support for signed $shift/$shiftx in smt2 back-end
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-10-31
Clifford Wolf
Merge branch 'igloo2'
commit
|
commitdiff
|
tree
2018-10-31
Clifford Wolf
Fix sf2 LUT interface
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-10-31
Clifford Wolf
Basic SmartFusion2 and IGLOO2 synthesis support
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-10-30
Clifford Wolf
Merge pull request #680 from jburgess777/fix-empty...
commit
|
commitdiff
|
tree
2018-10-25
Clifford Wolf
Merge pull request #678 from whentze/master
commit
|
commitdiff
|
tree
2018-10-25
Clifford Wolf
Fix minor typo in error message
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-10-25
Clifford Wolf
Merge pull request #679 from udif/pr_syntax_error
commit
|
commitdiff
|
tree
2018-10-23
Clifford Wolf
Merge pull request #677 from daveshah1/ecp5_dsp
commit
|
commitdiff
|
tree
2018-10-20
Clifford Wolf
Improve read_verilog range out of bounds warning
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-10-20
Clifford Wolf
Merge pull request #674 from rubund/feature/svinterface_at_top
commit
|
commitdiff
|
tree
2018-10-19
Clifford Wolf
Merge pull request #673 from daveshah1/ecp5_improve
commit
|
commitdiff
|
tree
2018-10-19
Clifford Wolf
Merge pull request #672 from daveshah1/fix_bram
commit
|
commitdiff
|
tree
2018-10-19
Clifford Wolf
Merge pull request #671 from rafaeltp/master
commit
|
commitdiff
|
tree
2018-10-19
Clifford Wolf
Merge pull request #670 from rubund/feature/basic_svinterfac...
commit
|
commitdiff
|
tree
2018-10-18
Clifford Wolf
Update ABC to git rev 14d985a
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-10-18
Clifford Wolf
Merge pull request #659 from rubund/sv_interfaces
commit
|
commitdiff
|
tree
2018-10-18
Clifford Wolf
Merge pull request #657 from mithro/xilinx-vpr
commit
|
commitdiff
|
tree
2018-10-18
Clifford Wolf
Merge pull request #664 from tklam/ignore-verilog-protect
commit
|
commitdiff
|
tree
2018-10-17
Clifford Wolf
Update ABC to git rev c5b48bb
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-10-17
Clifford Wolf
Minor code cleanups in liberty front-end
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-10-17
Clifford Wolf
Merge pull request #660 from tklam/parse-liberty-detect...
commit
|
commitdiff
|
tree
2018-10-17
Clifford Wolf
Merge pull request #663 from aman-goel/master
commit
|
commitdiff
|
tree
2018-10-17
Clifford Wolf
Merge pull request #658 from daveshah1/ecp5_bram
commit
|
commitdiff
|
tree
2018-10-17
Clifford Wolf
Merge pull request #641 from tklam/master
commit
|
commitdiff
|
tree
2018-10-17
Clifford Wolf
Merge pull request #638 from udif/pr_reg_wire_error
commit
|
commitdiff
|
tree
2018-10-16
Clifford Wolf
We have 2018 now
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-10-16
Clifford Wolf
After release is before release
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-10-16
Clifford Wolf
Merge branch 'yosys-0.8-rc'
commit
|
commitdiff
|
tree
2018-10-16
Clifford Wolf
Yosys 0.8
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-10-16
Clifford Wolf
Update command reference manual
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-10-07
Clifford Wolf
Improve Verific importer blackbox handling
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-10-05
Clifford Wolf
Merge pull request #651 from ARandomOWL/stdcells_fix
commit
|
commitdiff
|
tree
2018-10-05
Clifford Wolf
Add "write_edif -attrprop"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-10-05
Clifford Wolf
Merge pull request #654 from mithro/patch-1
commit
|
commitdiff
|
tree
2018-10-05
Clifford Wolf
Fix compiler warning in verific.cc
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-10-04
Clifford Wolf
Add inout ports to cells_xtra.v
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-10-04
Clifford Wolf
Merge pull request #650 from mithro/patch-1
commit
|
commitdiff
|
tree
2018-10-02
Clifford Wolf
Merge pull request #645 from daveshah1/ecp5_dram_fix
commit
|
commitdiff
|
tree
2018-10-02
Clifford Wolf
Merge pull request #646 from tomverbeure/issue594
commit
|
commitdiff
|
tree
2018-09-30
Clifford Wolf
Merge branch 'yosys-0.8-rc' of github.com:YosysHQ/yosys
commit
|
commitdiff
|
tree
2018-09-30
Clifford Wolf
Fix handling of $past 2nd argument in read_verilog
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-09-28
Clifford Wolf
Merge branch 'yosys-0.8-rc' of github.com:YosysHQ/yosys
commit
|
commitdiff
|
tree
2018-09-28
Clifford Wolf
Update to v2 YosysVS template
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-09-24
Clifford Wolf
Add "read_verilog -noassert -noassume -assert-assumes"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-09-23
Clifford Wolf
Added support for ommited "parameter" in Verilog-2001...
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-09-23
Clifford Wolf
Merge branch 'master' of https://github.com/mmicko...
commit
|
commitdiff
|
tree
2018-09-23
Clifford Wolf
Update CHANGELOG
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-09-21
Clifford Wolf
Update CHANGLELOG
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-09-21
Clifford Wolf
Update Changelog
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-09-19
Clifford Wolf
Merge pull request #633 from mmicko/master
commit
|
commitdiff
|
tree
2018-09-19
Clifford Wolf
Merge pull request #631 from acw1251/master
commit
|
commitdiff
|
tree
2018-09-14
Clifford Wolf
Merge pull request #625 from aman-goel/master
commit
|
commitdiff
|
tree
2018-09-14
Clifford Wolf
Merge pull request #627 from acw1251/master
commit
|
commitdiff
|
tree
2018-09-10
Clifford Wolf
Add iCE40 SB_SPRAM256KA simulation model
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-09-05
Clifford Wolf
Add $lut support to Verilog back-end
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-09-04
Clifford Wolf
Add "verific -L <int>" option
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-08-30
Clifford Wolf
Add "make ystests"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-08-28
Clifford Wolf
Merge pull request #619 from mmicko/master
commit
|
commitdiff
|
tree
2018-08-28
Clifford Wolf
Merge pull request #618 from ucb-bar/firrtl+modules...
commit
|
commitdiff
|
tree
2018-08-27
Clifford Wolf
Add "make coverage"
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-08-27
Clifford Wolf
Add ENABLE_GCOV build option
Signed-off-by:
Clifford Wolf
<clifford@clifford.at>
commit
|
commitdiff
|
tree
2018-08-25
Clifford Wolf
Merge pull request #617 from mmicko/master
commit
|
commitdiff
|
tree
2018-08-23
Clifford Wolf
Merge pull request #610 from udif/udif_specify_round2
commit
|
commitdiff
|
tree
next