summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Set path to berkeley-abc instead of relative path to yosys-abcarchive/debian/0.9-1_bpo10+1Ruben Undheim2019-10-20
* Let dpkg-buildpackage handle stripping of binariesRuben Undheim2019-10-20
* Skip non-deterministic test causing random FTBFS on some architecturesRuben Undheim2019-10-20
* Do not show g++ build flags in Version stringRuben Undheim2019-10-20
* Fix adding of sys.path in yosys-smtbmcRuben Undheim2019-10-20
* Fix reproducibility of PDF documents in yosys-docRuben Undheim2019-10-20
* Some spelling errors fixedRuben Undheim2019-10-20
* Disable pretty buildRuben Undheim2019-10-20
* Change yosys to look for the #define constant "__unix__" instead of "__linux_...Sebastian Kuzminsky2019-10-20
* build the manual using the headers from the source tree, not the installed ones.Sebastian Kuzminsky2019-10-20
* Switch the yosys manual font from luximono (non-free) to inconsolata (free)Sebastian Kuzminsky2019-10-20
* The dependency abc is built with the name yosys-abc upstream. Since it is ava...Ruben Undheim2019-10-20
* Don't build abc when building yosys. It is built as a separate source package.Ruben Undheim2019-10-20
* Compilation from the upstream code depends on being in the git repository to ...Ruben Undheim2019-10-20
* Rebuild for buster-backportsdebian/0.9-1_bpo10+1Ruben Undheim2019-10-20
* UNRELEASED -> unstabledebian/0.9-1Ruben Undheim2019-10-18
* Don't override with fail-missingRuben Undheim2019-10-18
* Delete debian/compatRuben Undheim2019-10-18
* Set path to berkeley-abc instead of relative path to yosys-abcRuben Undheim2019-10-18
* Accept patchRuben Undheim2019-10-18
* std version, DH level, and more in changelog entryRuben Undheim2019-10-18
* Fix version in changelog entryRuben Undheim2019-10-18
* Changelog entry and refresh patchesRuben Undheim2019-10-18
* Update upstream source from tag 'upstream/0.9'Ruben Undheim2019-10-18
|\
| * New upstream version 0.9Ruben Undheim2019-10-18
* | Changelog entry updateddebian/0.8+20190328git32bd0f2-1_exp1Ruben Undheim2019-03-31
* | Added more to copyrightRuben Undheim2019-03-30
* | More spelling errors fixedRuben Undheim2019-03-29
* | Bump standards versionRuben Undheim2019-03-29
* | Add more to yosys.install after seeing --fail-missing resultRuben Undheim2019-03-28
* | New changelog entryRuben Undheim2019-03-28
* | Refreshed patchesRuben Undheim2019-03-28
* | Merge tag 'upstream/0.8+20190328git32bd0f2'Ruben Undheim2019-03-28
|\ \ | |/
| * Imported GIT HEAD: 0.8+20190328git32bd0f2Ruben Undheim2019-03-28
* | UNRELEASED->unstabledebian/0.8-1Ruben Undheim2018-10-17
* | Changelog entryRuben Undheim2018-10-17
* | Merge branch 'next'Ruben Undheim2018-10-17
|\ \
| * | Updated man pageRuben Undheim2018-10-17
| * | Refreshed patches for 0.8 etcRuben Undheim2018-10-17
| * | Update upstream source from tag 'upstream/0.8'Ruben Undheim2018-10-17
| |\ \ | | |/
| | * New upstream version 0.8Ruben Undheim2018-10-17
| * | Let dpkg-buildpackage handle stripping of binariesRuben Undheim2018-10-17
| * | Copyright updatedRuben Undheim2018-10-17
| * | Fix lintiansRuben Undheim2018-10-17
| * | README renamed to README.mdRuben Undheim2018-10-17
| * | ChangelogRuben Undheim2018-10-16
| * | Merge branch 'next' of /home/ruben/devel/maintaining/deb_yosys/yosys into nextRuben Undheim2018-10-16
| |\ \
| | * | Add files reported by 'dh_missing --fail-missing'Ruben Undheim2018-10-16
| * | | Refreshed patchesRuben Undheim2018-10-16
| * | | Merge tag 'upstream/0.7+20181007git9850de4' into nextRuben Undheim2018-10-15
| |\ \ \ | | |/ / | |/| / | | |/