projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #777 from mmicko/achronix_cell_sim_fix
[yosys.git] / frontends / verific /
2019-01-04 Clifford WolfMerge pull request #777 from mmicko/achronix_cell_sim_fix tree | commitdiff
2019-01-04 Clifford WolfRemove -m32 Verific eval lib build instructions tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #770 from whitequark/opt_expr_cmp tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #755 from Icenowy/anlogic-dram-init tree | commitdiff
2019-01-02 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #750 from Icenowy/anlogic-ff-init tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #773 from whitequark/opt_lut_elim_fixes tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #772 from whitequark/synth_lut tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #771 from whitequark/techmap_cmp2lut tree | commitdiff
2019-01-02 Clifford WolfImprove VerificImporter support for writes to asymmetri... tree | commitdiff
2019-01-02 Clifford WolfFix VerificImporter asymmetric memories error message tree | commitdiff
2019-01-02 Clifford WolfMerge pull request #769 from whitequark/typos tree | commitdiff
2019-01-02 whitequarkFix typographical and grammatical errors and inconsiste... tree | commitdiff
2018-12-22 Clifford WolfMerge pull request #757 from whitequark/manual_mem tree | commitdiff
2018-12-19 Clifford WolfMerge pull request #752 from Icenowy/anlogic-lut-cost tree | commitdiff
2018-12-19 Clifford WolfMerge pull request #753 from Icenowy/anlogic-makefile-fix tree | commitdiff
2018-12-19 Clifford WolfMerge pull request #749 from Icenowy/anlogic-dram-fix tree | commitdiff
2018-12-18 Clifford WolfMerge pull request #748 from makaimann/add-btor-ops tree | commitdiff
2018-12-18 Clifford WolfImprove src tagging (using names and attrs) of cells... tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #704 from webhat/feature/fix-awk tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #724 from whitequark/equiv_opt tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #723 from whitequark/synth_ice40_map... tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #722 from whitequark/rename_src tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #720 from whitequark/master tree | commitdiff
2018-12-06 Clifford WolfVerific updates tree | commitdiff
2018-12-01 Clifford WolfMerge pull request #676 from rafaeltp/master tree | commitdiff
2018-11-12 Clifford WolfMerge pull request #695 from daveshah1/ecp5_bb tree | commitdiff
2018-11-09 Clifford WolfSet Verific flag vhdl_support_variable_slice=1 tree | commitdiff
2018-10-19 Clifford WolfMerge pull request #672 from daveshah1/fix_bram tree | commitdiff
2018-10-17 Clifford WolfMerge pull request #663 from aman-goel/master tree | commitdiff
2018-10-17 Clifford WolfMerge pull request #658 from daveshah1/ecp5_bram tree | commitdiff
2018-10-17 Clifford WolfMerge pull request #638 from udif/pr_reg_wire_error tree | commitdiff
2018-10-16 Clifford WolfMerge branch 'yosys-0.8-rc' tree | commitdiff
2018-10-13 tklamMerge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2018-10-07 Clifford WolfImprove Verific importer blackbox handling tree | commitdiff
2018-10-05 Clifford WolfMerge pull request #651 from ARandomOWL/stdcells_fix tree | commitdiff
2018-10-05 Clifford WolfMerge pull request #654 from mithro/patch-1 tree | commitdiff
2018-10-05 Clifford WolfFix compiler warning in verific.cc tree | commitdiff
2018-10-01 Aman GoelMerge pull request #4 from YosysHQ/master tree | commitdiff
2018-09-17 Udi FinkelsteinMerge branch 'master' into pr_reg_wire_error tree | commitdiff
2018-09-14 Clifford WolfMerge pull request #625 from aman-goel/master tree | commitdiff
2018-09-04 Clifford WolfAdd "verific -L <int>" option tree | commitdiff
2018-08-23 Clifford WolfMerge pull request #610 from udif/udif_specify_round2 tree | commitdiff
2018-08-22 Jim LawsonMerge pull request #1 from YosysHQ/master tree | commitdiff
2018-08-22 Clifford WolfAdd "verific -work" help message tree | commitdiff
2018-08-22 Clifford WolfAdd Verific -work parameter tree | commitdiff
2018-08-19 Clifford WolfMerge pull request #606 from cr1901/show-win tree | commitdiff
2018-08-18 Aman GoelMerge pull request #3 from YosysHQ/master tree | commitdiff
2018-08-16 Clifford WolfAdd "verific -set-<severity> <msg_id>.." tree | commitdiff
2018-08-16 Clifford WolfVerific workaround for VIPER ticket 13851 tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #573 from cr1901/msys-64 tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #591 from hzeller/virtual-override tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #590 from hzeller/remaining-file... tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #576 from cr1901/no-resource tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #513 from udif/pr_reg_wire_error tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #562 from udif/pr_fix_illegal_port_decl tree | commitdiff
2018-07-22 Clifford WolfVerific: Produce errors for instantiating unknown module tree | commitdiff
2018-07-21 Henner ZellerConsistent use of 'override' for virtual methods in... tree | commitdiff
2018-07-18 Aman GoelMerge pull request #2 from YosysHQ/master tree | commitdiff
2018-07-17 Clifford WolfFix handling of eventually properties in verific importer tree | commitdiff
2018-07-16 Clifford WolfFix verific -vlog-incdir and -vlog-libdir handling tree | commitdiff
2018-07-16 Clifford WolfMerge pull request #581 from daveshah1/ecp5 tree | commitdiff
2018-07-16 Clifford WolfFix "read -incdir" tree | commitdiff
2018-07-16 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys tree | commitdiff
2018-07-16 Clifford WolfAdd "read -incdir" tree | commitdiff
2018-07-04 Aman GoelMerge branch 'YosysHQ-master' tree | commitdiff
2018-07-04 Aman GoelMerging with official repo tree | commitdiff
2018-06-29 Clifford WolfFix verific eventually handling tree | commitdiff
2018-06-29 Clifford WolfAdd verific support for eventually properties tree | commitdiff
2018-06-29 Clifford WolfAdd "verific -formal" and "read -formal" tree | commitdiff
2018-06-28 Clifford WolfAdd "read -sv -D" support tree | commitdiff
2018-06-28 Clifford WolfAdd "read -undef" tree | commitdiff
2018-06-22 Clifford WolfAdd YOSYS_NOVERIFIC env variable for temporarily disabl... tree | commitdiff
2018-06-21 Clifford WolfAdd simplified "read" command, enable extnets in implic... tree | commitdiff
2018-06-20 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys tree | commitdiff
2018-06-20 Clifford WolfAdd automatic verific import in hierarchy command tree | commitdiff
2018-06-01 Clifford WolfAdd (* gclk *) attribute support tree | commitdiff
2018-05-28 Clifford WolfAdd comment to VIPER #13453 work-around tree | commitdiff
2018-05-25 Clifford WolfFix Verific handling of single-bit anyseq/anyconst... tree | commitdiff
2018-05-24 Clifford WolfFix VerificClocking for cases where Verific generates... tree | commitdiff
2018-05-24 Clifford WolfFix verific handling of anyconst/anyseq attributes tree | commitdiff
2018-05-15 Clifford WolfFix handling of anyconst/anyseq attrs in VHDL code... tree | commitdiff
2018-05-05 Clifford WolfFurther improve handling of zero-length SVA consecutive... tree | commitdiff
2018-05-05 Clifford WolfFix handling of zero-length SVA consecutive repetition tree | commitdiff
2018-04-07 Clifford WolfAdd PRIM_HDL_ASSERTION support to Verific importer tree | commitdiff
2018-04-06 Clifford WolfFix handling of $global_clocking in Verific tree | commitdiff
2018-04-06 Clifford WolfAdd Verific anyseq/anyconst/allseq/allconst attribute... tree | commitdiff
2018-04-06 Clifford WolfAdd "verific -autocover" tree | commitdiff
2018-04-06 Clifford WolfMerge pull request #530 from makaimann/set-ram-flags tree | commitdiff
2018-04-06 makaimannSet RAM runtime flags for Verific frontend tree | commitdiff
2018-03-31 Clifford WolfRemove left-over log_ping debug commands.. oops. tree | commitdiff
2018-03-27 Clifford WolfMerge pull request #515 from edcote/patch-1 tree | commitdiff
2018-03-26 Clifford WolfFix handling of unclocked immediate assertions in Verif... tree | commitdiff
2018-03-16 Clifford WolfUpdate todo for more features to verificsva.cc tree | commitdiff
2018-03-16 Clifford WolfUpdate todo for more features to verificsva.cc tree | commitdiff
2018-03-16 Clifford WolfAdd todo for more features to verificsva.cc tree | commitdiff
2018-03-15 Clifford WolfImprove import of memories via Verific tree | commitdiff
2018-03-14 Clifford WolfFix handling of SV compilation units in Verific front-end tree | commitdiff
2018-03-10 Clifford WolfFix SVA handling of NON_CONSECUTIVE_REPEAT and GOTO_REPEAT tree | commitdiff
2018-03-10 Clifford WolfFix variable name typo in verificsva.cc tree | commitdiff
next