v1.4.0 – Prime Phase Native ABI
·
4 commits
to main
since this release
v1.4.0 – Prime Phase Native ABI
Prime Phase Generator のネイティブ ABI を追加し、
Lean → C → C# の呼び出し経路を確立。
- Lean extern ABI
- C ネイティブ関数の追加
- C# P/Invoke の初期実装