Implement Plutus Conformance Tests for Scalus UPLC JIT Compiler
Type: Feature / Enhancement
Topic: Testing, Performance, JIT
Problem Description
The scalus-uplc-jit-compiler is currently experimental and lacks validation against the official Plutus conformance test suite. As noted in scalus-uplc-jit-compiler/test-notes.md:
No dedicated unit tests are added for case on builtins in the JIT compiler because:
- The Plutus conformance tests will be run against the JIT compiler in the future
Without these tests, we cannot guarantee the JIT compiler matches the reference CEK machine behavior, especially for edge cases and gas usage.
Proposed Solution
Extend PlutusConformanceTest to support the JIT compiler backend.
Action Items
Value Add
- Reliability: Proves correctness of the JIT compiler.
- Maturity: Essential step for moving JIT from experimental to production.
Implement Plutus Conformance Tests for Scalus UPLC JIT Compiler
Type: Feature / Enhancement
Topic: Testing, Performance, JIT
Problem Description
The
scalus-uplc-jit-compileris currently experimental and lacks validation against the official Plutus conformance test suite. As noted inscalus-uplc-jit-compiler/test-notes.md:Without these tests, we cannot guarantee the JIT compiler matches the reference CEK machine behavior, especially for edge cases and gas usage.
Proposed Solution
Extend
PlutusConformanceTestto support the JIT compiler backend.Action Items
JitPlutusConformanceTestinscalus-uplc-jit-compiler/src/test/scala.checkmethod to invoke the JIT compiler instead of the CEK machine.Value Add