WIP: Pinning (!20) · Merge requests · Iris / lambda-rust · GitLab

Snippets Groups Projects

Closed Michael Sammler requested to merge gpirlea/pin_semantic into master 4 years ago

1 unresolved thread

This MR is WIP and just to see the diff.

Activity

Ralf Jung @jung 4 years ago

Owner

At some point we should probably switch to a branch with CI.

Michael Sammler @msammler 4 years ago

Author Owner

Probably, but currently not much builds so CI won't be very useful.

Please register or sign in to reply
Michael Sammler added 1 commit 4 years ago
added 1 commit

f995d2f8 - fix typeclass issue with type definition and product.v

Compare with previous version
Michael Sammler added 1 commit 4 years ago
added 1 commit

8f7b1ee3 - fix uninit

Compare with previous version
Michael Sammler added 1 commit 4 years ago
added 1 commit

c9156503 - fix shr_bor

Compare with previous version
Michael Sammler added 1 commit 4 years ago
added 1 commit

74dd0b4c - fix uniq_bor.v

Compare with previous version
Michael Sammler added 1 commit 4 years ago
added 1 commit

c61ad51e - port own.v

Compare with previous version
Michael Sammler added 1 commit 4 years ago
added 1 commit

813bf84d - make everything build again

Compare with previous version
Michael Sammler closed 4 years ago

closed

Please register or sign in to reply