summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Do not show g++ build flags in Version stringRuben Undheim2019-03-31
* Fix adding of sys.path in yosys-smtbmcRuben Undheim2019-03-31
* Fix reproducibility of PDF documents in yosys-docRuben Undheim2019-03-31
* Some spelling errors fixedRuben Undheim2019-03-31
* Disable pretty buildRuben Undheim2019-03-31
* Change yosys to look for the #define constant "__unix__" instead of "__linux_...Sebastian Kuzminsky2019-03-31
* build the manual using the headers from the source tree, not the installed ones.Sebastian Kuzminsky2019-03-31
* Switch the yosys manual font from luximono (non-free) to inconsolata (free)Sebastian Kuzminsky2019-03-31
* The dependency abc is built with the name yosys-abc upstream. Since it is ava...Ruben Undheim2019-03-31
* Don't build abc when building yosys. It is built as a separate source package.Ruben Undheim2019-03-31
* Compilation from the upstream code depends on being in the git repository to ...Ruben Undheim2019-03-31
* 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
| |\ \ \ | | |/ / | |/| / | | |/
| | * New upstream version 0.7+20181007git9850de4Ruben Undheim2018-10-15
| * | Changelog entryRuben Undheim2018-08-30
| * | Fix patches after importing new versionRuben Undheim2018-08-30
| * | Merge tag 'upstream/0.7+20180830git0b7a184'Ruben Undheim2018-08-30
| |\|
| | * New upstream version 0.7+20180830git0b7a184Ruben Undheim2018-08-30
* | | Skip non-deterministic test causing random FTBFS on some architecturesdebian/0.7-8Ruben Undheim2018-09-04
|/ /
* | UNRELEASED->unstableRuben Undheim2018-08-22
* | Do not quote CXXFLAGS_FOR_YOSYS_CONFIGRuben Undheim2018-08-22
* | UNRELEASED->unstabledebian/0.7-6Ruben Undheim2018-08-21
* | Simplify expression for setting CXXFLGAS for yosys-configRuben Undheim2018-08-21
* | Fix another error in patchRuben Undheim2018-08-21
* | Fix errorRuben Undheim2018-08-21
* | Also hide ffile-prefix-mapRuben Undheim2018-08-21
* | Also remove -fdebug-prefix= from yosys-configRuben Undheim2018-08-21