Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Bump version | github-actions[bot] | 2021-08-21 | 1 | -1/+1 |
* | Make Verific extensions optional | Miodrag Milanovic | 2021-08-20 | 1 | -1/+6 |
* | Bump version | github-actions[bot] | 2021-08-18 | 1 | -1/+1 |
* | Bump version | github-actions[bot] | 2021-08-17 | 1 | -1/+1 |
* | Bump version | github-actions[bot] | 2021-08-15 | 1 | -1/+1 |
* | Bump version | github-actions[bot] | 2021-08-14 | 1 | -1/+1 |
* | Generate an RTLIL representation of bind constructs | Rupert Swarbrick | 2021-08-13 | 1 | -0/+3 |
* | Bump version | github-actions[bot] | 2021-08-13 | 1 | -1/+1 |
* | Bump version | github-actions[bot] | 2021-08-12 | 1 | -1/+1 |
* | Bump version | github-actions[bot] | 2021-08-11 | 1 | -1/+1 |
* | Bump version | github-actions[bot] | 2021-08-10 | 1 | -1/+1 |
* | Refactor common parts of SAT-using optimizations into a helper. | Marcelina Kościelnicka | 2021-08-09 | 1 | -1/+2 |
* | Bump version | github-actions[bot] | 2021-08-08 | 1 | -1/+1 |
* | Bump version | github-actions[bot] | 2021-08-07 | 1 | -1/+1 |
* | Bump version | github-actions[bot] | 2021-08-05 | 1 | -1/+1 |
* | Bump version | github-actions[bot] | 2021-08-04 | 1 | -1/+1 |
* | Bump version | github-actions[bot] | 2021-08-03 | 1 | -1/+1 |
* | Bump version | github-actions[bot] | 2021-08-02 | 1 | -1/+1 |
* | Bump version | github-actions[bot] | 2021-07-31 | 1 | -1/+1 |
* | Bump version | github-actions[bot] | 2021-07-30 | 1 | -1/+1 |
* | Bump version | github-actions[bot] | 2021-07-29 | 1 | -1/+1 |
* | Bump version | github-actions[bot] | 2021-07-28 | 1 | -1/+1 |
* | Bump version | github-actions[bot] | 2021-07-27 | 1 | -1/+1 |
* | Update to latest Verific with extensions for initial assertions | Miodrag Milanovic | 2021-07-09 | 1 | -1/+1 |
* | Makefile: allow running multiple sanitizers at once | Xiretza | 2021-07-05 | 1 | -3/+3 |
* | Makefile: use git/make -C instead of cd | Xiretza | 2021-07-05 | 1 | -3/+3 |
* | Makefile: pass PRETTY=0 to ABC | Xiretza | 2021-07-05 | 1 | -1/+1 |
* | Makefile: don't bake DESTDIR into libyosys DT_SONAME | Xiretza | 2021-07-05 | 1 | -2/+2 |
* | Makefile: clean up PYOSYS configuration | Xiretza | 2021-07-05 | 1 | -34/+10 |
* | Include blif reader header in public facing extension header files. | Ashton Snelgrove | 2021-06-16 | 1 | -0/+1 |
* | Use HTTPS for website links, gatecat email | Claire Xenia Wolf | 2021-06-09 | 1 | -1/+1 |
* | Fixing old e-mail addresses and deadnames | Claire Xenia Wolf | 2021-06-08 | 1 | -1/+1 |
* | Add new helper class for merging FFs into cells, use for memory_dff. | Marcelina Kościelnicka | 2021-05-23 | 1 | -1/+1 |
* | Bump version | Marcelina Kościelnicka | 2021-05-20 | 1 | -1/+1 |
* | blif: Use library cells' start_offset and upto for wideports. | Marcelina Kościelnicka | 2021-05-08 | 1 | -0/+1 |
* | Bump version | Marcelina Kościelnicka | 2021-03-30 | 1 | -1/+1 |
* | quicklogic: PolarPro 3 support | Lofty | 2021-03-18 | 1 | -0/+1 |
* | Bump version | Marcelina Kościelnicka | 2021-03-08 | 1 | -1/+1 |
* | Bump version | Marcelina Kościelnicka | 2021-03-01 | 1 | -1/+1 |
* | Bump version | Marcelina Kościelnicka | 2021-02-26 | 1 | -1/+1 |
* | machxo2: Add test/arch/machxo2 directory (test does not pass). | William D. Jones | 2021-02-23 | 1 | -0/+1 |
* | Bump version | Yosys Bot | 2021-02-18 | 1 | -1/+1 |
* | Bump version | Yosys Bot | 2021-02-16 | 1 | -1/+1 |
* | Bump version | Yosys Bot | 2021-02-13 | 1 | -1/+1 |
* | Bump version | Yosys Bot | 2021-02-12 | 1 | -1/+1 |
* | Bump version | Yosys Bot | 2021-02-07 | 1 | -1/+1 |
* | Bump version | Yosys Bot | 2021-02-06 | 1 | -1/+1 |
* | Bump version | Yosys Bot | 2021-02-05 | 1 | -1/+1 |
* | Bump version | Yosys Bot | 2021-02-04 | 1 | -1/+1 |
* | Bump version | Yosys Bot | 2021-01-31 | 1 | -1/+1 |