aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
Commit message (Expand)AuthorAgeFilesLines
* Bump versiongithub-actions[bot]2021-10-121-1/+1
* Bump versiongithub-actions[bot]2021-10-091-1/+1
* Bump versiongithub-actions[bot]2021-10-081-1/+1
* FfData: some refactoring.Marcelina Koƛcielnicka2021-10-071-1/+1
* Bump versiongithub-actions[bot]2021-10-051-1/+1
* Bump versiongithub-actions[bot]2021-10-031-1/+1
* Bump versiongithub-actions[bot]2021-09-281-1/+1
* Prepare for next release cycleMiodrag Milanovic2021-09-271-2/+2
* Bump versiongithub-actions[bot]2021-09-251-1/+1
* Bump versiongithub-actions[bot]2021-09-221-1/+1
* Bump versiongithub-actions[bot]2021-09-191-1/+1
* Bump versiongithub-actions[bot]2021-09-141-1/+1
* Bump versiongithub-actions[bot]2021-09-111-1/+1
* Bump versiongithub-actions[bot]2021-09-101-1/+1
* 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