index
:
yosys
master
Debian dgit repo for package yosys
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Make fast forward from 0.7-8
archive/debian/0.8-1
Ruben Undheim
2018-10-17
|
\
|
*
Declare fast forward from 0.7-7
archive/debian/0.7-8
Ruben Undheim
2018-09-04
|
|
\
|
|
*
Record yosys (0.7-7) in archive suite sid
Ruben Undheim
2018-08-22
|
|
|
\
|
|
|
*
Do not show g++ build flags in Version string
Ruben Undheim
2018-08-22
|
|
|
*
Fix adding of sys.path in yosys-smtbmc
Ruben Undheim
2018-08-22
|
|
|
*
Fix reproducibility of PDF documents in yosys-doc
Ruben Undheim
2018-08-22
|
|
|
*
Some spelling errors fixed
Ruben Undheim
2018-08-22
|
|
|
*
Disable pretty build
Ruben Undheim
2018-08-22
|
|
|
*
Change yosys to look for the #define constant "__unix__" instead of "__linux_...
Sebastian Kuzminsky
2018-08-22
|
|
|
*
build the manual using the headers from the source tree, not the installed ones.
Sebastian Kuzminsky
2018-08-22
|
|
|
*
Switch the yosys manual font from luximono (non-free) to inconsolata (free)
Sebastian Kuzminsky
2018-08-22
|
|
|
*
The dependency abc is built with the name yosys-abc upstream. Since it is ava...
Ruben Undheim
2018-08-22
|
|
|
*
Don't build abc when building yosys. It is built as a separate source package.
Ruben Undheim
2018-08-22
|
|
|
*
Compilation from the upstream code depends on being in the git repository to ...
Ruben Undheim
2018-08-22
|
|
|
*
yosys (0.7-7) unstable; urgency=medium
Ruben Undheim
2018-08-22
|
|
|
|
\
|
|
|
|
*
Import yosys_0.7-7.debian.tar.xz
Ruben Undheim
2018-08-22
|
|
*
|
Declare fast forward from 0.7-5
archive/debian/0.7-6
Ruben Undheim
2018-08-21
|
|
|
\
\
|
|
|
*
|
Fix adding of sys.path in yosys-smtbmc
Ruben Undheim
2018-07-27
|
|
|
*
|
Fix reproducibility of PDF documents in yosys-doc
Ruben Undheim
2018-07-27
|
|
|
*
|
Some spelling errors fixed
Ruben Undheim
2018-07-27
|
|
|
*
|
Disable pretty build
Ruben Undheim
2018-07-27
|
|
|
*
|
Change yosys to look for the #define constant "__unix__" instead of "__linux_...
Sebastian Kuzminsky
2018-07-27
|
|
|
*
|
build the manual using the headers from the source tree, not the installed ones.
Sebastian Kuzminsky
2018-07-27
|
|
|
*
|
Switch the yosys manual font from luximono (non-free) to inconsolata (free)
Sebastian Kuzminsky
2018-07-27
|
|
|
*
|
The dependency abc is built with the name yosys-abc upstream. Since it is ava...
Ruben Undheim
2018-07-27
|
|
|
*
|
Don't build abc when building yosys. It is built as a separate source package.
Ruben Undheim
2018-07-27
|
|
|
*
|
Compilation from the upstream code depends on being in the git repository to ...
Ruben Undheim
2018-07-27
|
|
|
*
|
yosys (0.7-5) unstable; urgency=medium
Ruben Undheim
2018-07-27
|
|
|
|
\
\
|
|
|
|
|
/
|
|
|
|
/
|
|
|
|
|
*
Import yosys_0.7-5.debian.tar.xz
Ruben Undheim
2018-07-27
|
|
|
*
Import yosys_0.7.orig.tar.gz
Ruben Undheim
2016-11-06
|
|
*
Do not show g++ build flags in Version string
Ruben Undheim
2018-08-21
|
|
*
Fix adding of sys.path in yosys-smtbmc
Ruben Undheim
2018-08-21
|
|
*
Fix reproducibility of PDF documents in yosys-doc
Ruben Undheim
2018-08-21
|
|
*
Some spelling errors fixed
Ruben Undheim
2018-08-21
|
|
*
Disable pretty build
Ruben Undheim
2018-08-21
|
|
*
Change yosys to look for the #define constant "__unix__" instead of "__linux_...
Sebastian Kuzminsky
2018-08-21
|
|
*
build the manual using the headers from the source tree, not the installed ones.
Sebastian Kuzminsky
2018-08-21
|
|
*
Switch the yosys manual font from luximono (non-free) to inconsolata (free)
Sebastian Kuzminsky
2018-08-21
|
|
*
The dependency abc is built with the name yosys-abc upstream. Since it is ava...
Ruben Undheim
2018-08-21
|
|
*
Don't build abc when building yosys. It is built as a separate source package.
Ruben Undheim
2018-08-21
|
|
*
Compilation from the upstream code depends on being in the git repository to ...
Ruben Undheim
2018-08-21
|
*
|
Skip non-deterministic test causing random FTBFS on some architectures
Ruben Undheim
2018-09-04
|
*
|
Do not show g++ build flags in Version string
Ruben Undheim
2018-09-04
|
*
|
Fix adding of sys.path in yosys-smtbmc
Ruben Undheim
2018-09-04
|
*
|
Fix reproducibility of PDF documents in yosys-doc
Ruben Undheim
2018-09-04
|
*
|
Some spelling errors fixed
Ruben Undheim
2018-09-04
|
*
|
Disable pretty build
Ruben Undheim
2018-09-04
|
*
|
Change yosys to look for the #define constant "__unix__" instead of "__linux_...
Sebastian Kuzminsky
2018-09-04
|
*
|
build the manual using the headers from the source tree, not the installed ones.
Sebastian Kuzminsky
2018-09-04
|
*
|
Switch the yosys manual font from luximono (non-free) to inconsolata (free)
Sebastian Kuzminsky
2018-09-04
[next]