summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Declare fast forward from 0.7-5archive/debian/0.7-6Ruben Undheim2018-08-21
|\
| * Fix adding of sys.path in yosys-smtbmcRuben Undheim2018-07-27
| * Fix reproducibility of PDF documents in yosys-docRuben Undheim2018-07-27
| * Some spelling errors fixedRuben Undheim2018-07-27
| * Disable pretty buildRuben Undheim2018-07-27
| * Change yosys to look for the #define constant "__unix__" instead of "__linux_...Sebastian Kuzminsky2018-07-27
| * build the manual using the headers from the source tree, not the installed ones.Sebastian Kuzminsky2018-07-27
| * Switch the yosys manual font from luximono (non-free) to inconsolata (free)Sebastian Kuzminsky2018-07-27
| * The dependency abc is built with the name yosys-abc upstream. Since it is ava...Ruben Undheim2018-07-27
| * Don't build abc when building yosys. It is built as a separate source package.Ruben Undheim2018-07-27
| * Compilation from the upstream code depends on being in the git repository to ...Ruben Undheim2018-07-27
| * yosys (0.7-5) unstable; urgency=mediumRuben Undheim2018-07-27
| |\
| | * Import yosys_0.7-5.debian.tar.xzRuben Undheim2018-07-27
| * Import yosys_0.7.orig.tar.gzRuben Undheim2016-11-06
* Do not show g++ build flags in Version stringRuben Undheim2018-08-21
* Fix adding of sys.path in yosys-smtbmcRuben Undheim2018-08-21
* Fix reproducibility of PDF documents in yosys-docRuben Undheim2018-08-21
* Some spelling errors fixedRuben Undheim2018-08-21
* Disable pretty buildRuben Undheim2018-08-21
* Change yosys to look for the #define constant "__unix__" instead of "__linux_...Sebastian Kuzminsky2018-08-21
* build the manual using the headers from the source tree, not the installed ones.Sebastian Kuzminsky2018-08-21
* Switch the yosys manual font from luximono (non-free) to inconsolata (free)Sebastian Kuzminsky2018-08-21
* The dependency abc is built with the name yosys-abc upstream. Since it is ava...Ruben Undheim2018-08-21
* Don't build abc when building yosys. It is built as a separate source package.Ruben Undheim2018-08-21
* Compilation from the upstream code depends on being in the git repository to ...Ruben Undheim2018-08-21
* 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
* Add patch for embedded build flags. Bump debhelper and std versionRuben Undheim2018-08-19
* debian/upstream/metadata: Added upstream metadata"Ruben Undheim2018-07-30
* Updated timestampRuben Undheim2018-07-27
* Changelog entryRuben Undheim2018-07-27
* Patch the issue with finding module smtioRuben Undheim2018-07-27
* Test for import errors for yosys-smtbmcRuben Undheim2018-07-27
* UNRELEASED->unstableRuben Undheim2018-07-14
* Changelog entryRuben Undheim2018-07-14
* Gather patches for reproducibility into one patchRuben Undheim2018-07-14
* Set date also for appnotes.shRuben Undheim2018-07-14
* Set /CreationDate also for manual.texRuben Undheim2018-07-14
* PRESENTATION_Prog does not contain any PDFsRuben Undheim2018-07-14
* Replace /CreationDate in PDFs generated by yosysRuben Undheim2018-07-14
* Fix additional calls to pdflatexRuben Undheim2018-07-14
* Updated changelogRuben Undheim2018-07-12
* Some lintian fixesRuben Undheim2018-07-12
* Some updates to the packaging:Ruben Undheim2018-07-11
* Disable pretty buildRuben Undheim2017-04-05
* berkeley-abc is a build dependency for 'any' as well.Ruben Undheim2016-11-06