aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
Commit message (Expand)AuthorAgeFilesLines
* Bump versiongithub-actions[bot]2021-09-031-1/+1
* Bump versiongithub-actions[bot]2021-09-011-1/+1
* Bump versiongithub-actions[bot]2021-08-311-1/+1
* Bump versiongithub-actions[bot]2021-08-301-1/+1
* Bump versiongithub-actions[bot]2021-08-231-1/+1
* Bump versiongithub-actions[bot]2021-08-211-1/+1
* Make Verific extensions optionalMiodrag Milanovic2021-08-201-1/+6
* Bump versiongithub-actions[bot]2021-08-181-1/+1
* Bump versiongithub-actions[bot]2021-08-171-1/+1
* Bump versiongithub-actions[bot]2021-08-151-1/+1
* Bump versiongithub-actions[bot]2021-08-141-1/+1
* Generate an RTLIL representation of bind constructsRupert Swarbrick2021-08-131-0/+3
* Bump versiongithub-actions[bot]2021-08-131-1/+1
* Bump versiongithub-actions[bot]2021-08-121-1/+1
* Bump versiongithub-actions[bot]2021-08-111-1/+1
* Bump versiongithub-actions[bot]2021-08-101-1/+1
* Refactor common parts of SAT-using optimizations into a helper.Marcelina Kościelnicka2021-08-091-1/+2
* Bump versiongithub-actions[bot]2021-08-081-1/+1
* Bump versiongithub-actions[bot]2021-08-071-1/+1
* Bump versiongithub-actions[bot]2021-08-051-1/+1
* Bump versiongithub-actions[bot]2021-08-041-1/+1
* Bump versiongithub-actions[bot]2021-08-031-1/+1
* Bump versiongithub-actions[bot]2021-08-021-1/+1
* Bump versiongithub-actions[bot]2021-07-311-1/+1
* Bump versiongithub-actions[bot]2021-07-301-1/+1
* Bump versiongithub-actions[bot]2021-07-291-1/+1
* Bump versiongithub-actions[bot]2021-07-281-1/+1
* Bump versiongithub-actions[bot]2021-07-271-1/+1
* Update to latest Verific with extensions for initial assertionsMiodrag Milanovic2021-07-091-1/+1
* Makefile: allow running multiple sanitizers at onceXiretza2021-07-051-3/+3
* Makefile: use git/make -C instead of cdXiretza2021-07-051-3/+3
* Makefile: pass PRETTY=0 to ABCXiretza2021-07-051-1/+1
* Makefile: don't bake DESTDIR into libyosys DT_SONAMEXiretza2021-07-051-2/+2
* Makefile: clean up PYOSYS configurationXiretza2021-07-051-34/+10
* Include blif reader header in public facing extension header files.Ashton Snelgrove2021-06-161-0/+1
* Use HTTPS for website links, gatecat emailClaire Xenia Wolf2021-06-091-1/+1
* Fixing old e-mail addresses and deadnamesClaire Xenia Wolf2021-06-081-1/+1
* Add new helper class for merging FFs into cells, use for memory_dff.Marcelina Kościelnicka2021-05-231-1/+1
* Bump versionMarcelina Kościelnicka2021-05-201-1/+1
* blif: Use library cells' start_offset and upto for wideports.Marcelina Kościelnicka2021-05-081-0/+1
* Bump versionMarcelina Kościelnicka2021-03-301-1/+1
* quicklogic: PolarPro 3 supportLofty2021-03-181-0/+1
* Bump versionMarcelina Kościelnicka2021-03-081-1/+1
* Bump versionMarcelina Kościelnicka2021-03-011-1/+1
* Bump versionMarcelina Kościelnicka2021-02-261-1/+1
* machxo2: Add test/arch/machxo2 directory (test does not pass).William D. Jones2021-02-231-0/+1
* Bump versionYosys Bot2021-02-181-1/+1
* Bump versionYosys Bot2021-02-161-1/+1
* Bump versionYosys Bot2021-02-131-1/+1
* Bump versionYosys Bot2021-02-121-1/+1