projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add upto and offset to JSON ports
[yosys.git] / frontends / verific /
2019-06-13 Serge BazanskiMerge pull request #829 from abdelrahmanhosny/master tree | commitdiff
2019-06-07 Clifford WolfMerge branch 'pr_elab_sys_tasks' of https://github... tree | commitdiff
2019-06-06 Clifford WolfMerge pull request #1060 from antmicro/parsing_attr_on_... tree | commitdiff
2019-06-06 David ShahMerge pull request #1073 from whitequark/ecp5-diamond-iob tree | commitdiff
2019-06-05 Clifford WolfMerge pull request #999 from jakobwenzel/setundefInitFix tree | commitdiff
2019-06-02 Clifford WolfOnly support Symbiotic EDA flavored Verific tree | commitdiff
2019-05-30 Clifford WolfEnable Verific flag veri_elaborate_top_level_modules_ha... tree | commitdiff
2019-05-21 Jim LawsonMerge remote-tracking branch 'upstream/master' tree | commitdiff
2019-05-08 Clifford WolfMerge pull request #991 from kristofferkoch/gcc9-warnings tree | commitdiff
2019-05-06 Clifford WolfMerge pull request #946 from YosysHQ/clifford/specify tree | commitdiff
2019-05-06 Clifford WolfMerge pull request #975 from YosysHQ/clifford/fix968 tree | commitdiff
2019-05-06 Clifford WolfMerge pull request #871 from YosysHQ/verific_import tree | commitdiff
2019-05-03 Eddie HungFor hier_tree::Elaborate() also include SV root modules... tree | commitdiff
2019-05-03 Eddie HungFix verific_parameters construction, use attribute... tree | commitdiff
2019-05-03 Eddie HungWIP -chparam support for hierarchy when verific tree | commitdiff
2019-05-03 Eddie Hungverific_import() changes to avoid ElaborateAll() tree | commitdiff
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-04-01 Jim LawsonMerge remote-tracking branch 'upstream/master' 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 Jim LawsonMerge remote-tracking branch 'upstream/master' 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-26 Jim LawsonMerge remote-tracking branch 'upstream/master' 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-02-11 Jim LawsonMerge remote-tracking branch 'upstream/master' 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 Jim LawsonMerge remote-tracking branch 'upstream/master' 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-08 Clifford WolfImprove Verific importer blackbox handling tree | commitdiff
2018-10-08 Clifford WolfFix compiler warning in verific.cc 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-17 Jim LawsonMerge remote-tracking branch 'upstream/master' 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
next