Skip to content

Verify semantic invariants at the raw UBCM boundary - #18

Draft
Papishushi wants to merge 1 commit into
feat/semantic-source-frontend-v0from
feat/semantic-binary-verifier-v0
Draft

Papishushi wants to merge 1 commit into
feat/semantic-source-frontend-v0from
feat/semantic-binary-verifier-v0

Rebase semantic verifier onto semantic frontend

57dd1ee
Select commit
Loading
Failed to load commit list.
Codacy Production / Codacy Static Code Analysis succeeded Oct 15, 2026 in 0s

Your pull request is up to standards!

Codacy Here is an overview of what got changed by this pull request:

Complexity increasing per file
==============================
- Ubytec/Language/AST/HighLevelParser.cs  8
- Ubytec/Language/Portable/IndexedExecutableFormat.cs  7
- Ubytec/Language/Portable/PortableBinaryVerifier.cs  69
         

Clones added
============
- Ubytec/Language/AST/HighLevelParser.cs  9
         

Clones removed
==============
+ Ubytec/Language/Portable/IndexedExecutableFormat.cs  -1
+ Ubytec/Language/Portable/PortableBinaryVerifier.cs  -1
         

See the complete overview on Codacy