| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Build fixes for VS 2015 | Clifford Wolf | 2016-10-16 | 2 | -1/+4 |
| | | |||||
| * | Some minor build fixes for Visual C | Clifford Wolf | 2016-10-14 | 3 | -3/+16 |
| | | |||||
| * | Avoid using strcasecmp() | Clifford Wolf | 2016-10-14 | 1 | -2/+21 |
| | | |||||
| * | Fixed version string for out-of-tree builds | Clifford Wolf | 2016-10-14 | 1 | -1/+1 |
| | | |||||
| * | Added notes about some formal features to README | Clifford Wolf | 2016-10-14 | 1 | -2/+23 |
| | | |||||
| * | Added $anyseq cell type | Clifford Wolf | 2016-10-14 | 11 | -11/+40 |
| | | |||||
| * | Added clk2fflogic | Clifford Wolf | 2016-10-14 | 2 | -0/+154 |
| | | |||||
| * | Added opt_rmdff support for $ff cells | Clifford Wolf | 2016-10-14 | 1 | -5/+13 |
| | | |||||
| * | Added $global_clock verilog syntax support for creating $ff cells | Clifford Wolf | 2016-10-14 | 8 | -15/+64 |
| | | |||||
| * | Added MEMID handling to "flatten" pass | Clifford Wolf | 2016-10-14 | 1 | -0/+6 |
| | | |||||
| * | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2016-10-14 | 1 | -1/+1 |
| |\ | |||||
| | * | Merge pull request #246 from set-soft/abc_external_ovr | Clifford Wolf | 2016-10-14 | 1 | -1/+1 |
| | |\ | | | | | | | Allow to overwrite ABCEXTERNAL from the environment. | ||||
| | | * | Ugh! extra patches got here, reverting | Salvador E. Tropea | 2016-10-13 | 1 | -4/+3 |
| | | | | |||||
| | | * | Allow to overwrite ABCEXTERNAL from the environment. | Salvador E. Tropea | 2016-10-13 | 1 | -1/+1 |
| | | | | | | | | | | | | | In this way Debian scripts can define it as berkeley-abc from the shell. | ||||
| | | * | Modified test target name (to test-all) | Salvador E. Tropea | 2016-10-13 | 1 | -2/+2 |
| | | | | | | | | | | | | | | | | As this target depends on external tools, and packagers run "make test", I think the name should be less generic. | ||||
| | | * | Added a new configuration variable GIT_REV_WHERE | Salvador E. Tropea | 2016-10-13 | 1 | -1/+2 |
| | |/ | | | | | | | | | It determines from where we get the gits SHA1 value. By default is HEAD, suitable for Clifford, but for Debian we can define it as upstream/master | ||||
| * / | Added YOSYS_VER_STR make variable | Clifford Wolf | 2016-10-14 | 1 | -2/+4 |
| |/ | |||||
| * | Added "zinit" pass | Clifford Wolf | 2016-10-12 | 2 | -0/+152 |
| | | |||||
| * | Added $ff and $_FF_ cell types | Clifford Wolf | 2016-10-12 | 12 | -19/+118 |
| | | |||||
| * | Fixed "make test" for git head of iverilog | Clifford Wolf | 2016-10-11 | 1 | -1/+1 |
| | | |||||
| * | define PATH_MAX if not defined by limits.h | Clifford Wolf | 2016-10-11 | 1 | -0/+5 |
| | | |||||
| * | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2016-10-11 | 2 | -1/+3 |
| |\ | |||||
| | * | Added smtc support for top-level state with [], [N:] syntax | Clifford Wolf | 2016-10-08 | 2 | -1/+3 |
| | | | |||||
| * | | Bugfix in yosys-smtbmc --noincr | Clifford Wolf | 2016-10-04 | 1 | -1/+8 |
| |/ | |||||
| * | yosys-smtbmc: ABC is a QF_BV solver | Clifford Wolf | 2016-10-03 | 1 | -0/+1 |
| | | |||||
| * | Added "yosys-smtbmc --noincr" | Clifford Wolf | 2016-10-03 | 1 | -10/+39 |
| | | |||||
| * | Update ABV to hg rev eb6eca6807cc | Clifford Wolf | 2016-10-02 | 1 | -1/+1 |
| | | |||||
| * | yosys-smtbmc: added smtc [...] support for cells | Clifford Wolf | 2016-10-02 | 1 | -0/+2 |
| | | |||||
| * | Added "yosys-smtbmc -s abc" | Clifford Wolf | 2016-10-01 | 1 | -0/+4 |
| | | |||||
| * | Updated ABV to hg rev 6b74de13c57f | Clifford Wolf | 2016-10-01 | 1 | -1/+1 |
| | | |||||
| * | Added "prep -nokeepdc" | Clifford Wolf | 2016-09-30 | 1 | -4/+12 |
| | | |||||
| * | Added "opt_rmdff -keepdc" | Clifford Wolf | 2016-09-30 | 2 | -7/+20 |
| | | |||||
| * | Updated ABV to hg rev 2bc57cc30593 | Clifford Wolf | 2016-09-30 | 1 | -1/+1 |
| | | |||||
| * | Minor improvements in yosys-smtbmc | Clifford Wolf | 2016-09-24 | 2 | -10/+50 |
| | | |||||
| * | Added liberty parser support for types within cell decls | Clifford Wolf | 2016-09-23 | 1 | -39/+46 |
| | | |||||
| * | Merge branch 'master' of https://github.com/brouhaha/yosys | Clifford Wolf | 2016-09-23 | 14 | -24/+175 |
| |\ | |||||
| | * | Add optional SEED=n command line option to Makefile, and -S n command line ↵ | Eric Smith | 2016-09-22 | 14 | -24/+175 |
| | | | | | | | | | option to test scripts, for deterministic regression tests. | ||||
| * | | Added autotest.sh -I | Clifford Wolf | 2016-09-20 | 1 | -16/+19 |
| | | | |||||
| * | | Cosmetic fix in test_autotb.cc | Clifford Wolf | 2016-09-19 | 1 | -2/+2 |
| | | | |||||
| * | | Added yosys-smtbmc --noinfo and --dummy | Clifford Wolf | 2016-09-19 | 2 | -56/+76 |
| | | | |||||
| * | | Avoid creating very long strings in test_autotb | Clifford Wolf | 2016-09-19 | 1 | -4/+10 |
| | | | |||||
| * | | Added $past, $stable, $rose, $fell SVA functions | Clifford Wolf | 2016-09-19 | 2 | -2/+141 |
| | | | |||||
| * | | Improved handling of SMT2 logics in yosys-smtbmc | Clifford Wolf | 2016-09-18 | 3 | -11/+49 |
| | | | |||||
| * | | Added support for bus interfaces to "read_liberty -lib" | Clifford Wolf | 2016-09-18 | 1 | -1/+77 |
| | | | |||||
| * | | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2016-09-18 | 1 | -1/+1 |
| |\| | |||||
| | * | Bugfix in techmap parameter handling | Clifford Wolf | 2016-09-14 | 1 | -1/+1 |
| | | | |||||
| * | | yosys-smtbmc: added -i support smtc files | Clifford Wolf | 2016-09-18 | 1 | -20/+19 |
| |/ | |||||
| * | Work-around for boolector bug | Clifford Wolf | 2016-09-13 | 1 | -2/+2 |
| | | |||||
| * | Merge pull request #228 from Kmanfi/test | Clifford Wolf | 2016-09-13 | 1 | -2/+2 |
| |\ | | | | | Fix for modules with big interfaces. | ||||
| | * | Fix for modules with big interfaces. | Kaj Tuomi | 2016-09-13 | 1 | -2/+2 |
| |/ | |||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |