Skip to content

Make verified portable x64 the canonical CLI path - #19

Draft
Papishushi wants to merge 1 commit into
feat/semantic-binary-verifier-v0from
feat/canonical-portable-x64-cli-v0
Draft

Papishushi wants to merge 1 commit into
feat/semantic-binary-verifier-v0from
feat/canonical-portable-x64-cli-v0

Fix portable System V multi-argument ABI

82c8714
Select commit
Loading
Failed to load commit list.
Codacy Production / Codacy Static Code Analysis required action Oct 15, 2026 in 0s

2 new issues (0 max.) of at least minor severity.

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

Issues
======
- Added 2
           

Complexity increasing per file
==============================
- Ubytec/Language/AST/ModuleContracts.cs  4
- Ubytec/Language/Portable/IndexedExecutableFormat.cs  53
- Ubytec/Language/Portable/PortableBinaryVerifier.cs  29
- Ubytec/Language/Portable/PortableX64Backend.cs  6
- Ubytec/Language/Portable/PortableSourceX64Pipeline.cs  3
- Ubytec/CommandLineDriver.cs  7
- Ubytec/Language/Portable/PortableSystemVLibraryAbi.cs  42
- Ubytec/Language/Portable/PortableX64TailCallOptimizer.cs  29
- Ubytec/Language/Portable/PortableX64ModuleContractAbi.cs  84
- Ubytec/Language/Portable/PortableX64RuntimeImports.cs  29
         

Clones added
============
- Ubytec/Language/Portable/PortableSystemVLibraryAbi.cs  1
- Ubytec/Language/Portable/PortableX64ModuleContractAbi.cs  1
         

See the complete overview on Codacy

Annotations

Check warning on line 508 in Ubytec/CommandLineDriver.cs

See this annotation in the file changed.

@codacy-production codacy-production / Codacy Static Code Analysis

Ubytec/CommandLineDriver.cs#L508

Remove unassigned auto-property 'PortableX64Requested', or set its value.

Check notice on line 1 in Ubytec/Program.cs

See this annotation in the file changed.

@codacy-production codacy-production / Codacy Static Code Analysis

Ubytec/Program.cs#L1

Add or update the header of this file.