projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge pull request #872 from YosysHQ/clifford/pmuxfix
[yosys.git]
/
frontends
/
2019-03-14
Clifford Wolf
Merge pull request #872 from YosysHQ/clifford/pmuxfix
tree
|
commitdiff
2019-03-14
Clifford Wolf
Improve handling of "full_case" attributes
tree
|
commitdiff
2019-03-14
Clifford Wolf
Merge pull request #869 from cr1901/win-shell
tree
|
commitdiff
2019-03-13
Clifford Wolf
Merge pull request #868 from YosysHQ/clifford/fixmem
tree
|
commitdiff
2019-03-12
Clifford Wolf
Merge pull request #866 from YosysHQ/clifford/idstuff
tree
|
commitdiff
2019-03-12
Clifford Wolf
Improve handling of memories used in mem index expressi...
tree
|
commitdiff
2019-03-12
Clifford Wolf
Remove outdated "blocking assignment to memory" warning
tree
|
commitdiff
2019-03-12
Clifford Wolf
Only set MEM2REG_FL_CONST_LHS/MEM2REG_FL_VAR_LHS for...
tree
|
commitdiff
2019-03-11
Eddie Hung
Merge pull request #864 from YosysHQ/svalabelfix
tree
|
commitdiff
2019-03-10
Clifford Wolf
Fix handling of cases that look like sva labels, fixes...
tree
|
commitdiff
2019-03-09
Clifford Wolf
Merge pull request #859 from smunaut/ice40_braminit
tree
|
commitdiff
2019-03-09
Clifford Wolf
Merge pull request #858 from YosysHQ/clifford/svalabels
tree
|
commitdiff
2019-03-09
Clifford Wolf
Merge pull request #861 from YosysHQ/verific_chparam
tree
|
commitdiff
2019-03-09
Clifford Wolf
Also add support for labels on sva module items, fixes...
tree
|
commitdiff
2019-03-09
Eddie Hung
Update help message for -chparam
tree
|
commitdiff
2019-03-09
Eddie Hung
Add -chparam option to verific command
tree
|
commitdiff
2019-03-09
Eddie Hung
Fix spelling
tree
|
commitdiff
2019-03-08
Clifford Wolf
Merge branch 'master' of github.com:YosysHQ/yosys
tree
|
commitdiff
2019-03-08
Clifford Wolf
Fix handling of task output ports in clocked always...
tree
|
commitdiff
2019-03-07
Clifford Wolf
Add support for SVA labels in read_verilog
tree
|
commitdiff
2019-03-07
Clifford Wolf
Add hack for handling SVA labels via Verific
tree
|
commitdiff
2019-03-05
Clifford Wolf
Merge pull request #842 from litghost/merge_upstream
tree
|
commitdiff
2019-03-05
Clifford Wolf
Merge pull request #850 from daveshah1/ecp5_warn_conflict
tree
|
commitdiff
2019-03-03
Clifford Wolf
Merge pull request #848 from YosysHQ/clifford/fix763
tree
|
commitdiff
2019-03-03
Clifford Wolf
Merge pull request #849 from YosysHQ/clifford/dynports
tree
|
commitdiff
2019-03-02
Clifford Wolf
Only run derive on blackbox modules when ports have...
tree
|
commitdiff
2019-03-02
Clifford Wolf
Fix error for wire decl in always block, fixes #763
tree
|
commitdiff
2019-03-02
Clifford Wolf
Fix $global_clock handling vs autowire
tree
|
commitdiff
2019-03-02
Clifford Wolf
Merge pull request #847 from YosysHQ/clifford/fix785
tree
|
commitdiff
2019-03-02
Clifford Wolf
Fix $readmem[hb] for mem2reg memories, fixes #785
tree
|
commitdiff
2019-03-02
Clifford Wolf
Merge pull request #843 from YosysHQ/clifford/mem2regco...
tree
|
commitdiff
2019-03-01
Clifford Wolf
Use mem2reg on memories that only have constant-index...
tree
|
commitdiff
2019-03-01
Clifford Wolf
Improve "read" error msg
tree
|
commitdiff
2019-02-28
Clifford Wolf
Merge pull request #794 from daveshah1/ecp5improve
tree
|
commitdiff
2019-02-24
Clifford Wolf
Merge pull request #812 from ucb-bar/arrayhierarchyfixes
tree
|
commitdiff
2019-02-24
Clifford Wolf
Merge pull request #824 from litghost/fix_reduce_on_ff
tree
|
commitdiff
2019-02-24
Clifford Wolf
Fix handling of defparam for when default_nettype is...
tree
|
commitdiff
2019-02-24
Clifford Wolf
Check if Verific was built with DB_PRESERVE_INITIAL_VALUE
tree
|
commitdiff
2019-02-22
Clifford Wolf
Merge pull request #819 from YosysHQ/clifford/optd
tree
|
commitdiff
2019-02-22
Clifford Wolf
Merge pull request #820 from YosysHQ/clifford/fix810
tree
|
commitdiff
2019-02-22
Clifford Wolf
Merge pull request #740 from daveshah1/improve_dress
tree
|
commitdiff
2019-02-21
Clifford Wolf
Fixes related to handling of autowires and upto-ranges...
tree
|
commitdiff
2019-02-21
Clifford Wolf
Fix handling of expression width in $past, fixes #810
tree
|
commitdiff
2019-02-21
Clifford Wolf
Fix segfault in printing of some internal error messages
tree
|
commitdiff
2019-02-17
Eddie Hung
Merge https://github.com/YosysHQ/yosys into dff_init
tree
|
commitdiff
2019-02-17
Clifford Wolf
Merge branch 'master' of github.com:YosysHQ/yosys into...
tree
|
commitdiff
2019-02-13
Clifford Wolf
Fix sign handling of real constants
tree
|
commitdiff
2019-01-07
Clifford Wolf
Merge pull request #782 from whitequark/flowmap_dfs
tree
|
commitdiff
2019-01-06
Clifford Wolf
Merge pull request #780 from phire/rename_from_wire
tree
|
commitdiff
2019-01-05
Clifford Wolf
Bugfix in Verilog string handling
tree
|
commitdiff
2019-01-04
Clifford Wolf
Merge pull request #777 from mmicko/achronix_cell_sim_fix
tree
|
commitdiff
2019-01-04
Clifford Wolf
Remove -m32 Verific eval lib build instructions
tree
|
commitdiff
2019-01-02
Clifford Wolf
Merge pull request #770 from whitequark/opt_expr_cmp
tree
|
commitdiff
2019-01-02
Clifford Wolf
Merge pull request #755 from Icenowy/anlogic-dram-init
tree
|
commitdiff
2019-01-02
Clifford Wolf
Merge branch 'master' of github.com:YosysHQ/yosys
tree
|
commitdiff
2019-01-02
Clifford Wolf
Merge pull request #750 from Icenowy/anlogic-ff-init
tree
|
commitdiff
2019-01-02
Clifford Wolf
Merge pull request #773 from whitequark/opt_lut_elim_fixes
tree
|
commitdiff
2019-01-02
Clifford Wolf
Merge pull request #772 from whitequark/synth_lut
tree
|
commitdiff
2019-01-02
Clifford Wolf
Merge pull request #771 from whitequark/techmap_cmp2lut
tree
|
commitdiff
2019-01-02
Clifford Wolf
Improve VerificImporter support for writes to asymmetri...
tree
|
commitdiff
2019-01-02
Clifford Wolf
Fix VerificImporter asymmetric memories error message
tree
|
commitdiff
2019-01-02
Clifford Wolf
Merge pull request #769 from whitequark/typos
tree
|
commitdiff
2019-01-02
whitequark
Fix typographical and grammatical errors and inconsiste...
tree
|
commitdiff
2018-12-31
Clifford Wolf
Merge pull request #766 from Icenowy/anlogic-latches
tree
|
commitdiff
2018-12-23
Clifford Wolf
Merge pull request #761 from whitequark/proc_clean_partial
tree
|
commitdiff
2018-12-23
Clifford Wolf
Add "read_ilang -[no]overwrite"
tree
|
commitdiff
2018-12-22
Clifford Wolf
Merge pull request #757 from whitequark/manual_mem
tree
|
commitdiff
2018-12-19
Clifford Wolf
Merge pull request #752 from Icenowy/anlogic-lut-cost
tree
|
commitdiff
2018-12-19
Clifford Wolf
Merge pull request #753 from Icenowy/anlogic-makefile-fix
tree
|
commitdiff
2018-12-19
Clifford Wolf
Merge pull request #749 from Icenowy/anlogic-dram-fix
tree
|
commitdiff
2018-12-18
Clifford Wolf
Merge pull request #748 from makaimann/add-btor-ops
tree
|
commitdiff
2018-12-18
Clifford Wolf
Fix segfault in AST simplify
tree
|
commitdiff
2018-12-18
Clifford Wolf
Improve src tagging (using names and attrs) of cells...
tree
|
commitdiff
2018-12-17
Clifford Wolf
Merge pull request #746 from Icenowy/anlogic-dram
tree
|
commitdiff
2018-12-17
Clifford Wolf
Merge pull request #742 from whitequark/changelog
tree
|
commitdiff
2018-12-17
Clifford Wolf
Merge pull request #741 from whitequark/ilang_slice_sigspec
tree
|
commitdiff
2018-12-16
whitequark
read_ilang: allow slicing sigspecs.
tree
|
commitdiff
2018-12-16
Clifford Wolf
Merge pull request #736 from whitequark/select_assert_list
tree
|
commitdiff
2018-12-16
Clifford Wolf
Merge pull request #704 from webhat/feature/fix-awk
tree
|
commitdiff
2018-12-16
Clifford Wolf
Merge pull request #738 from smunaut/issue_737
tree
|
commitdiff
2018-12-16
Clifford Wolf
Merge pull request #724 from whitequark/equiv_opt
tree
|
commitdiff
2018-12-16
Clifford Wolf
Merge pull request #723 from whitequark/synth_ice40_map...
tree
|
commitdiff
2018-12-16
Clifford Wolf
Merge pull request #722 from whitequark/rename_src
tree
|
commitdiff
2018-12-16
Clifford Wolf
Merge pull request #720 from whitequark/master
tree
|
commitdiff
2018-12-14
Sylvain Munaut
verilog_parser: Properly handle recursion when processi...
tree
|
commitdiff
2018-12-06
Clifford Wolf
Verific updates
tree
|
commitdiff
2018-12-05
Clifford Wolf
Merge pull request #709 from smunaut/issue_708
tree
|
commitdiff
2018-12-01
Clifford Wolf
Merge pull request #676 from rafaeltp/master
tree
|
commitdiff
2018-11-24
Sylvain Munaut
Make return value of $clog2 signed
tree
|
commitdiff
2018-11-12
Clifford Wolf
Merge pull request #695 from daveshah1/ecp5_bb
tree
|
commitdiff
2018-11-09
Clifford Wolf
Set Verific flag vhdl_support_variable_slice=1
tree
|
commitdiff
2018-11-05
Clifford Wolf
Allow square brackets in liberty identifiers
tree
|
commitdiff
2018-11-04
Clifford Wolf
Add warning for SV "restrict" without "property"
tree
|
commitdiff
2018-11-04
Clifford Wolf
Various indenting fixes in AST front-end (mostly space...
tree
|
commitdiff
2018-11-04
Clifford Wolf
Merge pull request #687 from trcwm/master
tree
|
commitdiff
2018-11-04
Clifford Wolf
Merge pull request #688 from ZipCPU/rosenfell
tree
|
commitdiff
2018-11-03
ZipCPU
Make and dependent upon LSB only
tree
|
commitdiff
2018-11-01
Clifford Wolf
Do not generate "reg assigned in a continuous assignmen...
tree
|
commitdiff
2018-10-25
Clifford Wolf
Merge pull request #678 from whentze/master
tree
|
commitdiff
2018-10-25
Clifford Wolf
Fix minor typo in error message
tree
|
commitdiff
next