Regression Status

Tracking verified features and aspirational development in the Koru compiler.

Passing Features
443 (82%)
Out of 539 total tests
Regressions
0
4 long-standing
Aspirational (TODO)
72
Planned specifications
Skipped / Broken
4
Maintenance required

Verification Progress

0134269404539Dec 29, 12:09 AMJan 28, 02:39 PM

Daily count of verified passing features over time.

Status updates

Loading…

Test Suite Composition

0269539PassedFailedTODOSkippedBroken

Recent Activity

Last 50 verified transitions
049 runtime run lenient RUNTIME FEATURES/430 RUNTIME
Verified passing • ff24d30
Jan 28, 02:39 PM
048 runtime run fail fast RUNTIME FEATURES/430 RUNTIME
Verified passing • ff24d30
Jan 28, 02:39 PM
002 cross session discharge RUNTIME FEATURES/440 RESOURCE BRIDGE
Verified passing • ff24d30
Jan 28, 02:18 PM
001 bridge basic RUNTIME FEATURES/440 RESOURCE BRIDGE
Verified passing • ff24d30
Jan 28, 02:18 PM
051 runtime run budget autodischarge RUNTIME FEATURES/430 RUNTIME
Verified passing • ff24d30
Jan 28, 02:18 PM
050 runtime eval autodischarge RUNTIME FEATURES/430 RUNTIME
Verified passing • ff24d30
Jan 28, 02:18 PM
047 runtime run parse error RUNTIME FEATURES/430 RUNTIME
Verified passing • ff24d30
Jan 28, 02:18 PM
046 runtime run scope not found RUNTIME FEATURES/430 RUNTIME
Verified passing • ff24d30
Jan 28, 02:18 PM
045 runtime run event denied RUNTIME FEATURES/430 RUNTIME
Verified passing • ff24d30
Jan 28, 02:18 PM
044 runtime run budget RUNTIME FEATURES/430 RUNTIME
Verified passing • ff24d30
Jan 28, 02:18 PM
043 runtime run scope RUNTIME FEATURES/430 RUNTIME
Verified passing • ff24d30
Jan 28, 02:18 PM
041 registry typed args RUNTIME FEATURES/430 RUNTIME
Verified passing • ff24d30
Jan 28, 02:18 PM
040 registry scope dotted RUNTIME FEATURES/430 RUNTIME
Verified passing • ff24d30
Jan 28, 02:18 PM
039 runtime eval scope RUNTIME FEATURES/430 RUNTIME
Verified passing • ff24d30
Jan 28, 02:18 PM
038 interpreter nested loop benchmark RUNTIME FEATURES/430 RUNTIME
Verified passing • ff24d30
Jan 28, 02:18 PM
037 interpreter field types RUNTIME FEATURES/430 RUNTIME
Verified passing • ff24d30
Jan 28, 02:18 PM
036 interpreter for loop RUNTIME FEATURES/430 RUNTIME
Verified passing • ff24d30
Jan 28, 02:18 PM
035 interpreter binding args RUNTIME FEATURES/430 RUNTIME
Verified passing • ff24d30
Jan 28, 02:18 PM
030 honest benchmark RUNTIME FEATURES/430 RUNTIME
Verified passing • ff24d30
Jan 28, 02:18 PM
026 interpreter run event RUNTIME FEATURES/430 RUNTIME
Verified passing • ff24d30
Jan 28, 02:18 PM
025 interpreter benchmark real RUNTIME FEATURES/430 RUNTIME
Verified passing • ff24d30
Jan 28, 02:18 PM
021 if arg inspection RUNTIME FEATURES/430 RUNTIME
Verified passing • ff24d30
Jan 28, 02:18 PM
020 interpreter if e2e RUNTIME FEATURES/430 RUNTIME
Verified passing • ff24d30
Jan 28, 02:18 PM
019 interpreter if RUNTIME FEATURES/430 RUNTIME
Verified passing • ff24d30
Jan 28, 02:18 PM
016 interpreter conditionals RUNTIME FEATURES/430 RUNTIME
Verified passing • ff24d30
Jan 28, 02:18 PM
015 interpreter dataflow RUNTIME FEATURES/430 RUNTIME
Verified passing • ff24d30
Jan 28, 02:18 PM
014 interpreter benchmark RUNTIME FEATURES/430 RUNTIME
Verified passing • ff24d30
Jan 28, 02:18 PM
013 interpreter test RUNTIME FEATURES/430 RUNTIME
Verified passing • ff24d30
Jan 28, 02:18 PM
011 registry scope composition RUNTIME FEATURES/430 RUNTIME
Verified passing • ff24d30
Jan 28, 02:18 PM
001 parser userland RUNTIME FEATURES/430 RUNTIME
Verified passing • ff24d30
Jan 28, 02:18 PM
006 identity branch phantom RUNTIME FEATURES/410 BUDGETED INTERPRETER
Verified passing • ff24d30
Jan 28, 02:18 PM
005 exhaustion with handles RUNTIME FEATURES/410 BUDGETED INTERPRETER
Verified passing • ff24d30
Jan 28, 02:18 PM
004 auto discharge RUNTIME FEATURES/410 BUDGETED INTERPRETER
Verified passing • ff24d30
Jan 28, 02:18 PM
003 handle pool tracking RUNTIME FEATURES/410 BUDGETED INTERPRETER
Verified passing • ff24d30
Jan 28, 02:18 PM
002 budget exhaustion RUNTIME FEATURES/410 BUDGETED INTERPRETER
Verified passing • ff24d30
Jan 28, 02:18 PM
001 basic budget tracking RUNTIME FEATURES/410 BUDGETED INTERPRETER
Verified passing • ff24d30
Jan 28, 02:18 PM
026 auto discharge warn ADVANCED FEATURES/330 PHANTOM TYPES
Verified passing • ff24d30
Jan 28, 02:18 PM
008 parser benchmark COMPILER FEATURES/220 COMPILATION
Verified passing • ff24d30
Jan 28, 02:18 PM
007 parser dump ast COMPILER FEATURES/220 COMPILATION
Verified passing • ff24d30
Jan 28, 02:18 PM
006 std module type ref COMPILER FEATURES/220 COMPILATION
Verified passing • ff24d30
Jan 28, 02:18 PM
036 parser runtime COMPILER FEATURES/210 PARSER
Verified passing • ff24d30
Jan 28, 02:18 PM
003 glob suffix validation EVENT GLOBBING
Regression detected • ff24d30
Jan 28, 01:38 PM
002 cross session discharge RUNTIME FEATURES/440 RESOURCE BRIDGE
Regression detected • ff24d30
Jan 28, 01:38 PM
001 bridge basic RUNTIME FEATURES/440 RESOURCE BRIDGE
Regression detected • ff24d30
Jan 28, 01:38 PM
051 runtime run budget autodischarge RUNTIME FEATURES/430 RUNTIME
Regression detected • ff24d30
Jan 28, 01:38 PM
050 runtime eval autodischarge RUNTIME FEATURES/430 RUNTIME
Regression detected • ff24d30
Jan 28, 01:38 PM
049 runtime run lenient RUNTIME FEATURES/430 RUNTIME
Regression detected • ff24d30
Jan 28, 01:38 PM
048 runtime run fail fast RUNTIME FEATURES/430 RUNTIME
Regression detected • ff24d30
Jan 28, 01:38 PM
047 runtime run parse error RUNTIME FEATURES/430 RUNTIME
Regression detected • ff24d30
Jan 28, 01:38 PM
046 runtime run scope not found RUNTIME FEATURES/430 RUNTIME
Regression detected • ff24d30
Jan 28, 01:38 PM
Generated on Jan 28, 02:44 PM using the Koru Regression Suite.