projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Add (* abc_flop_q *) to brams_bb.v
[yosys.git]
/
frontends
/
2019-06-04
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-06-03
Eddie Hung
Assert that box_unique_id is indeed unique
tree
|
commitdiff
2019-06-03
Eddie Hung
Skip internal modules when generating box_unique_id
tree
|
commitdiff
2019-06-02
Clifford Wolf
Only support Symbiotic EDA flavored Verific
tree
|
commitdiff
2019-06-01
Eddie Hung
parse_xaiger to cope with flops
tree
|
commitdiff
2019-05-31
Eddie Hung
Merge branch 'xaig' into xc7mux
tree
|
commitdiff
2019-05-30
Eddie Hung
read_xaiger() to name box signals
tree
|
commitdiff
2019-05-30
Eddie Hung
Remove whitespace
tree
|
commitdiff
2019-05-30
Eddie Hung
Carry in/out to be the last input/output for chains...
tree
|
commitdiff
2019-05-30
Clifford Wolf
Enable Verific flag veri_elaborate_top_level_modules_ha...
tree
|
commitdiff
2019-05-28
Clifford Wolf
Merge pull request #1049 from YosysHQ/clifford/fix1047
tree
|
commitdiff
2019-05-28
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-05-28
Eddie Hung
read_aiger to only clean own design
tree
|
commitdiff
2019-05-28
Clifford Wolf
Merge pull request #1050 from YosysHQ/clifford/wandwor
tree
|
commitdiff
2019-05-28
Clifford Wolf
Merge branch 'wandwor' of https://github.com/thasti...
tree
|
commitdiff
2019-05-28
Eddie Hung
Parse "a" extension and boxes from map file
tree
|
commitdiff
2019-05-27
Eddie Hung
Remove unused function
tree
|
commitdiff
2019-05-27
Eddie Hung
parse_xaiger to not parse symbol table
tree
|
commitdiff
2019-05-27
Eddie Hung
Instantiate cell type (from sym file) otherwise 'clean...
tree
|
commitdiff
2019-05-27
Eddie Hung
Add 'cinput' and 'coutput' to symbols file for boxes
tree
|
commitdiff
2019-05-27
Stefan Biereigel
Merge branch 'master' into wandwor
tree
|
commitdiff
2019-05-27
Stefan Biereigel
remove leftovers from ast data structures
tree
|
commitdiff
2019-05-27
Stefan Biereigel
move wand/wor resolution into hierarchy pass
tree
|
commitdiff
2019-05-27
Clifford Wolf
Merge pull request #1044 from mmicko/invalid_width_range
tree
|
commitdiff
2019-05-27
Clifford Wolf
Merge pull request #1043 from mmicko/unsized_constant
tree
|
commitdiff
2019-05-27
Miodrag Milanovic
Give error instead of asserting for invalid range,...
tree
|
commitdiff
2019-05-27
Miodrag Milanovic
Added support for unsized constants, fixes #1022
tree
|
commitdiff
2019-05-26
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-05-23
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-05-23
Eddie Hung
Merge remote-tracking branch 'origin/eddie/opt_rmdff...
tree
|
commitdiff
2019-05-23
Stefan Biereigel
fix assignment of non-wires
tree
|
commitdiff
2019-05-23
Stefan Biereigel
fix indentation across files
tree
|
commitdiff
2019-05-23
Stefan Biereigel
implementation for assignments working
tree
|
commitdiff
2019-05-23
Stefan Biereigel
make lexer/parser aware of wand/wor net types
tree
|
commitdiff
2019-05-22
Clifford Wolf
Merge pull request #1019 from YosysHQ/clifford/fix1016
tree
|
commitdiff
2019-05-22
Clifford Wolf
Merge pull request #1021 from ucb-bar/fixfirrtl_shr,neg
tree
|
commitdiff
2019-05-22
Eddie Hung
Merge pull request #1024 from YosysHQ/eddie/fix_Wmissin...
tree
|
commitdiff
2019-05-22
Eddie Hung
Rename label
tree
|
commitdiff
2019-05-22
Eddie Hung
Try again
tree
|
commitdiff
2019-05-21
Eddie Hung
Fix warning
tree
|
commitdiff
2019-05-21
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-05-21
Jim Lawson
Merge remote-tracking branch 'upstream/master'
tree
|
commitdiff
2019-05-18
Clifford Wolf
Merge pull request #1017 from Kmanfi/bigger_verilog_files
tree
|
commitdiff
2019-05-18
Kaj Tuomi
Read bigger Verilog files.
tree
|
commitdiff
2019-05-16
Clifford Wolf
Merge pull request #1013 from antmicro/parameter_attributes
tree
|
commitdiff
2019-05-16
Maciej Kurc
Added support for parsing attributes on parameters...
tree
|
commitdiff
2019-05-15
Clifford Wolf
Merge pull request #1011 from hzeller/fix-constructing...
tree
|
commitdiff
2019-05-15
Clifford Wolf
Merge pull request #1010 from hzeller/yacc-self-contained
tree
|
commitdiff
2019-05-15
Henner Zeller
Make the generated *.tab.hh include all the headers...
tree
|
commitdiff
2019-05-08
Clifford Wolf
Merge pull request #991 from kristofferkoch/gcc9-warnings
tree
|
commitdiff
2019-05-06
Clifford Wolf
Merge pull request #946 from YosysHQ/clifford/specify
tree
|
commitdiff
2019-05-06
Clifford Wolf
Merge pull request #975 from YosysHQ/clifford/fix968
tree
|
commitdiff
2019-05-06
Clifford Wolf
Merge pull request #871 from YosysHQ/verific_import
tree
|
commitdiff
2019-05-06
Clifford Wolf
Merge branch 'master' of github.com:YosysHQ/yosys into...
tree
|
commitdiff
2019-05-06
Clifford Wolf
Fix the other bison warning in ilang_parser.y
tree
|
commitdiff
2019-05-06
Clifford Wolf
Merge pull request #992 from bwidawsk/bison-fix
tree
|
commitdiff
2019-05-06
Clifford Wolf
Merge pull request #989 from YosysHQ/dave/abc_name_improve
tree
|
commitdiff
2019-05-06
Clifford Wolf
Add "real" keyword to ilang format
tree
|
commitdiff
2019-05-06
Clifford Wolf
Merge branch 'master' of github.com:YosysHQ/yosys into...
tree
|
commitdiff
2019-05-06
Ben Widawsky
verilog_parser: Fix Bison warning
tree
|
commitdiff
2019-05-04
Clifford Wolf
Merge pull request #988 from YosysHQ/clifford/fix987
tree
|
commitdiff
2019-05-04
Clifford Wolf
Add support for SVA "final" keyword
tree
|
commitdiff
2019-05-04
Clifford Wolf
Improve write_verilog specify support
tree
|
commitdiff
2019-05-04
Clifford Wolf
Add approximate support for SV "var" keyword, fixes...
tree
|
commitdiff
2019-05-03
Eddie Hung
Merge remote-tracking branch 'origin/master' into cliff...
tree
|
commitdiff
2019-05-03
Eddie Hung
For hier_tree::Elaborate() also include SV root modules...
tree
|
commitdiff
2019-05-03
Eddie Hung
Fix verific_parameters construction, use attribute...
tree
|
commitdiff
2019-05-03
Eddie Hung
WIP -chparam support for hierarchy when verific
tree
|
commitdiff
2019-05-03
Eddie Hung
verific_import() changes to avoid ElaborateAll()
tree
|
commitdiff
2019-05-03
Clifford Wolf
Merge pull request #969 from YosysHQ/clifford/pmgenstuff
tree
|
commitdiff
2019-05-03
Clifford Wolf
Merge pull request #984 from YosysHQ/eddie/fix_982
tree
|
commitdiff
2019-05-03
Clifford Wolf
Merge pull request #976 from YosysHQ/clifford/fix974
tree
|
commitdiff
2019-05-02
Eddie Hung
Merge remote-tracking branch 'origin/clifford/pmgenstuf...
tree
|
commitdiff
2019-05-02
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-05-02
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2019-05-01
Eddie Hung
Merge branch 'master' of github.com:YosysHQ/yosys
tree
|
commitdiff
2019-05-01
Clifford Wolf
Add splitcmplxassign test case and silence splitcmplxas...
tree
|
commitdiff
2019-05-01
Clifford Wolf
Fix width detection of memory access with bit slice...
tree
|
commitdiff
2019-05-01
Clifford Wolf
Re-enable "final loop assignment" feature
tree
|
commitdiff
2019-04-30
Jim Lawson
Merge remote-tracking branch 'upstream/master'
tree
|
commitdiff
2019-04-30
Clifford Wolf
Disabled "final loop assignment" feature
tree
|
commitdiff
2019-04-30
Clifford Wolf
Merge pull request #972 from YosysHQ/clifford/fix968
tree
|
commitdiff
2019-04-30
Clifford Wolf
Merge pull request #966 from YosysHQ/clifford/fix956
tree
|
commitdiff
2019-04-30
Clifford Wolf
Merge branch 'master' into eddie/refactor_synth_xilinx
tree
|
commitdiff
2019-04-30
Clifford Wolf
Merge pull request #973 from christian-krieg/feature...
tree
|
commitdiff
2019-04-30
Clifford Wolf
Include filename in "Executing Verilog-2005 frontend...
tree
|
commitdiff
2019-04-30
Clifford Wolf
Add final loop variable assignment when unrolling for...
tree
|
commitdiff
2019-04-30
Benedikt Tutzer
Merge branch 'master' of https://github.com/YosysHQ...
tree
|
commitdiff
2019-04-26
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-04-26
Eddie Hung
Merge remote-tracking branch 'origin/eddie/split_shiftx...
tree
|
commitdiff
2019-04-26
Eddie Hung
Merge branch 'eddie/split_shiftx' into xc7mux
tree
|
commitdiff
2019-04-23
Eddie Hung
Refactor into AigerReader::post_process()
tree
|
commitdiff
2019-04-23
Clifford Wolf
Improve $specrule interface
tree
|
commitdiff
2019-04-23
Eddie Hung
Move clean from aigerparse to abc9
tree
|
commitdiff
2019-04-23
Clifford Wolf
Improve $specrule interface
tree
|
commitdiff
2019-04-23
Clifford Wolf
Add $specrule cells for $setup/$hold/$skew specify...
tree
|
commitdiff
2019-04-23
Clifford Wolf
Allow $specify[23] cells in blackbox modules
tree
|
commitdiff
2019-04-23
Clifford Wolf
Rename T_{RISE,FALL}_AVG to T_{RISE,FALL}_TYP to better...
tree
|
commitdiff
2019-04-23
Clifford Wolf
Checking and fixing specify cells in genRTLIL
tree
|
commitdiff
2019-04-23
Clifford Wolf
Un-break default specify parser
tree
|
commitdiff
next