Allow the formal engine to perform a same-cycle result in the ALU
[soc.git] / .gitlab-ci.yml
2023-09-11 Jacob Lifshaymake installing cocotb work
2023-09-11 Jacob Lifshayadd cocotb to gitlab-ci
2023-09-10 Jacob Lifshaymake CI work
2021-12-14 Jonathan NeuschäferGitLab-CI: Increase clone depth
2021-09-25 Las SafinMerge remote-tracking branch 'upstream/master' into pr
2021-09-18 Cesar StraussUse a pre-compiled version of maturin
2021-09-13 Cesar StraussSave Gitlab runner cache, even on a failed test
2021-08-11 Jonathan NeuschäferGitLab-CI: Only run tests in src/
2021-05-22 Cesar StraussRemove redundant build step
2021-05-22 Cesar StraussInclude missing step in automated build
2021-05-06 Jonathan Neuschäfer.gitlab-ci.yml: Increase the build timeout
2021-05-04 Tobias PlatenMerge branch 'master' of ssh://git.libre-riscv.org...
2021-05-04 Jonathan Neuschäfer.gitlab-ci.yml: Silence pywriter harder
2021-05-04 Jonathan Neuschäfer.gitlab-ci.yml: Trim log output
2021-05-04 Jonathan Neuschäfer.gitlab-ci.yml: Fix invocation of pywriter
2021-05-04 Jonathan Neuschäfer.gitlab-ci.yml: Clone and build power-instruction-analyzer
2021-05-04 Jonathan Neuschäfer.gitlab-ci.yml: Clone and build c4m-jtag
2021-05-04 Jonathan Neuschäfer.gitlab-ci.yml: Clone and build openpower-isa
2021-05-04 Jonathan Neuschäfer.gitlab-ci.yml: Install Rust and cargo
2021-05-04 Jonathan Neuschäfer.gitlab-ci.yml: Remove tags from nmigen-soc repo
2021-05-04 Jonathan Neuschäfer.gitlab-ci.yml: Rewrite git://git.libre-riscv.org URLs...
2020-10-12 Tobias Platenupdate gitlab ci
2020-07-14 Tobias Platenfix path to nmigen-soc.git
2020-07-13 Tobias Platenadd nmigen-soc to .gitlab-ci.yml
2020-04-21 Jacob Lifshayadd libmpfr-dev to .gitlab-ci.yml
2020-04-07 Jacob Lifshayfix apt cache
2020-04-06 Jacob LifshayMerge branch 'master' of ssh://git.libre-riscv.org...
2020-04-06 Jacob LifshayMerge branch 'fix-tests'
2020-04-06 Jacob Lifshayadd apt-cache dir
2020-04-06 Jacob Lifshayfix apt cache
2020-04-06 Jacob Lifshayadd pip and apt to gitlab cache
2020-04-06 Jacob Lifshayall tests pass!
2020-04-06 Jacob Lifshayadd symbiyosys to ci
2020-04-06 Jacob Lifshayadd git submodules to CI
2020-04-06 Jacob Lifshayadd missing packages
2020-04-06 Jacob Lifshayalmost all tests work
2020-04-05 Jacob Lifshayadd .gitlab-ci.yml