summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* 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
* UNRELEASED->unstableRuben Undheim2016-11-06
* Run tests during buildRuben Undheim2016-11-06
* Updated copyright year for CliffordRuben Undheim2016-11-06
* More in changelogRuben Undheim2016-11-04
* updated man pageRuben Undheim2016-11-04
* Fixed install filesRuben Undheim2016-11-04
* Remove two patchesRuben Undheim2016-11-03
* New changelog entryRuben Undheim2016-11-03
* Refreshed patchesRuben Undheim2016-11-03
* Merge tag 'upstream/0.7'Ruben Undheim2016-11-03
|\
| * Imported yosys 0.7Ruben Undheim2016-11-03
* | Refreshed patchesRuben Undheim2016-09-23
* | New changelog entryRuben Undheim2016-09-23
* | Merge tag 'upstream/0.6+20160920git0c697b9'Ruben Undheim2016-09-23
|\|
| * Squashed commit of the following:Ruben Undheim2016-09-23
| * We are now in 0.6+ developmentClifford Wolf2016-02-26
* | Fix #835953 (dependency on GCC 5)Ruben Undheim2016-09-22
* | Exported from gbp pqRuben Undheim2016-09-22
* | debian/changelog: note change in fontSebastian Kuzminsky2016-09-22
* | switch font from libertine to inconsolataSebastian Kuzminsky2016-09-22
* | Changelog entryRuben Undheim2016-05-14
* | Exported patches from gdp-pqRuben Undheim2016-05-14
* | Reordered fields in patchesRuben Undheim2016-05-14
* | Description -> SubjectRuben Undheim2016-05-14
* | Added versioned build-dependency on gcc-5Ruben Undheim2016-05-11