2019-04-19 |
Eddie Hung | read_aiger to parse 'r' extension |
tree | commitdiff |
2019-04-18 |
Eddie Hung | Merge remote-tracking branch 'origin/clifford/whitebox... |
tree | commitdiff |
2019-04-18 |
Clifford Wolf | Add "whitebox" attribute, add "read_verilog -wb" |
tree | commitdiff |
2019-04-17 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig |
tree | commitdiff |
2019-04-17 |
Eddie Hung | Ignore a/i/o/h XAIGER extensions |
tree | commitdiff |
2019-04-16 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig |
tree | commitdiff |
2019-04-16 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig |
tree | commitdiff |
2019-04-13 |
Eddie Hung | Forgot backslashes |
tree | commitdiff |
2019-04-13 |
Eddie Hung | Handle __dummy_o__ and __const[01]__ in read_aiger... |
tree | commitdiff |
2019-04-13 |
Eddie Hung | Merge branch 'xaig' of github.com:YosysHQ/yosys into... |
tree | commitdiff |
2019-04-13 |
Eddie Hung | Fix inout handling for -map option |
tree | commitdiff |
2019-04-12 |
Eddie Hung | Merge branch 'xaig' of github.com:YosysHQ/yosys into... |
tree | commitdiff |
2019-04-12 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig |
tree | commitdiff |
2019-04-12 |
Eddie Hung | Also cope with duplicated CIs |
tree | commitdiff |
2019-04-12 |
Eddie Hung | Cope with an output having same name as an input (i... |
tree | commitdiff |
2019-04-12 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig |
tree | commitdiff |
2019-04-10 |
Eddie Hung | parse_aiger() to rename all $lut cells after "clean" |
tree | commitdiff |
2019-04-08 |
Eddie Hung | Fix spacing |
tree | commitdiff |
2019-04-08 |
Eddie Hung | Merge branch 'master' into xaig |
tree | commitdiff |
2019-04-05 |
Clifford Wolf | Add "read_ilang -lib" |
tree | commitdiff |
2019-04-02 |
Eddie Hung | Merge pull request #895 from YosysHQ/pmux2shiftx |
tree | commitdiff |
2019-03-29 |
Clifford Wolf | Merge pull request #907 from YosysHQ/clifford/fix906 |
tree | commitdiff |
2019-03-29 |
Clifford Wolf | Build Verilog parser with -DYYMAXDEPTH=100000, fixes... |
tree | commitdiff |
2019-03-28 |
Clifford Wolf | Merge pull request #903 from YosysHQ/bram_reset_transp |
tree | commitdiff |
2019-03-27 |
Clifford Wolf | Add "read -verific" and "read -noverific" |
tree | commitdiff |
2019-03-26 |
Clifford Wolf | Fix "verific -extnets" for more complex situations |
tree | commitdiff |
2019-03-22 |
Clifford Wolf | Merge pull request #889 from YosysHQ/clifford/fix888 |
tree | commitdiff |
2019-03-21 |
Clifford Wolf | Fix mem2reg handling of memories with upto data ports... |
tree | commitdiff |
2019-03-21 |
Clifford Wolf | Improve "read_verilog -dump_vlog[12]" handling of upto... |
tree | commitdiff |
2019-03-21 |
Clifford Wolf | Improve read_verilog debug output capabilities |
tree | commitdiff |
2019-03-19 |
Eddie Hung | Merge pull request #808 from eddiehung/read_aiger |
tree | commitdiff |
2019-03-19 |
Eddie Hung | Merge https://github.com/YosysHQ/yosys into read_aiger |
tree | commitdiff |
2019-03-19 |
Eddie Hung | Add author name |
tree | commitdiff |
2019-03-19 |
Clifford Wolf | Merge pull request #884 from zachjs/master |
tree | commitdiff |
2019-03-19 |
Zachary Snow | fix local name resolution in prefix constructs |
tree | commitdiff |
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-26 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig |
tree | commitdiff |
2019-02-26 |
Eddie Hung | parse_xaiger() to really pass single and multi-bit... |
tree | commitdiff |
2019-02-26 |
Eddie Hung | parse_xaiger() to cope with multi bit inouts |
tree | commitdiff |
2019-02-26 |
Eddie Hung | parse_xaiger() to untransform $inout.out output ports |
tree | commitdiff |
2019-02-25 |
Eddie Hung | read_aiger to accept empty string for clk_name, passabl... |
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 |
Eddie Hung | read_aiger to work with symbol table |
tree | commitdiff |
2019-02-22 |
Clifford Wolf | Merge pull request #740 from daveshah1/improve_dress |
tree | commitdiff |
2019-02-21 |
Eddie Hung | Add attribution |
tree | commitdiff |
2019-02-21 |
Eddie Hung | Merge branch 'read_aiger' into xaig |
tree | commitdiff |
2019-02-21 |
Eddie Hung | Merge branch 'read_aiger' of https://github.com/eddiehu... |
tree | commitdiff |
2019-02-21 |
Eddie Hung | Merge branch 'read_aiger' into xaig |
tree | commitdiff |
2019-02-21 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig |
tree | commitdiff |
2019-02-21 |
Clifford Wolf | Fixes related to handling of autowires and upto-ranges... |
tree | commitdiff |
2019-02-21 |
Eddie Hung | Merge branch 'clifford/dffsrfix' of https://github... |
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-21 |
Eddie Hung | read_aiger to not do -purge for clean |
tree | commitdiff |
2019-02-21 |
Eddie Hung | lut/not/and suffix to be ${lut,not,and} |
tree | commitdiff |
2019-02-21 |
Eddie Hung | read_aiger to also rename 0 index lut when wideports |
tree | commitdiff |
2019-02-20 |
Eddie Hung | read_aiger: new naming fixes |
tree | commitdiff |
2019-02-20 |
Eddie Hung | read_aiger to name wires with internal name, less likel... |
tree | commitdiff |
2019-02-19 |
Eddie Hung | Same for ascii AIGERs too |
tree | commitdiff |
2019-02-19 |
Eddie Hung | read_aiger to cope with non-unique POs |
tree | commitdiff |
2019-02-19 |
Eddie Hung | Merge branch 'master' into xaig |
tree | commitdiff |
2019-02-19 |
Eddie Hung | Merge branch 'master' into read_aiger |
tree | commitdiff |
next |