projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #768 from whitequark/opt_lut_elim
[yosys.git] / tests /
2019-01-01 Clifford WolfMerge pull request #768 from whitequark/opt_lut_elim tree | commitdiff
2018-12-31 whitequarkopt_lut: eliminate LUTs evaluating to constants or... tree | commitdiff
2018-12-31 Clifford WolfMerge pull request #766 from Icenowy/anlogic-latches tree | commitdiff
2018-12-29 Larry DoolittleSquelch a little more trailing whitespace tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #736 from whitequark/select_assert_list tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #704 from webhat/feature/fix-awk tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #738 from smunaut/issue_737 tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #735 from daveshah1/trifixes tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #724 from whitequark/equiv_opt tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #725 from olofk/ram4k-init tree | commitdiff
2018-12-16 Clifford WolfMerge pull request #714 from daveshah1/abc_preserve_naming 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-07 whitequarkequiv_opt: pass -D EQUIV when techmapping. tree | commitdiff
2018-12-07 whitequarkequiv_opt: new command, for verifying optimization... tree | commitdiff
2018-12-07 David ShahMerge pull request #727 from whitequark/opt_lut tree | commitdiff
2018-12-07 whitequarkopt_lut: leave intact LUTs with cascade feeding module... tree | commitdiff
2018-12-06 Clifford WolfAdd missing .gitignore tree | commitdiff
2018-12-05 Clifford WolfMerge pull request #709 from smunaut/issue_708 tree | commitdiff
2018-12-05 Clifford WolfMerge pull request #718 from whitequark/gate2lut tree | commitdiff
2018-12-05 whitequarkgate2lut: new techlib, for converting Yosys gates to... tree | commitdiff
2018-12-05 Clifford WolfMerge pull request #713 from Diego-HR/master tree | commitdiff
2018-12-05 Clifford WolfMerge pull request #712 from mmicko/anlogic-support tree | commitdiff
2018-12-05 Clifford WolfMerge pull request #717 from whitequark/opt_lut tree | commitdiff
2018-12-05 whitequarkopt_lut: add -dlogic, to avoid disturbing logic such... tree | commitdiff
2018-12-05 whitequarkopt_lut: new pass, to combine LUTs for tighter packing. tree | commitdiff
2018-12-01 Clifford WolfMerge pull request #676 from rafaeltp/master tree | commitdiff
2018-10-25 Clifford WolfMerge pull request #678 from whentze/master tree | commitdiff
2018-10-25 Clifford WolfMerge pull request #679 from udif/pr_syntax_error tree | commitdiff
2018-10-24 Udi FinkelsteinRename the generic "Syntax error" message from the... tree | commitdiff
2018-10-23 Clifford WolfMerge pull request #677 from daveshah1/ecp5_dsp tree | commitdiff
2018-10-21 rafaeltpMerge pull request #1 from YosysHQ/master tree | commitdiff
2018-10-20 Clifford WolfMerge pull request #674 from rubund/feature/svinterface... tree | commitdiff
2018-10-20 Ruben UndheimSupport for SystemVerilog interfaces as a port in the... tree | commitdiff
2018-10-19 Clifford WolfMerge pull request #672 from daveshah1/fix_bram tree | commitdiff
2018-10-19 Clifford WolfMerge pull request #671 from rafaeltp/master tree | commitdiff
2018-10-19 Clifford WolfMerge pull request #670 from rubund/feature/basic_svint... tree | commitdiff
2018-10-18 Ruben UndheimBasic test for checking correct synthesis of SystemVeri... tree | commitdiff
2018-10-18 Clifford WolfMerge pull request #659 from rubund/sv_interfaces tree | commitdiff
2018-10-12 Ruben UndheimSupport for 'modports' for System Verilog interfaces tree | commitdiff
2018-10-12 Ruben UndheimSynthesis support for SystemVerilog interfaces tree | commitdiff
2018-09-17 Udi FinkelsteinMerge branch 'master' into pr_reg_wire_error tree | commitdiff
2018-08-22 Jim LawsonMerge pull request #1 from YosysHQ/master tree | commitdiff
2018-08-18 Aman GoelMerge pull request #3 from YosysHQ/master 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 #592 from japm48/master tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #513 from udif/pr_reg_wire_error tree | commitdiff
2018-07-04 Aman GoelMerge branch 'YosysHQ-master' tree | commitdiff
2018-07-04 Aman GoelMerging with official repo tree | commitdiff
2018-06-06 Clifford WolfMerge pull request #561 from udif/pr_skip_typo tree | commitdiff
2018-06-05 Udi FinkelsteinFixed typo (sikp -> skip) tree | commitdiff
2018-06-05 Udi FinkelsteinModified errors into warnings tree | commitdiff
2018-06-05 Udi Finkelsteinreg_wire_error test needs the -sv flag so it is run... tree | commitdiff
2018-05-13 Clifford WolfMerge pull request #505 from thefallenidealist/FreeBSD_... tree | commitdiff
2018-05-06 Johnny Sorocilautotest.sh: Change from /bin/bash to /usr/bin/env... tree | commitdiff
2018-03-27 Clifford WolfFix tests/simple/specify.v tree | commitdiff
2018-03-27 Udi FinkelsteinFirst draft of Verilog parser support for specify block... tree | commitdiff
2018-03-11 Udi FinkelsteinThis PR should be the base for discussion, do not merge... tree | commitdiff
2018-02-28 Clifford WolfMerge branch 'verificsva-ng' tree | commitdiff
2018-02-27 Clifford WolfMajor redesign of Verific SVA importer tree | commitdiff
2018-02-21 Clifford WolfAdd support for SVA throughout via Verific tree | commitdiff
2018-02-18 Clifford WolfAdd support for SVA sequence concatenation ranges via... tree | commitdiff
2018-02-18 Clifford WolfAdd support for SVA until statements via Verific tree | commitdiff
2018-02-16 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2018-02-15 Clifford WolfFix verific PRIM_SVA_AT handling in properties with... tree | commitdiff
2017-11-09 dh73Merge https://github.com/cliffordwolf/yosys tree | commitdiff
2017-10-20 Clifford WolfRemove PSL example from tests/sva/ tree | commitdiff
2017-09-29 Clifford WolfAllow $size and $bits in verilog mode, actually check... tree | commitdiff
2017-09-29 Clifford WolfMerge pull request #425 from udif/udif_dollar_bits tree | commitdiff
2017-09-26 Udi Finkelstein$size() now works correctly for all cases! tree | commitdiff
2017-09-26 Udi Finkelstein$size() seems to work now with or without the optional... tree | commitdiff
2017-09-26 Udi FinkelsteinAdded $bits() for memories as well. tree | commitdiff
2017-09-26 Udi Finkelstein$size() now works with memories as well! tree | commitdiff
2017-09-26 Udi FinkelsteinAdd $size() function. At the moment it works only on... tree | commitdiff
2017-07-28 Clifford WolfAdd simple VHDL+PSL example tree | commitdiff
2017-07-27 Clifford WolfImprove Verific SVA importer tree | commitdiff
2017-07-27 Clifford WolfAdd counter.sv SVA test tree | commitdiff
2017-07-27 Clifford WolfImprove SVA tests, add Makefile and scripts tree | commitdiff
2017-07-22 Clifford WolfAdd more SVA test cases for future Verific work tree | commitdiff
2017-07-22 Clifford WolfAdd some simple SVA test cases for future Verific work tree | commitdiff
2017-04-12 Larry DoolittleSquelch trailing whitespace tree | commitdiff
2017-01-05 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys tree | commitdiff
2017-01-04 Clifford WolfFixed typo in tests/simple/arraycells.v tree | commitdiff
2016-12-23 Andrew ZonenbergMerge pull request #1 from azonenberg-hk/master tree | commitdiff
2016-12-12 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys tree | commitdiff
2016-12-11 Clifford WolfMerge branch 'LSS-USP-unit-test-structure' tree | commitdiff
2016-12-11 Clifford WolfBuild hotfix in tests/unit/Makefile tree | commitdiff
2016-12-10 rodrigosiqueiraImproved unit test structure tree | commitdiff
2016-12-04 rodrigosiqueiraAdded required structure to implement unit tests tree | commitdiff
2016-11-15 Clifford WolfAdded support for hierarchical defparams tree | commitdiff
2016-11-01 Clifford WolfAdded support for (single-clock) transparent memories... tree | commitdiff
2016-10-11 Clifford WolfFixed "make test" for git head of iverilog tree | commitdiff
2016-09-23 Clifford WolfMerge branch 'master' of https://github.com/brouhaha... tree | commitdiff
2016-09-22 Eric SmithAdd optional SEED=n command line option to Makefile... tree | commitdiff
2016-09-20 Clifford WolfAdded autotest.sh -I tree | commitdiff
2016-09-13 Clifford WolfMerge pull request #228 from Kmanfi/test tree | commitdiff
next