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
*
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
*
UNRELEASED->unstable
debian/0.7-6
Ruben Undheim
2018-08-21
*
Simplify expression for setting CXXFLGAS for yosys-config
Ruben Undheim
2018-08-21
*
Fix another error in patch
Ruben Undheim
2018-08-21
*
Fix error
Ruben Undheim
2018-08-21
*
Also hide ffile-prefix-map
Ruben Undheim
2018-08-21
*
Also remove -fdebug-prefix= from yosys-config
Ruben Undheim
2018-08-21
*
Add patch for embedded build flags. Bump debhelper and std version
Ruben Undheim
2018-08-19
*
debian/upstream/metadata: Added upstream metadata"
Ruben Undheim
2018-07-30
*
Updated timestamp
Ruben Undheim
2018-07-27
*
Changelog entry
Ruben Undheim
2018-07-27
*
Patch the issue with finding module smtio
Ruben Undheim
2018-07-27
*
Test for import errors for yosys-smtbmc
Ruben Undheim
2018-07-27
*
UNRELEASED->unstable
Ruben Undheim
2018-07-14
*
Changelog entry
Ruben Undheim
2018-07-14
*
Gather patches for reproducibility into one patch
Ruben Undheim
2018-07-14
*
Set date also for appnotes.sh
Ruben Undheim
2018-07-14
*
Set /CreationDate also for manual.tex
Ruben Undheim
2018-07-14
*
PRESENTATION_Prog does not contain any PDFs
Ruben Undheim
2018-07-14
*
Replace /CreationDate in PDFs generated by yosys
Ruben Undheim
2018-07-14
*
Fix additional calls to pdflatex
Ruben Undheim
2018-07-14
*
Updated changelog
Ruben Undheim
2018-07-12
*
Some lintian fixes
Ruben Undheim
2018-07-12
*
Some updates to the packaging:
Ruben Undheim
2018-07-11
*
Disable pretty build
Ruben Undheim
2017-04-05
*
berkeley-abc is a build dependency for 'any' as well.
Ruben Undheim
2016-11-06
[next]