projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
ice40: split out cells_map.v into ff_map.v
[yosys.git] / frontends / verific / README
2020-02-01 Eddie HungMerge branch 'master' into eddie/submod_po blob | commitdiff | raw
2020-01-29 Claire WolfMerge branch 'vector_fix' of https://github.com/Kmanfi... blob | commitdiff | raw
2020-01-29 N. EngelhardtMerge pull request #1510 from pumbor/master blob | commitdiff | raw
2020-01-29 Miodrag MilanovićMerge pull request #1559 from YosysHQ/efinix_test_fix blob | commitdiff | raw
2020-01-28 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... blob | commitdiff | raw
2020-01-28 Claire WolfMerge pull request #1567 from YosysHQ/eddie/sat_init_wa... blob | commitdiff | raw
2020-01-28 N. EngelhardtMerge pull request #1573 from YosysHQ/eddie/xilinx_tristate blob | commitdiff | raw
2020-01-28 Claire WolfMerge pull request #1553 from whitequark/manual-dffx blob | commitdiff | raw
2020-01-27 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... blob | commitdiff | raw
2020-01-03 N. EngelhardtMerge branch 'master' of https://github.com/YosysHQ... blob | commitdiff | raw
2019-12-19 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff blob | commitdiff | raw
2019-12-19 Eddie HungMerge pull request #1581 from YosysHQ/clifford/fix1565 blob | commitdiff | raw
2019-12-19 Eddie HungMerge pull request #1558 from YosysHQ/eddie/xaiger_cleanup blob | commitdiff | raw
2019-12-19 Eddie HungMerge pull request #1569 from YosysHQ/eddie/fix_1531 blob | commitdiff | raw
2019-12-19 Eddie HungMerge pull request #1571 from YosysHQ/eddie/fix_1570 blob | commitdiff | raw
2019-12-18 Eddie HungMerge branch 'master' of github.com:YosysHQ/yosys blob | commitdiff | raw
2019-12-18 David ShahMerge pull request #1563 from YosysHQ/dave/async-prld blob | commitdiff | raw
2019-12-18 Eddie HungMerge pull request #1572 from nakengelhardt/scratchpad_pass blob | commitdiff | raw
2019-12-18 Clifford WolfSend people to symbioticeda.com instead of verific.com blob | commitdiff | raw
2019-09-27 Aman GoelMerge pull request #7 from YosysHQ/master blob | commitdiff | raw | diff to current
2019-06-13 Serge BazanskiMerge pull request #829 from abdelrahmanhosny/master blob | commitdiff | raw | diff to current
2019-04-08 Eddie HungMerge branch 'master' into xaig blob | commitdiff | raw | diff to current
2019-04-01 Jim LawsonMerge remote-tracking branch 'upstream/master' 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-03-19 Eddie HungMerge https://github.com/YosysHQ/yosys into read_aiger blob | commitdiff | raw | diff to current
2019-03-14 Eddie HungMerge remote-tracking branch 'origin/master' into xc7srl blob | commitdiff | raw | diff to current
2019-03-09 Clifford WolfMerge pull request #859 from smunaut/ice40_braminit blob | commitdiff | raw | diff to current
2019-03-09 Clifford WolfMerge pull request #858 from YosysHQ/clifford/svalabels blob | commitdiff | raw | diff to current
2019-03-09 Clifford WolfMerge pull request #861 from YosysHQ/verific_chparam blob | commitdiff | raw | diff to current
2019-03-09 Eddie HungFix spelling blob | commitdiff | raw | diff to current
2019-02-11 Jim LawsonMerge remote-tracking branch 'upstream/master' blob | commitdiff | raw | diff to current
2019-01-07 Clifford WolfMerge pull request #782 from whitequark/flowmap_dfs blob | commitdiff | raw | diff to current
2019-01-04 Clifford WolfMerge pull request #777 from mmicko/achronix_cell_sim_fix blob | commitdiff | raw | diff to current
2019-01-04 Clifford WolfRemove -m32 Verific eval lib build instructions blob | commitdiff | raw | diff to current
2017-11-09 dh73Merge https://github.com/cliffordwolf/yosys blob | commitdiff | raw | diff to current
2017-10-17 Kaj TuomiMerge branch 'master' of https://github.com/cliffordwol... blob | commitdiff | raw | diff to current
2017-10-13 Clifford WolfUpdate Verific README blob | commitdiff | raw | diff to current
2017-07-22 Clifford WolfImprove docs for verific bindings, add simply sby example blob | commitdiff | raw | diff to current