Commit Graph

573 Commits

Author SHA1 Message Date
Tim 'mithro' Ansell 70b13fe74a Adding .gitattributes to fix Coq detection.
Signed-off-by: Tim 'mithro' Ansell <tansell@google.com>
2020-06-08 15:35:25 -07:00
Karol Gugala eb7ce7f013
Update README.md
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2020-05-27 10:04:10 +02:00
Karol Gugala 4be648cd81
Update README.md
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2020-05-27 09:54:51 +02:00
Karol Gugala 33aa6f6dff
Update README.md
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2020-05-27 09:43:43 +02:00
Karol Gugala 638a11641b
Update README.md
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2020-05-26 23:24:58 +02:00
Karol Gugala 2169fa43ce
Merge pull request #10 from antmicro/update-readme
Update readme
2020-05-26 21:28:08 +02:00
Alessandro Comodi eb31eb907d Added gitignore
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
2020-05-26 19:43:20 +02:00
Alessandro Comodi c2649e57ae README: update instructions
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
2020-05-26 19:43:16 +02:00
Alessandro Comodi 8cef2f63a1
Merge pull request #8 from antmicro/add-linux-images
linux: add pre-built compatible images for the litex-linux example
2020-05-21 14:20:08 +02:00
Alessandro Comodi 3047afd8eb linux: add pre-built compatible images for the litex-linux example
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
2020-05-20 11:59:39 +02:00
Karol Gugala 610c14ff25 Update repo address in README
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2020-05-15 23:27:51 +02:00
Karol Gugala b07b8362b1
Merge pull request #2 from antmicro/add-xdc
linux_litex: add XDC constraints
2020-05-06 19:38:41 +02:00
Alessandro Comodi 768520b1b0 linux_litex: add XDC constraints
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
2020-05-02 14:17:47 +02:00
Karol Gugala 2bc7225b06 Add README
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2020-04-28 13:28:12 +02:00
Karol Gugala 022a9df130
Merge pull request #1 from antmicro/develop
Develop
2020-04-23 16:35:25 +02:00
Joanna Brozek 4fa99d24a7 Add sdc files to examples
Signed-off-by: Joanna Brozek <jbrozek@antmicro.com>
2020-04-23 13:37:19 +02:00
Joanna Brozek fcb1cb0032 Update .travis.yml
Signed-off-by: Joanna Brozek <jbrozek@antmicro.com>
2020-04-23 11:48:12 +02:00
Joanna Brozek 8922a5c532 counter_test: Redirect noisy logs
Signed-off-by: Joanna Brozek <jbrozek@antmicro.com>
2020-04-22 13:01:16 +02:00
Joanna Brozek 5b5f5d9078 Add linux-litex demo sources
Signed-off-by: Joanna Brozek <jbrozek@antmicro.com>
2020-04-22 13:01:16 +02:00
Joanna Brozek 4a719e24ce Add picosoc demo sources
Signed-off-by: Joanna Brozek <jbrozek@antmicro.com>
2020-04-22 13:01:16 +02:00
Joanna Brozek b94bb3176e Add LICENSE
Signed-off-by: Joanna Brozek <jbrozek@antmicro.com>
2020-04-21 14:58:08 +02:00
Joanna Brozek 0b8d2755ea Add .travis.yml
Signed-off-by: Joanna Brozek <jbrozek@antmicro.com>
2020-04-21 14:58:08 +02:00
Joanna Brozek 5c920cf0b5 Add counter test sources
Signed-off-by: Joanna Brozek <jbrozek@antmicro.com>
2020-04-21 11:52:59 +02:00