summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
...
* | 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
* | UNRELEASED->unstableRuben Undheim2016-05-03
* | Refreshed patchesRuben Undheim2016-05-03
* | Fix FTBFSRuben Undheim2016-05-03
* | dch: update changelog with new patchSebastian Kuzminsky2016-04-22
* | add an initialization bugfix from Clifford Wolf (upstream)Sebastian Kuzminsky2016-04-22
* | Yet another adjustment of build for indepRuben Undheim2016-04-09