projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
opt_merge: Add `-keepdc` option required for formal verification
[yosys.git] / tests / rpc /
2020-04-10 whitequarkMerge pull request #1603 from whitequark/ice40-ram_style tree | commitdiff
2020-03-27 Claire WolfMerge pull request #1607 from whitequark/simplify-simpl... tree | commitdiff
2020-03-12 Miodrag MilanovićMerge pull request #1666 from Xiretza/improve-makefile tree | commitdiff
2020-03-11 Eddie HungMerge pull request #1743 from YosysHQ/eddie/abc9_keep tree | commitdiff
2020-03-10 David ShahMerge pull request #1721 from YosysHQ/dave/tribuf-unused tree | commitdiff
2020-03-09 N. EngelhardtMerge pull request #1716 from zeldin/ecp5_fix tree | commitdiff
2020-03-06 Miodrag MilanovićMerge pull request #1742 from nakengelhardt/rpc-test... tree | commitdiff
2020-03-06 N. Engelhardtrpc test: make frontend listen before launching yosys... tree | commitdiff
2020-03-03 N. EngelhardtMerge pull request #1691 from ZirconiumX/use-flowmap... tree | commitdiff
2020-03-03 Claire WolfMerge pull request #1681 from YosysHQ/eddie/fix1663 tree | commitdiff
2020-03-03 Claire WolfMerge pull request #1519 from YosysHQ/eddie/submod_po tree | commitdiff
2020-02-26 Miodrag MilanovićMerge pull request #1705 from YosysHQ/logger_pass tree | commitdiff
2020-02-21 Eddie HungMerge pull request #1703 from YosysHQ/eddie/specify_improve tree | commitdiff
2020-02-20 Claire WolfMerge pull request #1642 from jjj11x/jjj11x/sv-enum tree | commitdiff
2020-02-14 Miodrag MilanovićMerge pull request #1701 from nakengelhardt/rpc-test tree | commitdiff
2020-02-13 N. Engelhardtmake rpc frontend unix socket test less fragile tree | commitdiff
2020-01-29 Claire WolfMerge branch 'vector_fix' of https://github.com/Kmanfi... tree | commitdiff
2019-11-22 Eddie HungMerge branch 'master' of github.com:YosysHQ/yosys tree | commitdiff
2019-10-27 Clifford WolfMerge pull request #1393 from whitequark/write_verilog... tree | commitdiff
2019-10-21 Pepijn de VosMerge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2019-10-01 SergeyMerge branch 'master' into SergeyDegtyar/efinix tree | commitdiff
2019-10-01 SergeyMerge branch 'master' into SergeyDegtyar/anlogic tree | commitdiff
2019-09-30 Eddie HungMerge branch 'SergeyDegtyar/ecp5' of https://github... tree | commitdiff
2019-09-30 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-09-30 whitequarkMerge pull request #1406 from whitequark/connect_rpc tree | commitdiff
2019-09-30 whitequarkrpc: new frontend. tree | commitdiff