git.libre-soc.org Git - yosys.git/history

2020-04-02	Eddie Hung	Update backends/btor/btor.cc; credit @boqwxp	blob \| commitdiff \| raw
2020-04-02	Eddie Hung	kernel: use more ID::*	blob \| commitdiff \| raw \| diff to current
2020-04-02	Eddie Hung	Merge pull request #1845 from YosysHQ/eddie/kernel_speedup	blob \| commitdiff \| raw \| diff to current
2020-04-02	Claire Wolf	Merge pull request #1770 from YosysHQ/claire/btor_symbols	blob \| commitdiff \| raw \| diff to current
2020-04-02	Claire Wolf	Merge pull request #1765 from YosysHQ/claire/btor_info	blob \| commitdiff \| raw \| diff to current
2020-03-14	Claire Wolf	Improve write_btor symbol handling	blob \| commitdiff \| raw \| diff to current
2020-03-13	Claire Wolf	Add info-file and cover features to write_btor	blob \| commitdiff \| raw \| diff to current
2020-01-29	Claire Wolf	Merge branch 'vector_fix' of https://github.com/Kmanfi...	blob \| commitdiff \| raw \| diff to current
2019-12-16	Eddie Hung	Merge pull request #1577 from gromero/for-yosys	blob \| commitdiff \| raw \| diff to current
2019-11-22	Eddie Hung	Merge branch 'master' of github.com:YosysHQ/yosys	blob \| commitdiff \| raw \| diff to current
2019-11-19	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2019-11-16	Pepijn de Vos	Merge branch 'master' of https://github.com/YosysHQ...	blob \| commitdiff \| raw \| diff to current
2019-11-14	Clifford Wolf	Merge pull request #1490 from YosysHQ/clifford/autoname	blob \| commitdiff \| raw \| diff to current
2019-11-14	Clifford Wolf	Merge pull request #1444 from btut/feature/python_wrapp...	blob \| commitdiff \| raw \| diff to current
2019-11-14	Clifford Wolf	Merge pull request #1465 from YosysHQ/dave/ice40_timing_sim	blob \| commitdiff \| raw \| diff to current
2019-11-14	Clifford Wolf	Merge branch 'makaimann-label-bads-btor'	blob \| commitdiff \| raw \| diff to current
2019-11-14	Clifford Wolf	Use cell name for btor bad state props when it is a...	blob \| commitdiff \| raw \| diff to current
2019-11-14	Clifford Wolf	Merge branch 'label-bads-btor' of https://github.com...	blob \| commitdiff \| raw \| diff to current
2019-11-12	Makai Mann	Add an info string symbol for bad states in btor backend	blob \| commitdiff \| raw \| diff to current
2019-10-27	Clifford Wolf	Merge pull request #1393 from whitequark/write_verilog...	blob \| commitdiff \| raw \| diff to current
2019-10-21	Pepijn de Vos	Merge branch 'master' of https://github.com/YosysHQ...	blob \| commitdiff \| raw \| diff to current
2019-10-18	Miodrag Milanović	Merge branch 'master' into eddie/pr1352	blob \| commitdiff \| raw \| diff to current
2019-10-04	Miodrag Milanovic	Merge branch 'SergeyDegtyar/efinix' of https://github...	blob \| commitdiff \| raw \| diff to current
2019-10-04	Miodrag Milanovic	Merge branch 'SergeyDegtyar/anlogic' of https://github...	blob \| commitdiff \| raw \| diff to current
2019-10-03	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2019-10-03	Clifford Wolf	Merge pull request #1419 from YosysHQ/eddie/lazy_derive	blob \| commitdiff \| raw \| diff to current
2019-10-03	Clifford Wolf	Merge pull request #1422 from YosysHQ/eddie/aigmap_select	blob \| commitdiff \| raw \| diff to current
2019-10-03	Clifford Wolf	Merge pull request #1429 from YosysHQ/clifford/checkmapped	blob \| commitdiff \| raw \| diff to current
2019-10-03	David Shah	Merge pull request #1425 from YosysHQ/dave/ecp5_pdp16	blob \| commitdiff \| raw \| diff to current
2019-10-03	Eddie Hung	Merge pull request #1423 from YosysHQ/eddie/techmap_rep...	blob \| commitdiff \| raw \| diff to current
2019-10-02	Clifford Wolf	Merge pull request #1428 from YosysHQ/clifford/fixbtor	blob \| commitdiff \| raw \| diff to current
2019-10-02	Clifford Wolf	Fix btor back-end to use "state" instead of "input...	blob \| commitdiff \| raw \| diff to current
2019-10-01	Sergey	Merge branch 'master' into SergeyDegtyar/efinix	blob \| commitdiff \| raw \| diff to current
2019-10-01	Sergey	Merge branch 'master' into SergeyDegtyar/anlogic	blob \| commitdiff \| raw \| diff to current
2019-09-30	Eddie Hung	Merge branch 'SergeyDegtyar/ecp5' of https://github...	blob \| commitdiff \| raw \| diff to current
2019-09-30	whitequark	Merge pull request #1406 from whitequark/connect_rpc	blob \| commitdiff \| raw \| diff to current
2019-09-30	Eddie Hung	Merge pull request #1397 from btut/fix/python_wrappers_...	blob \| commitdiff \| raw \| diff to current
2019-09-30	Clifford Wolf	Merge pull request #1412 from YosysHQ/eddie/equiv_opt_a...	blob \| commitdiff \| raw \| diff to current
2019-09-30	Eddie Hung	Merge pull request #1414 from hzeller/improve-replace...	blob \| commitdiff \| raw \| diff to current
2019-09-29	Eddie Hung	Merge pull request #1359 from YosysHQ/xc7dsp	blob \| commitdiff \| raw \| diff to current
2019-09-29	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2019-09-29	Miodrag Milanović	Merge pull request #1413 from YosysHQ/mmicko/backend_bi...	blob \| commitdiff \| raw \| diff to current
2019-09-29	Clifford Wolf	Merge pull request #1411 from aman-goel/YosysHQ-master	blob \| commitdiff \| raw \| diff to current
2019-09-27	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2019-09-27	Aman Goel	Corrects btor2 backend	blob \| commitdiff \| raw \| diff to current
2019-09-27	Aman Goel	Merge pull request #7 from YosysHQ/master	blob \| commitdiff \| raw \| diff to current
2019-09-25	Eddie Hung	Merge pull request #1401 from SergeyDegtyar/SergeyDegty...	blob \| commitdiff \| raw \| diff to current
2019-09-18	Eddie Hung	Merge pull request #1355 from YosysHQ/eddie/peepopt_dff...	blob \| commitdiff \| raw \| diff to current
2019-09-18	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7dsp	blob \| commitdiff \| raw \| diff to current
2019-09-18	Eddie Hung	Merge pull request #1379 from mmicko/sim_models	blob \| commitdiff \| raw \| diff to current
2019-09-18	Clifford Wolf	Fix stupid bug in btor back-end	blob \| commitdiff \| raw \| diff to current
2019-08-26	Clifford Wolf	Merge tag 'yosys-0.9'	blob \| commitdiff \| raw \| diff to current
2019-08-25	Clifford Wolf	Merge pull request #1112 from acw1251/pyosys_sigsig_issue	blob \| commitdiff \| raw \| diff to current
2019-08-22	Clifford Wolf	Merge pull request #1281 from mmicko/efinix	blob \| commitdiff \| raw \| diff to current
2019-08-20	Eddie Hung	Merge remote-tracking branch 'origin/master' into eddie...	blob \| commitdiff \| raw \| diff to current
2019-08-16	Eddie Hung	Merge branch 'eddie/abc9_refactor' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2019-08-16	Eddie Hung	Merge pull request #1250 from bwidawsk/master	blob \| commitdiff \| raw \| diff to current
2019-08-16	Eddie Hung	Merge https://github.com/bogdanvuk/yosys into bogdanvuk...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7dsp	blob \| commitdiff \| raw \| diff to current
2019-08-12	Serge Bazanski	Merge pull request #1152 from 1138-4EB/feat-docker	blob \| commitdiff \| raw \| diff to current
2019-08-12	Eddie Hung	Merge remote-tracking branch 'origin/master' into eddie...	blob \| commitdiff \| raw \| diff to current
2019-08-10	Clifford Wolf	Merge pull request #1258 from YosysHQ/eddie/cleanup	blob \| commitdiff \| raw \| diff to current
2019-08-09	Miodrag Milanovic	Merge remote-tracking branch 'upstream/master' into...	blob \| commitdiff \| raw \| diff to current
2019-08-08	David Shah	Merge branch 'xc7dsp' of github.com:YosysHQ/yosys into...	blob \| commitdiff \| raw \| diff to current
2019-08-07	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7dsp	blob \| commitdiff \| raw \| diff to current
2019-08-07	Eddie Hung	Merge remote-tracking branch 'origin/master' into eddie...	blob \| commitdiff \| raw \| diff to current
2019-08-07	Jim Lawson	Merge branch 'master' into firrtl_err_on_unsupported_cell	blob \| commitdiff \| raw \| diff to current
2019-08-07	Clifford Wolf	Merge pull request #1240 from ucb-bar/firrtl-properties...	blob \| commitdiff \| raw \| diff to current
2019-08-07	Clifford Wolf	Merge pull request #1249 from mmicko/anlogic_fix	blob \| commitdiff \| raw \| diff to current
2019-08-07	David Shah	Merge pull request #1241 from YosysHQ/clifford/jsonfix	blob \| commitdiff \| raw \| diff to current
2019-08-06	Eddie Hung	Use State::S{0,1}	blob \| commitdiff \| raw \| diff to current
2019-08-06	Eddie Hung	Merge remote-tracking branch 'origin/master' into eddie...	blob \| commitdiff \| raw \| diff to current
2019-08-06	Clifford Wolf	Merge pull request #1251 from YosysHQ/clifford/nmux	blob \| commitdiff \| raw \| diff to current
2019-08-06	Clifford Wolf	Add $_NMUX_, add "abc -g cmos", add proper cmos cell...	blob \| commitdiff \| raw \| diff to current
2019-07-24	Jim Lawson	Merge remote-tracking branch 'upstream/master'	blob \| commitdiff \| raw \| diff to current
2019-07-01	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2019-06-27	Eddie Hung	Merge origin/master	blob \| commitdiff \| raw \| diff to current
2019-06-27	Eddie Hung	Merge pull request #1138 from YosysHQ/koriakin/xc7nocar...	blob \| commitdiff \| raw \| diff to current
2019-06-27	Bogdan Vukobratovic	Merge remote-tracking branch 'upstream/master'	blob \| commitdiff \| raw \| diff to current
2019-06-27	Eddie Hung	Merge remote-tracking branch 'origin/xaig' into xc7mux	blob \| commitdiff \| raw \| diff to current
2019-06-26	Eddie Hung	Merge remote-tracking branch 'origin/eddie/fix1132...	blob \| commitdiff \| raw \| diff to current
2019-06-26	Eddie Hung	Merge branch 'xc7nocarrymux' of https://github.com...	blob \| commitdiff \| raw \| diff to current
2019-06-26	Clifford Wolf	Improve BTOR2 handling of undriven wires	blob \| commitdiff \| raw \| diff to current
2019-06-13	Serge Bazanski	Merge pull request #829 from abdelrahmanhosny/master	blob \| commitdiff \| raw \| diff to current
2019-06-12	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig	blob \| commitdiff \| raw \| diff to current
2019-06-07	Clifford Wolf	Merge branch 'pr_elab_sys_tasks' of https://github...	blob \| commitdiff \| raw \| diff to current
2019-06-06	David Shah	Merge pull request #1073 from whitequark/ecp5-diamond-iob	blob \| commitdiff \| raw \| diff to current
2019-06-05	Clifford Wolf	Merge pull request #999 from jakobwenzel/setundefInitFix	blob \| commitdiff \| raw \| diff to current
2019-05-31	Eddie Hung	Merge branch 'xaig' into xc7mux	blob \| commitdiff \| raw \| diff to current
2019-05-27	Stefan Biereigel	Merge branch 'master' into wandwor	blob \| commitdiff \| raw \| diff to current
2019-05-27	Clifford Wolf	Merge pull request #1026 from YosysHQ/clifford/fix1023	blob \| commitdiff \| raw \| diff to current
2019-05-27	Clifford Wolf	Merge pull request #1030 from Kmanfi/makefile_osx	blob \| commitdiff \| raw \| diff to current
2019-05-26	Clifford Wolf	Merge pull request #1035 from YosysHQ/eddie/opt_rmdff	blob \| commitdiff \| raw \| diff to current
2019-05-26	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7mux	blob \| commitdiff \| raw \| diff to current
2019-05-24	Clifford Wolf	Add proper error message for btor recursion_guard	blob \| commitdiff \| raw \| diff to current
2019-04-30	Jim Lawson	Merge remote-tracking branch 'upstream/master'	blob \| commitdiff \| raw \| diff to current
2019-04-30	Benedikt Tutzer	Merge branch 'master' of https://github.com/YosysHQ...	blob \| commitdiff \| raw \| diff to current
2019-04-22	Eddie Hung	Merge remote-tracking branch 'origin/xc7srl' into xc7mux	blob \| commitdiff \| raw \| diff to current
2019-04-22	Clifford Wolf	Merge pull request #905 from christian-krieg/feature...	blob \| commitdiff \| raw \| diff to current
2019-04-22	Clifford Wolf	Merge pull request #941 from Wren6991/sim_lib_io_clke	blob \| commitdiff \| raw \| diff to current
next

RSS Atom