projects / yosys.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #874 from YosysHQ/clifford/andopt
2019-03-14 Clifford WolfMerge pull request #874 from YosysHQ/clifford/andopt
 commit | commitdiff | tree
2019-03-14 Clifford WolfImprove handling of and-with-1 and or-with-0 in opt_expr...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-14 Clifford WolfMerge pull request #872 from YosysHQ/clifford/pmuxfix
 commit | commitdiff | tree
2019-03-14 Clifford WolfImprove handling of "full_case" attributes
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-14 Clifford WolfFix a syntax bug in ilang backend related to process...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-14 Clifford WolfMerge pull request #869 from cr1901/win-shell
 commit | commitdiff | tree
2019-03-13 Clifford WolfMerge pull request #868 from YosysHQ/clifford/fixmem
 commit | commitdiff | tree
2019-03-12 Clifford WolfFix a bug in handling quotes in multi-cmd lines in...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-12 Clifford WolfMerge pull request #866 from YosysHQ/clifford/idstuff
 commit | commitdiff | tree
2019-03-12 Clifford WolfRemove ice40/cells_sim.v hack to avoid warning for...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-12 Clifford WolfImprove handling of memories used in mem index expressions...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-12 Clifford WolfRemove outdated "blocking assignment to memory" warning
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-12 Clifford WolfOnly set MEM2REG_FL_CONST_LHS/MEM2REG_FL_VAR_LHS for...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-11 Clifford WolfImprove determinism of IdString DB for similar scripts
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-11 Clifford WolfAdd ENABLE_GLOB Makefile switch
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-10 Clifford WolfFix handling of cases that look like sva labels, fixes...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-09 Clifford WolfFix typo in ice40_braminit help msg
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-09 Clifford WolfMerge pull request #859 from smunaut/ice40_braminit
 commit | commitdiff | tree
2019-03-09 Clifford WolfFix signed $shift/$shiftx handling in write_smt2
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-09 Clifford WolfAdd $dffsr support to async2sync
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-09 Clifford WolfMerge pull request #858 from YosysHQ/clifford/svalabels
 commit | commitdiff | tree
2019-03-09 Clifford WolfMerge pull request #861 from YosysHQ/verific_chparam
 commit | commitdiff | tree
2019-03-09 Clifford WolfAlso add support for labels on sva module items, fixes...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-08 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys
 commit | commitdiff | tree
2019-03-08 Clifford WolfFix handling of task output ports in clocked always...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-07 Clifford WolfMerge pull request #856 from kprasadvnsi/master
 commit | commitdiff | tree
2019-03-07 Clifford WolfUse SVA label in smt export if available
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-07 Clifford WolfAdd support for SVA labels in read_verilog
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-07 Clifford WolfAdd hack for handling SVA labels via Verific
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-07 Clifford WolfAdd link to SF2 / igloo2 macro library guide
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-07 Clifford WolfImprovements in sf2 cells_sim.v
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-06 Clifford WolfAdd sf2 techmap rules for more FF types
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-06 Clifford WolfRefactor SF2 iobuf insertion, Add clkint insertion
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-06 Clifford WolfImprove igloo2 example
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-06 Clifford WolfImprove igloo2 example
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-06 Clifford WolfImprovements in SF2 flow and demo
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-06 Clifford WolfImprove igloo2 exmaple
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-05 Clifford WolfMerge pull request #842 from litghost/merge_upstream
 commit | commitdiff | tree
2019-03-05 Clifford WolfMerge pull request #850 from daveshah1/ecp5_warn_conflict
 commit | commitdiff | tree
2019-03-05 Clifford WolfAdd missing newline
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-05 Clifford WolfMerge pull request #851 from kprasadvnsi/master
 commit | commitdiff | tree
2019-03-05 Clifford WolfMerge pull request #852 from ucb-bar/firrtlfixes
 commit | commitdiff | tree
2019-03-05 Clifford WolfUse "write_edif -pvector bra" for Xilinx EDIF files
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-04 Clifford WolfImprove igloo2 example
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-04 Clifford WolfUpdate igloo2 example to Libero v12.0
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-03 Clifford WolfMerge pull request #848 from YosysHQ/clifford/fix763
 commit | commitdiff | tree
2019-03-03 Clifford WolfMerge pull request #849 from YosysHQ/clifford/dynports
 commit | commitdiff | tree
2019-03-02 Clifford WolfOnly run derive on blackbox modules when ports have...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-02 Clifford WolfFix error for wire decl in always block, fixes #763
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-02 Clifford WolfFix $global_clock handling vs autowire
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-02 Clifford WolfMerge pull request #847 from YosysHQ/clifford/fix785
 commit | commitdiff | tree
2019-03-02 Clifford WolfFix $readmem[hb] for mem2reg memories, fixes #785
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-02 Clifford WolfMerge pull request #843 from YosysHQ/clifford/mem2regconstidx
 commit | commitdiff | tree
2019-03-02 Clifford WolfMerge pull request #845 from YosysHQ/clifford/travisnomacos
 commit | commitdiff | tree
2019-03-02 Clifford WolfDisable macOS builds in Travis
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-01 Clifford WolfMinor improvements in README
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-01 Clifford WolfUse mem2reg on memories that only have constant-index...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-01 Clifford WolfFix "write_edif -gndvccy"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-01 Clifford WolfMerge pull request #841 from mmicko/master
 commit | commitdiff | tree
2019-03-01 Clifford WolfImprove "read" error msg
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-01 Clifford WolfMerge pull request #836 from elmsfu/ice40_2bit_ram_rw_mode
 commit | commitdiff | tree
2019-03-01 Clifford WolfHotfix for "make test"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-03-01 Clifford WolfMerge pull request #837 from YosysHQ/clifford/fix835
 commit | commitdiff | tree
2019-03-01 Clifford WolfFix multiple issues in wreduce FF handling, fixes #835
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-28 Clifford WolfMerge pull request #834 from YosysHQ/clifford/siminit
 commit | commitdiff | tree
2019-02-28 Clifford WolfAdd "write_verilog -siminit"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-28 Clifford WolfFix pmgen for in-tree builds
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-28 Clifford WolfMerge pull request #794 from daveshah1/ecp5improve
 commit | commitdiff | tree
2019-02-28 Clifford WolfMerge pull request #827 from ucb-bar/firrtlfixes
 commit | commitdiff | tree
2019-02-28 Clifford WolfFix pmgen for out-of-tree build
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-28 Clifford WolfMerge pull request #833 from YosysHQ/clifford/fix831
 commit | commitdiff | tree
2019-02-28 Clifford WolfFix smt2 code generation for partially initialized...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-28 Clifford WolfMerge pull request #832 from YosysHQ/supercover
 commit | commitdiff | tree
2019-02-27 Clifford WolfImprovements in "supercover" pass
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-27 Clifford WolfAdd "supercover" skeleton
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-24 Clifford WolfMinor changes ontop of 71bcc4c: Remove hierarchy warning...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-24 Clifford WolfMerge pull request #812 from ucb-bar/arrayhierarchyfixes
 commit | commitdiff | tree
2019-02-24 Clifford WolfCleanups in ARST handling in wreduce
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-24 Clifford WolfMerge pull request #824 from litghost/fix_reduce_on_ff
 commit | commitdiff | tree
2019-02-24 Clifford WolfFix handling of defparam for when default_nettype is...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-24 Clifford WolfCheck if Verific was built with DB_PRESERVE_INITIAL_VALUE
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-22 Clifford WolfMerge pull request #819 from YosysHQ/clifford/optd
 commit | commitdiff | tree
2019-02-22 Clifford WolfMerge pull request #820 from YosysHQ/clifford/fix810
 commit | commitdiff | tree
2019-02-22 Clifford WolfMerge pull request #740 from daveshah1/improve_dress
 commit | commitdiff | tree
2019-02-21 Clifford WolfFix Travis
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-21 Clifford WolfHotfix for 4c82ddf
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-21 Clifford WolfMerge pull request #822 from litghost/expand_setundef
 commit | commitdiff | tree
2019-02-21 Clifford WolfMerge pull request #818 from YosysHQ/clifford/dffsrfix
 commit | commitdiff | tree
2019-02-21 Clifford WolfMerge pull request #786 from YosysHQ/pmgen
 commit | commitdiff | tree
2019-02-21 Clifford WolfFix typo in passes/pmgen/README.md
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-21 Clifford WolfMerge pull request #821 from eddiehung/dff_init
 commit | commitdiff | tree
2019-02-21 Clifford WolfFixes related to handling of autowires and upto-ranges...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-21 Clifford WolfFix handling of expression width in $past, fixes #810
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-21 Clifford WolfFix segfault in printing of some internal error messages
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-21 Clifford WolfRename "yosys -U" to "yosys -P" to avoid confusion...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-21 Clifford WolfRename "yosys -D" to "yosys -U", add "yosys -D" with...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-21 Clifford WolfFix opt_rmdff handling of $_DFFSR_???_ and $_DLATCHSR_...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-21 Clifford WolfBugfix in ice40_dsp
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-20 Clifford WolfAdd ice40 test_dsp_map test case generator
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
2019-02-20 Clifford WolfAdd "synth_ice40 -dsp"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 commit | commitdiff | tree
next