Merge pull request #223 from sergachev/master
authorenjoy-digital <florent@enjoy-digital.fr>
Thu, 25 Jul 2019 18:24:25 +0000 (20:24 +0200)
committerGitHub <noreply@github.com>
Thu, 25 Jul 2019 18:24:25 +0000 (20:24 +0200)
support vivado incremental implementation


Trivial merge