projects / dev-env-setup.git / search
| 2023-10-25 | Jacob Lifshay | use https to clone |
commit | commitdiff | tree |
| 2023-10-25 | Jacob Lifshay | add pytest-subtests==0.11.0 |
commit | commitdiff | tree |
| 2023-06-13 | Jacob Lifshay | switch to pytest-xdist==3.3.1 pytest==7.3.1 |
commit | commitdiff | tree |
| 2023-04-13 | Jacob Lifshay | remove trailing spaces |
commit | commitdiff | tree |
| 2022-07-22 | Jacob Lifshay | update to released version of cvc5 that includes powerpc64le... |
commit | commitdiff | tree |
| 2021-08-25 | Jacob Lifshay | update pia-install to use libre-soc-install.sh |
commit | commitdiff | tree |
| 2021-08-25 | Jacob Lifshay | update pia-install to use libre-soc-install.sh |
commit | commitdiff | tree |