Regression Status

Tracking verified features and aspirational development in the Koru compiler.

Passing Features
518 (88%)
Out of 589 total tests
Regressions
0
1 long-standing
Aspirational (TODO)
50
Planned specifications
Skipped / Broken
4
Maintenance required

Verification Progress

0147294441589Dec 29, 12:09 AMMar 14, 12:03 AM

Daily count of verified passing features over time.

Status updates

Loading…

Test Suite Composition

0294589PassedFailedTODOSkippedBroken

Recent Activity

Last 50 verified transitions
09 empty transaction EXAMPLES SHOWCASE/910 LANGUAGE SHOOTOUT
Regression detected • 2eedfc4
Mar 14, 12:03 AM
08 close without transaction EXAMPLES SHOWCASE/910 LANGUAGE SHOOTOUT
Regression detected • 2eedfc4
Mar 14, 12:03 AM
07 serial transactions EXAMPLES SHOWCASE/910 LANGUAGE SHOOTOUT
Regression detected • 2eedfc4
Mar 14, 12:03 AM
06 multiple execs EXAMPLES SHOWCASE/910 LANGUAGE SHOOTOUT
Regression detected • 2eedfc4
Mar 14, 12:03 AM
05 commit without close EXAMPLES SHOWCASE/910 LANGUAGE SHOOTOUT
Regression detected • 2eedfc4
Mar 14, 12:03 AM
04 valid rollback EXAMPLES SHOWCASE/910 LANGUAGE SHOOTOUT
Verified passing • 2eedfc4
Mar 14, 12:03 AM
03 valid commit EXAMPLES SHOWCASE/910 LANGUAGE SHOOTOUT
Verified passing • 2eedfc4
Mar 14, 12:03 AM
02 uncommitted tx EXAMPLES SHOWCASE/910 LANGUAGE SHOOTOUT
Verified passing • 2eedfc4
Mar 14, 12:03 AM
022 if expression parsing RUNTIME FEATURES/430 RUNTIME
Verified passing • 6cd6b75
Mar 13, 11:35 AM
018 runtime if RUNTIME FEATURES/430 RUNTIME
Verified passing • 6cd6b75
Mar 13, 11:35 AM
002 cross session discharge RUNTIME FEATURES/440 RESOURCE BRIDGE
Verified passing • c659c7a
Mar 13, 11:22 AM
001 bridge basic RUNTIME FEATURES/440 RESOURCE BRIDGE
Verified passing • c659c7a
Mar 13, 11:22 AM
053 registry alias RUNTIME FEATURES/430 RUNTIME
Verified passing • c659c7a
Mar 13, 11:22 AM
052 interpreter identity result RUNTIME FEATURES/430 RUNTIME
Verified passing • c659c7a
Mar 13, 11:22 AM
051 runtime run budget autodischarge RUNTIME FEATURES/430 RUNTIME
Verified passing • c659c7a
Mar 13, 11:22 AM
050 runtime eval autodischarge RUNTIME FEATURES/430 RUNTIME
Verified passing • c659c7a
Mar 13, 11:22 AM
049 runtime run lenient RUNTIME FEATURES/430 RUNTIME
Verified passing • c659c7a
Mar 13, 11:22 AM
048 runtime run fail fast RUNTIME FEATURES/430 RUNTIME
Verified passing • c659c7a
Mar 13, 11:22 AM
047 runtime run parse error RUNTIME FEATURES/430 RUNTIME
Verified passing • c659c7a
Mar 13, 11:22 AM
046 runtime run scope not found RUNTIME FEATURES/430 RUNTIME
Verified passing • c659c7a
Mar 13, 11:22 AM
045 runtime run event denied RUNTIME FEATURES/430 RUNTIME
Verified passing • c659c7a
Mar 13, 11:22 AM
044 runtime run budget RUNTIME FEATURES/430 RUNTIME
Verified passing • c659c7a
Mar 13, 11:22 AM
043 runtime run scope RUNTIME FEATURES/430 RUNTIME
Verified passing • c659c7a
Mar 13, 11:22 AM
041 registry typed args RUNTIME FEATURES/430 RUNTIME
Verified passing • c659c7a
Mar 13, 11:22 AM
040 registry scope dotted RUNTIME FEATURES/430 RUNTIME
Verified passing • c659c7a
Mar 13, 11:22 AM
039 runtime eval scope RUNTIME FEATURES/430 RUNTIME
Verified passing • c659c7a
Mar 13, 11:22 AM
038 interpreter nested loop benchmark RUNTIME FEATURES/430 RUNTIME
Verified passing • c659c7a
Mar 13, 11:22 AM
037 interpreter field types RUNTIME FEATURES/430 RUNTIME
Verified passing • c659c7a
Mar 13, 11:22 AM
036 interpreter for loop RUNTIME FEATURES/430 RUNTIME
Verified passing • c659c7a
Mar 13, 11:22 AM
035 interpreter binding args RUNTIME FEATURES/430 RUNTIME
Verified passing • c659c7a
Mar 13, 11:22 AM
030 honest benchmark RUNTIME FEATURES/430 RUNTIME
Verified passing • c659c7a
Mar 13, 11:22 AM
026 interpreter run event RUNTIME FEATURES/430 RUNTIME
Verified passing • c659c7a
Mar 13, 11:22 AM
025 interpreter benchmark real RUNTIME FEATURES/430 RUNTIME
Verified passing • c659c7a
Mar 13, 11:22 AM
011 registry scope composition RUNTIME FEATURES/430 RUNTIME
Verified passing • c659c7a
Mar 13, 11:22 AM
010 shape contract RUNTIME FEATURES/410 BUDGETED INTERPRETER
Verified passing • c659c7a
Mar 13, 11:22 AM
006 identity branch phantom RUNTIME FEATURES/410 BUDGETED INTERPRETER
Verified passing • c659c7a
Mar 13, 11:22 AM
005 exhaustion with handles RUNTIME FEATURES/410 BUDGETED INTERPRETER
Verified passing • c659c7a
Mar 13, 11:22 AM
004 auto discharge RUNTIME FEATURES/410 BUDGETED INTERPRETER
Verified passing • c659c7a
Mar 13, 11:22 AM
003 handle pool tracking RUNTIME FEATURES/410 BUDGETED INTERPRETER
Verified passing • c659c7a
Mar 13, 11:22 AM
002 budget exhaustion RUNTIME FEATURES/410 BUDGETED INTERPRETER
Verified passing • c659c7a
Mar 13, 11:22 AM
001 basic budget tracking RUNTIME FEATURES/410 BUDGETED INTERPRETER
Verified passing • c659c7a
Mar 13, 11:22 AM
2101f nbody arrayed capture EXAMPLES SHOWCASE/910 LANGUAGE SHOOTOUT
Verified passing • c659c7a
Mar 13, 10:58 AM
2101e nbody pure scalar EXAMPLES SHOWCASE/910 LANGUAGE SHOOTOUT
Verified passing • c659c7a
Mar 13, 10:58 AM
002 cross session discharge RUNTIME FEATURES/440 RESOURCE BRIDGE
Regression detected • c659c7a
Mar 13, 10:58 AM
001 bridge basic RUNTIME FEATURES/440 RESOURCE BRIDGE
Regression detected • c659c7a
Mar 13, 10:58 AM
053 registry alias RUNTIME FEATURES/430 RUNTIME
Regression detected • c659c7a
Mar 13, 10:58 AM
052 interpreter identity result RUNTIME FEATURES/430 RUNTIME
Regression detected • c659c7a
Mar 13, 10:58 AM
051 runtime run budget autodischarge RUNTIME FEATURES/430 RUNTIME
Regression detected • c659c7a
Mar 13, 10:58 AM
050 runtime eval autodischarge RUNTIME FEATURES/430 RUNTIME
Regression detected • c659c7a
Mar 13, 10:58 AM
049 runtime run lenient RUNTIME FEATURES/430 RUNTIME
Regression detected • c659c7a
Mar 13, 10:58 AM
Generated on Mar 14, 12:07 AM using the Koru Regression Suite.