projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
synth_gatemate: Remove unsupported FF initialization
[yosys.git] / frontends /
2021-11-10 Claire XenMerge pull request #3075 from YosysHQ/micko/verific_mem... tree | commitdiff
2021-11-10 Claire XenMerge pull request #3077 from YosysHQ/claire/genlib tree | commitdiff
2021-11-10 Miodrag MilanovicNo need to alocate more memory than used tree | commitdiff
2021-11-10 Kamil Rakoczygenrtlil: Fix displaying debug info in packages tree | commitdiff
2021-11-05 Miodrag MilanovićMerge pull request #3067 from YosysHQ/aki/ci_update tree | commitdiff
2021-11-01 Claire XenMerge pull request #3068 from YosysHQ/claire/verific_cfg tree | commitdiff
2021-11-01 Claire Xenia WolfAdd "verific -cfg" command tree | commitdiff
2021-10-31 Claire XenMerge pull request #3066 from YosysHQ/claire/verific_gclk tree | commitdiff
2021-10-31 Claire Xenia WolfFix verific gclk handling for async-load FFs tree | commitdiff
2021-10-27 Miodrag MilanovićMerge pull request #3063 from YosysHQ/micko/verific_aldff tree | commitdiff
2021-10-27 Miodrag MilanovicEnable async load dff emit by default in Verific tree | commitdiff
2021-10-27 Miodrag MilanovicRevert "Compile option for enabling async load verific... tree | commitdiff
2021-10-26 Zachary Snowverilog: use derived module info to elaborate cell... tree | commitdiff
2021-10-26 Rupert SwarbrickSplit out logic for reprocessing an AstModule tree | commitdiff
2021-10-25 Miodrag MilanovicCompile option for enabling async load verific support tree | commitdiff
2021-10-21 Claire XenMerge pull request #3057 from YosysHQ/claire/verific_la... tree | commitdiff
2021-10-21 Claire Xenia WolfFix verific.cc PRIM_DLATCH handling tree | commitdiff
2021-10-21 Claire Xenia WolfInitial Verific impoter support for {PRIM,WIDE_OPER... tree | commitdiff
2021-10-20 Miodrag MilanovicOption to disable verific VHDL support tree | commitdiff
2021-10-15 Claire XenMerge pull request #3044 from YosysHQ/micko/verific_bufif1 tree | commitdiff
2021-10-14 Miodrag MilanovicSupport PRIM_BUFIF1 primitive tree | commitdiff
2021-10-11 Claire XenMerge pull request #3039 from YosysHQ/claire/verific_aldff tree | commitdiff
2021-10-11 Claire Xenia WolfAdd Verific adffe/dffsre/aldffe FIXMEs tree | commitdiff
2021-10-11 Claire XenMerge pull request #3040 from YosysHQ/micko/split_modul... tree | commitdiff
2021-10-11 Claire XenMerge pull request #3041 from YosysHQ/mmicko/module_attr tree | commitdiff
2021-10-10 Miodrag MilanovicImport module attributes from Verific tree | commitdiff
2021-10-08 Claire Xenia WolfFixes and add comments for open FIXME items tree | commitdiff
2021-10-08 Claire Xenia WolfAdd support for $aldff flip-flops to verific importer tree | commitdiff
2021-10-04 Miodrag Milanovicverific set db_infer_set_reset_registers tree | commitdiff
2021-10-02 Zachary SnowSpecify minimum bison version 3.0+ tree | commitdiff
2021-09-24 Claire XenMerge pull request #3014 from YosysHQ/claire/fix-vgtest tree | commitdiff
2021-09-23 Zachary SnowFix TOK_ID memory leak in for_initialization tree | commitdiff
2021-09-21 Zachary Snowsv: support wand and wor of data types tree | commitdiff
2021-09-21 Zachary Snowverilog: fix multiple AST_PREFIX scope resolution issues tree | commitdiff
2021-09-13 Marcelina Kościelnickaverilog: Squash flex-triggered warning. tree | commitdiff
2021-09-02 Miodrag Milanovicupdate required verific version tree | commitdiff
2021-08-31 Zachary Snowsv: support declaration in generate for initialization tree | commitdiff
2021-08-30 Zachary Snowsv: support declaration in procedural for initialization tree | commitdiff
2021-08-20 Miodrag MilanovićMerge pull request #2973 from YosysHQ/micko/optional_ex... tree | commitdiff
2021-08-20 Miodrag MilanovicMake Verific extensions optional tree | commitdiff
2021-08-13 Rupert SwarbrickGenerate an RTLIL representation of bind constructs tree | commitdiff
2021-08-13 Miodrag MilanovićMerge pull request #2932 from YosysHQ/mwk/logger-check... tree | commitdiff
2021-08-13 Brett Witherspoonsv: improve support for wire and var with user-defined... tree | commitdiff
2021-08-10 Michael SingerAllow optional comma after last entry in enum tree | commitdiff
2021-08-06 Marcelina Kościelnickaverilog: Support tri/triand/trior wire types. tree | commitdiff
2021-08-02 Miodrag MilanovicRequire latest verific tree | commitdiff
2021-07-30 Zachary Snowgenrtlil: add width detection for AST_PREFIX nodes tree | commitdiff
2021-07-29 Zachary Snowverilog: save and restore overwritten macro arguments tree | commitdiff
2021-07-28 Marcelina Kościelnickaverilog: Emit $meminit_v2 cell. tree | commitdiff
2021-07-21 Miodrag MilanovicUpdate to latest verific tree | commitdiff
2021-07-17 whitequarkMerge pull request #2879 from whitequark/cxxrtl-fix... tree | commitdiff
2021-07-16 Rupert SwarbrickAdd support for parsing the SystemVerilog 'bind' construct tree | commitdiff
2021-07-16 whitequarkMerge pull request #2870 from whitequark/cxxrtl-fix... tree | commitdiff
2021-07-15 Zachary Snowsv: fix two struct access bugs tree | commitdiff
2021-07-11 Marcelina Kościelnickartlil: Make Process handling more uniform with Cell... tree | commitdiff
2021-07-09 Miodrag MilanovicUpdate to latest Verific with extensions for initial... tree | commitdiff
2021-07-06 Zachary Snowsv: fix a few struct and enum memory leaks tree | commitdiff
2021-07-05 Claire XenMerge pull request #2835 from YosysHQ/verific_command tree | commitdiff
2021-07-05 Miodrag MilanovicAdd additional help tree | commitdiff
2021-06-18 Miodrag MilanovićMerge pull request #2836 from YosysHQ/gatecat/pyosys... tree | commitdiff
2021-06-17 Zachary Snowsv: fix up end label checking tree | commitdiff
2021-06-16 Miodrag MilanovicSupport command files in Verific tree | commitdiff
2021-06-14 Xiretzaverilog: fix leaking of type names in parser tree | commitdiff
2021-06-14 Xiretzaverilog: fix wildcard port connections leaking memory tree | commitdiff
2021-06-14 Xiretzaast: delete wires and localparams after finishing const... tree | commitdiff
2021-06-14 Xiretzaverilog: fix leaking ASTNodes tree | commitdiff
2021-06-14 Xiretzaast: fix error condition causing assert to fail tree | commitdiff
2021-06-14 Marcelina Kościelnickaverilog: Squash a memory leak. tree | commitdiff
2021-06-09 Claire XenMerge pull request #2817 from YosysHQ/claire/fixemails tree | commitdiff
2021-06-08 Zachary Snowverilog: check for module scope identifiers during... tree | commitdiff
2021-06-08 Zachary Snowmem2reg: tolerate out of bounds constant accesses tree | commitdiff
2021-06-07 Claire Xenia WolfFixing old e-mail addresses and deadnames tree | commitdiff
2021-06-01 Zachary Snowsv: support tasks and functions within packages tree | commitdiff
2021-05-25 Zachary Snowverilog: fix case expression sign and width handling tree | commitdiff
2021-05-25 Zachary Snowsv: support remaining assignment operators tree | commitdiff
2021-05-14 Rupert SwarbrickChange the type of current_module to Module tree | commitdiff
2021-05-14 Rupert SwarbrickUse range-based for loop in AST::process tree | commitdiff
2021-05-10 Zachary Snowsv: check validity of package end label tree | commitdiff
2021-05-08 Marcelina Kościelnickablif: Use library cells' start_offset and upto for... tree | commitdiff
2021-04-26 Claire XenMerge pull request #2737 from YosysHQ/claire/fix2736 tree | commitdiff
2021-04-26 Claire Xenia WolfRemove duplicates from conns array in JSON front-end... tree | commitdiff
2021-03-30 Zachary Snowverilog: revise hot comment warnings tree | commitdiff
2021-03-30 Marcelina Kościelnickapreproc: Fix up conditional handling. tree | commitdiff
2021-03-24 Zachary Snowast: make design available to process_module() tree | commitdiff
2021-03-21 Xiretzaverilog: check entire user type stack for type definition tree | commitdiff
2021-03-19 Zachary Snowsv: allow typenames as function return types tree | commitdiff
2021-03-19 Miodrag MilanovićMerge pull request #2681 from msinger/fix-issue2606 tree | commitdiff
2021-03-19 Xiretzaverilog: rebuild user_type_stack from globals before... tree | commitdiff
2021-03-17 Marcelina Kościelnickaast: Use better parameter serialization for paramod... tree | commitdiff
2021-03-17 Zachary Snowsv: carry over global typedefs from previous files tree | commitdiff
2021-03-17 Xiretzaverilog: fix buf/not primitives with multiple outputs tree | commitdiff
2021-03-16 Zachary Snowverilog: support module scope identifiers in parametric... tree | commitdiff
2021-03-15 Marcelina Kościelnickajson: Add support for memories. tree | commitdiff
2021-03-14 whitequarkMerge pull request #2658 from zachjs/parameters-across... tree | commitdiff
2021-03-12 Zachary Snowsv: allow globals in one file to depend on globals... tree | commitdiff
2021-03-12 whitequarkMerge pull request #2653 from zachjs/global-parameter tree | commitdiff
2021-03-11 whitequarkMerge pull request #2642 from whitequark/cxxrtl-noproc... tree | commitdiff
2021-03-11 Zachary Snowverilog: disallow overriding global parameters tree | commitdiff
2021-03-09 whitequarkMerge pull request #2643 from zachjs/fix-param-no-defau... tree | commitdiff
2021-03-08 Marcelina Kościelnickaverilog: Use proc memory writes in the frontend. tree | commitdiff
next