projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Un-break default specify parser
[yosys.git] / frontends / verific /
2019-04-03 Eddie HungMerge remote-tracking branch 'origin/master' into xc7srl tree | commitdiff
2019-04-02 Eddie HungMerge pull request #895 from YosysHQ/pmux2shiftx tree | commitdiff
2019-03-28 Benedikt TutzerMerge remote-tracking branch 'origin/master' into featu... tree | commitdiff
2019-03-28 Clifford WolfMerge pull request #903 from YosysHQ/bram_reset_transp tree | commitdiff
2019-03-27 Clifford WolfAdd "read -verific" and "read -noverific" tree | commitdiff
2019-03-26 Clifford WolfFix "verific -extnets" for more complex situations tree | commitdiff
2019-03-19 Eddie HungMerge https://github.com/YosysHQ/yosys into read_aiger tree | commitdiff
2019-03-14 Eddie HungMerge remote-tracking branch 'origin/master' into xc7srl tree | commitdiff
2019-03-09 Clifford WolfMerge pull request #859 from smunaut/ice40_braminit tree | commitdiff
2019-03-09 Clifford WolfMerge pull request #858 from YosysHQ/clifford/svalabels tree | commitdiff
2019-03-09 Clifford WolfMerge pull request #861 from YosysHQ/verific_chparam tree | commitdiff
2019-03-09 Eddie HungUpdate help message for -chparam tree | commitdiff
2019-03-09 Eddie HungAdd -chparam option to verific command tree | commitdiff
2019-03-09 Eddie HungFix spelling tree | commitdiff
2019-03-07 Clifford WolfAdd hack for handling SVA labels via Verific tree | commitdiff
2019-03-01 Clifford WolfImprove "read" error msg tree | commitdiff
2019-02-28 Clifford WolfMerge pull request #794 from daveshah1/ecp5improve tree | commitdiff
2019-02-24 Clifford WolfMerge pull request #812 from ucb-bar/arrayhierarchyfixes tree | commitdiff
2019-02-24 Clifford WolfMerge pull request #824 from litghost/fix_reduce_on_ff tree | commitdiff
2019-02-24 Clifford WolfCheck if Verific was built with DB_PRESERVE_INITIAL_VALUE tree | commitdiff
2019-01-07 Clifford WolfMerge pull request #782 from whitequark/flowmap_dfs tree | commitdiff
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
next