summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
...
| | * | Switch the yosys manual font from luximono (non-free) to inconsolata (free)Sebastian Kuzminsky2018-09-04
| | * | The dependency abc is built with the name yosys-abc upstream. Since it is ava...Ruben Undheim2018-09-04
| | * | Don't build abc when building yosys. It is built as a separate source package.Ruben Undheim2018-09-04
| | * | Compilation from the upstream code depends on being in the git repository to ...Ruben Undheim2018-09-04
| * | | Let dpkg-buildpackage handle stripping of binariesRuben Undheim2018-10-17
| * | | Skip non-deterministic test causing random FTBFS on some architecturesRuben Undheim2018-10-17
| * | | Do not show g++ build flags in Version stringRuben Undheim2018-10-17
| * | | Fix adding of sys.path in yosys-smtbmcRuben Undheim2018-10-17
| * | | Fix reproducibility of PDF documents in yosys-docRuben Undheim2018-10-17
| * | | Some spelling errors fixedRuben Undheim2018-10-17
| * | | Disable pretty buildRuben Undheim2018-10-17
| * | | Change yosys to look for the #define constant "__unix__" instead of "__linux_...Sebastian Kuzminsky2018-10-17
| * | | build the manual using the headers from the source tree, not the installed ones.Sebastian Kuzminsky2018-10-17
| * | | Switch the yosys manual font from luximono (non-free) to inconsolata (free)Sebastian Kuzminsky2018-10-17
| * | | The dependency abc is built with the name yosys-abc upstream. Since it is ava...Ruben Undheim2018-10-17
| * | | Don't build abc when building yosys. It is built as a separate source package.Ruben Undheim2018-10-17
| * | | Compilation from the upstream code depends on being in the git repository to ...Ruben Undheim2018-10-17
* | | | Set path to berkeley-abc instead of relative path to yosys-abcRuben Undheim2019-10-18
* | | | Let dpkg-buildpackage handle stripping of binariesRuben Undheim2019-10-18
* | | | Skip non-deterministic test causing random FTBFS on some architecturesRuben Undheim2019-10-18
* | | | Do not show g++ build flags in Version stringRuben Undheim2019-10-18
* | | | Fix adding of sys.path in yosys-smtbmcRuben Undheim2019-10-18
* | | | Fix reproducibility of PDF documents in yosys-docRuben Undheim2019-10-18
* | | | Some spelling errors fixedRuben Undheim2019-10-18
* | | | Disable pretty buildRuben Undheim2019-10-18
* | | | Change yosys to look for the #define constant "__unix__" instead of "__linux_...Sebastian Kuzminsky2019-10-18
* | | | build the manual using the headers from the source tree, not the installed ones.Sebastian Kuzminsky2019-10-18
* | | | Switch the yosys manual font from luximono (non-free) to inconsolata (free)Sebastian Kuzminsky2019-10-18
* | | | The dependency abc is built with the name yosys-abc upstream. Since it is ava...Ruben Undheim2019-10-18
* | | | Don't build abc when building yosys. It is built as a separate source package.Ruben Undheim2019-10-18
* | | | Compilation from the upstream code depends on being in the git repository to ...Ruben Undheim2019-10-18
* | | | 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