summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Make fast forward from 0.7-8HEADarchive/debian/0.8-1masterRuben Undheim2018-10-17
|\
| * Declare fast forward from 0.7-7archive/debian/0.7-8Ruben Undheim2018-09-04
| |\
| | * Record yosys (0.7-7) in archive suite sidRuben Undheim2018-08-22
| | |\
| | | * Do not show g++ build flags in Version stringRuben Undheim2018-08-22
| | | * Fix adding of sys.path in yosys-smtbmcRuben Undheim2018-08-22
| | | * Fix reproducibility of PDF documents in yosys-docRuben Undheim2018-08-22
| | | * Some spelling errors fixedRuben Undheim2018-08-22
| | | * Disable pretty buildRuben Undheim2018-08-22
| | | * Change yosys to look for the #define constant "__unix__" instead of "__linux_...Sebastian Kuzminsky2018-08-22
| | | * build the manual using the headers from the source tree, not the installed ones.Sebastian Kuzminsky2018-08-22
| | | * Switch the yosys manual font from luximono (non-free) to inconsolata (free)Sebastian Kuzminsky2018-08-22
| | | * The dependency abc is built with the name yosys-abc upstream. Since it is ava...Ruben Undheim2018-08-22
| | | * Don't build abc when building yosys. It is built as a separate source package.Ruben Undheim2018-08-22
| | | * Compilation from the upstream code depends on being in the git repository to ...Ruben Undheim2018-08-22
| | | * yosys (0.7-7) unstable; urgency=mediumRuben Undheim2018-08-22
| | | |\
| | | | * Import yosys_0.7-7.debian.tar.xzRuben Undheim2018-08-22
| | * | 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
| * | Skip non-deterministic test causing random FTBFS on some architecturesRuben Undheim2018-09-04
| * | Do not show g++ build flags in Version stringRuben Undheim2018-09-04
| * | Fix adding of sys.path in yosys-smtbmcRuben Undheim2018-09-04
| * | Fix reproducibility of PDF documents in yosys-docRuben Undheim2018-09-04
| * | Some spelling errors fixedRuben Undheim2018-09-04
| * | Disable pretty buildRuben Undheim2018-09-04
| * | Change yosys to look for the #define constant "__unix__" instead of "__linux_...Sebastian Kuzminsky2018-09-04
| * | build the manual using the headers from the source tree, not the installed ones.Sebastian Kuzminsky2018-09-04
| * | Switch the yosys manual font from luximono (non-free) to inconsolata (free)Sebastian Kuzminsky2018-09-04