projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
abc9_exe: verify -> &verify -s
[yosys.git] / frontends / verific / verific.h
2020-01-29 Claire WolfMerge branch 'vector_fix' of https://github.com/Kmanfi... blob | commitdiff | raw
2020-01-27 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... blob | commitdiff | raw
2019-12-16 Eddie HungMerge pull request #1577 from gromero/for-yosys blob | commitdiff | raw
2019-11-27 Clifford WolfMerge pull request #1501 from YosysHQ/dave/mem_copy_attr blob | commitdiff | raw
2019-11-23 Eddie HungMerge branch 'xaig_dff' of github.com:YosysHQ/yosys... blob | commitdiff | raw
2019-11-22 Eddie HungMerge branch 'eddie/clkpart' into xaig_dff blob | commitdiff | raw
2019-11-22 Eddie HungMerge branch 'master' of github.com:YosysHQ/yosys blob | commitdiff | raw
2019-11-20 Clifford WolfMerge pull request #1507 from YosysHQ/clifford/verificfixes blob | commitdiff | raw
2019-11-20 Clifford WolfDo not rename VHDL entities to "entity(impl)" when... blob | commitdiff | raw
2019-09-27 Aman GoelMerge pull request #7 from YosysHQ/master blob | commitdiff | raw | diff to current
2019-08-26 Clifford WolfMerge tag 'yosys-0.9' blob | commitdiff | raw | diff to current
2019-08-25 Clifford WolfMerge pull request #1112 from acw1251/pyosys_sigsig_issue blob | commitdiff | raw | diff to current
2019-08-22 Clifford WolfMerge pull request #1281 from mmicko/efinix blob | commitdiff | raw | diff to current
2019-08-20 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... blob | commitdiff | raw | diff to current
2019-08-16 Eddie HungMerge branch 'eddie/abc9_refactor' into xaig_dff blob | commitdiff | raw | diff to current
2019-08-16 Eddie HungMerge pull request #1250 from bwidawsk/master blob | commitdiff | raw | diff to current
2019-08-16 Eddie HungMerge https://github.com/bogdanvuk/yosys into bogdanvuk... blob | commitdiff | raw | diff to current
2019-08-12 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp blob | commitdiff | raw | diff to current
2019-08-12 Serge BazanskiMerge pull request #1152 from 1138-4EB/feat-docker blob | commitdiff | raw | diff to current
2019-08-12 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... blob | commitdiff | raw | diff to current
2019-08-10 Clifford WolfMerge pull request #1258 from YosysHQ/eddie/cleanup blob | commitdiff | raw | diff to current
2019-08-10 Clifford WolfMerge pull request #1261 from YosysHQ/clifford/verific_init blob | commitdiff | raw | diff to current
2019-08-07 Clifford WolfAutomatically prune init attributes in verific front... blob | commitdiff | raw | diff to current
2019-06-26 Eddie HungMerge branch 'xc7nocarrymux' of https://github.com... blob | commitdiff | raw | diff to current
2019-06-13 Serge BazanskiMerge pull request #829 from abdelrahmanhosny/master blob | commitdiff | raw | diff to current
2019-06-12 Eddie HungMerge remote-tracking branch 'origin/master' into xaig blob | commitdiff | raw | diff to current
2019-06-07 Clifford WolfMerge branch 'pr_elab_sys_tasks' of https://github... blob | commitdiff | raw | diff to current
2019-05-31 Eddie HungMerge branch 'xaig' into xc7mux blob | commitdiff | raw | diff to current
2019-05-21 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux blob | commitdiff | raw | diff to current
2019-05-21 Jim LawsonMerge remote-tracking branch 'upstream/master' blob | commitdiff | raw | diff to current
2019-05-08 Clifford WolfMerge pull request #991 from kristofferkoch/gcc9-warnings blob | commitdiff | raw | diff to current
2019-05-06 Clifford WolfMerge pull request #946 from YosysHQ/clifford/specify blob | commitdiff | raw | diff to current
2019-05-06 Clifford WolfMerge pull request #975 from YosysHQ/clifford/fix968 blob | commitdiff | raw | diff to current
2019-05-06 Clifford WolfMerge pull request #871 from YosysHQ/verific_import blob | commitdiff | raw | diff to current
2019-05-03 Eddie HungFix verific_parameters construction, use attribute... blob | commitdiff | raw | diff to current
2019-05-03 Eddie HungWIP -chparam support for hierarchy when verific blob | commitdiff | raw | diff to current
2019-03-28 Benedikt TutzerMerge remote-tracking branch 'origin/master' into featu... blob | commitdiff | raw | diff to current
2019-01-02 Clifford WolfMerge pull request #750 from Icenowy/anlogic-ff-init blob | commitdiff | raw | diff to current
2018-12-22 Clifford WolfMerge pull request #757 from whitequark/manual_mem blob | commitdiff | raw | diff to current
2018-12-19 Clifford WolfMerge pull request #752 from Icenowy/anlogic-lut-cost blob | commitdiff | raw | diff to current
2018-12-19 Clifford WolfMerge pull request #753 from Icenowy/anlogic-makefile-fix blob | commitdiff | raw | diff to current
2018-12-19 Clifford WolfMerge pull request #749 from Icenowy/anlogic-dram-fix blob | commitdiff | raw | diff to current
2018-12-18 Jim LawsonMerge remote-tracking branch 'upstream/master' blob | commitdiff | raw | diff to current
2018-12-18 Clifford WolfMerge pull request #748 from makaimann/add-btor-ops blob | commitdiff | raw | diff to current
2018-12-18 Clifford WolfImprove src tagging (using names and attrs) of cells... blob | commitdiff | raw | diff to current
2018-10-01 Aman GoelMerge pull request #4 from YosysHQ/master blob | commitdiff | raw | diff to current
2018-09-17 Udi FinkelsteinMerge branch 'master' into pr_reg_wire_error blob | commitdiff | raw | diff to current
2018-09-17 Jim LawsonMerge remote-tracking branch 'upstream/master' blob | commitdiff | raw | diff to current
2018-09-14 Clifford WolfMerge pull request #625 from aman-goel/master blob | commitdiff | raw | diff to current
2018-09-04 Clifford WolfAdd "verific -L <int>" option blob | commitdiff | raw | diff to current
2018-08-15 Clifford WolfMerge pull request #513 from udif/pr_reg_wire_error blob | commitdiff | raw | diff to current
2018-08-15 Clifford WolfMerge pull request #562 from udif/pr_fix_illegal_port_decl blob | commitdiff | raw | diff to current
2018-07-04 Aman GoelMerge branch 'YosysHQ-master' blob | commitdiff | raw | diff to current
2018-07-04 Aman GoelMerging with official repo blob | commitdiff | raw | diff to current
2018-06-20 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys blob | commitdiff | raw | diff to current
2018-06-20 Clifford WolfAdd automatic verific import in hierarchy command blob | commitdiff | raw | diff to current
2018-06-01 Clifford WolfAdd (* gclk *) attribute support blob | commitdiff | raw | diff to current
2018-05-24 Clifford WolfFix verific handling of anyconst/anyseq attributes blob | commitdiff | raw | diff to current
2018-04-06 Clifford WolfAdd "verific -autocover" blob | commitdiff | raw | diff to current
2018-03-27 Clifford WolfMerge pull request #515 from edcote/patch-1 blob | commitdiff | raw | diff to current
2018-03-26 Clifford WolfFix handling of unclocked immediate assertions in Verif... blob | commitdiff | raw | diff to current
2018-03-07 Clifford WolfFix Verific handling of "assert property (..);" in... blob | commitdiff | raw | diff to current
2018-03-07 Clifford WolfAdd "verific -import -V" blob | commitdiff | raw | diff to current
2018-03-04 Clifford WolfAdd proper SVA seq.triggered support blob | commitdiff | raw | diff to current
2018-03-04 Clifford WolfAdd VerificClocking class and refactor Verific DFF... blob | commitdiff | raw | diff to current
2018-03-01 Clifford WolfFixes and improvements in Verific SVA importer blob | commitdiff | raw | diff to current
2018-02-28 Clifford WolfMerge branch 'verificsva-ng' blob | commitdiff | raw | diff to current
2018-02-28 Clifford WolfContinue refactoring of Verific SVA importer code blob | commitdiff | raw | diff to current
2018-02-18 Clifford WolfMove Verific SVA importer to extra C++ source file blob | commitdiff | raw | diff to current