-
Armin Rigo authored
Merge the branch/remove-plfbid. The main change is to not keep any loop around. Changed the interface to the backend. Cleaned up internals of x86 and other things.
fcea89983cbd
This instance will be upgraded to Heptapod 1.5.0rc2 (GitLab 16.11.1) on 2024-05-10 at 18:00 UTC+2
Merge the branch/remove-plfbid. The main change is to not keep any loop around. Changed the interface to the backend. Cleaned up internals of x86 and other things.