nolimips merge requestshttps://gitlab.lre.epita.fr/tiger/nolimips/-/merge_requests2024-01-31T13:01:40+01:00https://gitlab.lre.epita.fr/tiger/nolimips/-/merge_requests/15Resolve "`configure` should check for clang-format"2024-01-31T13:01:40+01:00Ghislain BonnardResolve "`configure` should check for clang-format"Closes #14Closes #14TC 2026Ghislain BonnardGhislain Bonnardhttps://gitlab.lre.epita.fr/tiger/nolimips/-/merge_requests/14Bump nix flake + better error message2023-06-10T14:27:58+02:00Ethan ZouzoulkowskyBump nix flake + better error messageThe flake sucks, bumped it.
In addition, the error messages were quite unhelpful when debugging, which was annoying in permanence during backend 2025.
So we changed them to make them a bit more explicitThe flake sucks, bumped it.
In addition, the error messages were quite unhelpful when debugging, which was annoying in permanence during backend 2025.
So we changed them to make them a bit more explicithttps://gitlab.lre.epita.fr/tiger/nolimips/-/merge_requests/8Resolve "Make install failed"2023-01-28T20:41:04+01:00Nicolas FidelResolve "Make install failed"Closes #8Closes #8https://gitlab.lre.epita.fr/tiger/nolimips/-/merge_requests/10Resolve "fix CXX warning"2023-01-25T23:33:51+01:00Nicolas FidelResolve "fix CXX warning"Closes #10Closes #10https://gitlab.lre.epita.fr/tiger/nolimips/-/merge_requests/6Resolve "Change default system library"2023-01-25T10:54:16+01:00Nicolas FidelResolve "Change default system library"Closes #6Closes #6Nicolas FidelNicolas Fidelhttps://gitlab.lre.epita.fr/tiger/nolimips/-/merge_requests/9Resolve "Style format the nolimips files2023-01-24T17:50:49+01:00Nicolas FidelResolve "Style format the nolimips filesCurrently the code of nolimips is not formatted, which breaks a concern of coherence with the ref of TC, the files have old styleCurrently the code of nolimips is not formatted, which breaks a concern of coherence with the ref of TC, the files have old stylehttps://gitlab.lre.epita.fr/tiger/nolimips/-/merge_requests/11Resolve "ci: split check and distcheck"2023-01-24T13:42:16+01:00Nicolas FidelResolve "ci: split check and distcheck"Closes #11Closes #11Nicolas FidelNicolas Fidelhttps://gitlab.lre.epita.fr/tiger/nolimips/-/merge_requests/5Resolve "Rebuild nolimips"2022-12-23T15:55:54+01:00Nicolas FidelResolve "Rebuild nolimips"Closes #5Closes #5Nicolas FidelNicolas Fidelhttps://gitlab.lre.epita.fr/tiger/nolimips/-/merge_requests/4Update various dependencies2021-02-12T11:37:14+01:00Raphaƫl Dias--Monteiroraphael.dias-monteiro@epita.frUpdate various dependencieshttps://gitlab.lre.epita.fr/tiger/nolimips/-/merge_requests/1program_solver: fallthrough: fix warning2019-01-04T16:05:58+01:00Maxime Joubertprogram_solver: fallthrough: fix warning* build-aux/gitlog-to-changelog,
* src/inst/program_solver.gen.py: here.* build-aux/gitlog-to-changelog,
* src/inst/program_solver.gen.py: here.