Regression Status

Tracking verified features and aspirational development in the Koru compiler.

Passing Features
524 (85%)
Out of 615 total tests
Regressions
0
26 long-standing
Aspirational (TODO)
50
Planned specifications
Skipped / Broken
3
Maintenance required

Languages

163K lines across 1264 files
Zig 80.7K · 49.6%
Koru 50.3K · 30.9%
Markdown 20.8K · 12.7%
Shell 8.5K · 5.2%
JavaScript 2.1K · 1.3%
Python 519 · 0.3%

Verification Progress

0160320480641Dec 29, 12:09 AMMay 18, 03:07 PM

Daily count of verified passing features over time.

Status updates

Loading…

Test Suite Composition

0320641PassedFailedTODOSkippedBroken

Recent Activity

Last 50 verified transitions
062 reject identity struct mismatch ADVANCED FEATURES/330 PHANTOM TYPES
Regression detected • d85a895d
May 18, 03:07 PM
061 inline obligation cascade ADVANCED FEATURES/330 PHANTOM TYPES
Regression detected • d85a895d
May 18, 03:07 PM
019 auto discharge branch constructor ADVANCED FEATURES/330 PHANTOM TYPES
Verified passing • 34938011
May 16, 10:42 AM
011 coordinator timing RUNTIME FEATURES/430 COORDINATION
Verified passing • 8b65893e
May 16, 08:14 AM
001 user coordinator RUNTIME FEATURES/430 COORDINATION
Verified passing • 8b65893e
May 16, 04:49 AM
007 event purity from impure impl RUNTIME FEATURES/410 PURITY CHECKING
Regression detected • 8b65893e
May 16, 04:49 AM
006 event purity from pure impl RUNTIME FEATURES/410 PURITY CHECKING
Regression detected • 8b65893e
May 16, 04:49 AM
005 subflow transitive pure RUNTIME FEATURES/410 PURITY CHECKING
Regression detected • 8b65893e
May 16, 01:04 AM
009 subflow pure RUNTIME FEATURES/410 PURITY CHECKING
Regression detected • 7366b2f0
May 15, 05:59 PM
005 transitive impure RUNTIME FEATURES/410 PURITY CHECKING
Regression detected • 7366b2f0
May 15, 05:59 PM
004 pure on event redundant RUNTIME FEATURES/410 PURITY CHECKING
Regression detected • 7366b2f0
May 15, 05:59 PM
003 subflow locally pure RUNTIME FEATURES/410 PURITY CHECKING
Regression detected • 7366b2f0
May 15, 05:59 PM
002 unannotated proc impure RUNTIME FEATURES/410 PURITY CHECKING
Regression detected • 7366b2f0
May 15, 05:59 PM
001 pure proc annotation RUNTIME FEATURES/410 PURITY CHECKING
Regression detected • 7366b2f0
May 15, 05:59 PM
import unknown alias INTEGRATION TESTING/540 VALIDATION
Verified passing • b57e811c
May 15, 03:52 PM
002 keyword collision ADVANCED FEATURES/330 KEYWORD
Verified passing • b57e811c
May 15, 03:52 PM
500_INTEGRATION_TESTING/510_NEGATIVE_TESTS/510_075_identity_struct_mismatch
Regression detected • 02daf4cd
May 15, 03:09 PM
200_COMPILER_FEATURES/220_FLOW_CHECKER/220_004_print_ln_template_not_used
Regression detected • 02daf4cd
May 15, 03:09 PM
300_ADVANCED_FEATURES/390_KERNEL/390_030_pairwise_outer_range
Regression detected • 02daf4cd
May 15, 03:09 PM
000_CORE_LANGUAGE/010_BASIC_SYNTAX/010_021_print_ln_bare_expression
Regression detected • 02daf4cd
May 15, 03:09 PM
300_ADVANCED_FEATURES/370_PHANTOM_TYPES/370_022_label_jump_scope_inner_must_fail
Regression detected • 02daf4cd
May 15, 03:09 PM
300_ADVANCED_FEATURES/370_PHANTOM_TYPES/370_021_label_jump_scope_outer_ok
Regression detected • 02daf4cd
May 15, 03:09 PM
300_ADVANCED_FEATURES/330_PHANTOM_TYPES/330_054_scope_annotation_not_loop
Regression detected • 02daf4cd
May 15, 03:09 PM
500_INTEGRATION_TESTING/510_NEGATIVE_TESTS/510_068_return_in_flow
Regression detected • 02daf4cd
May 15, 03:09 PM
500_INTEGRATION_TESTING/510_NEGATIVE_TESTS/510_060_missing_branch_binding
Regression detected • 02daf4cd
May 15, 03:09 PM
500_INTEGRATION_TESTING/510_NEGATIVE_TESTS/510_015_wrong_keyword_typo
Regression detected • 02daf4cd
May 15, 03:09 PM
900_EXAMPLES_SHOWCASE/910_LANGUAGE_SHOOTOUT/2101g_nbody_subflow
Regression detected • 02daf4cd
May 15, 03:09 PM
900_EXAMPLES_SHOWCASE/910_LANGUAGE_SHOOTOUT/2101g_nbody_kernel_pairwise
Regression detected • 02daf4cd
May 15, 03:09 PM
900_EXAMPLES_SHOWCASE/910_LANGUAGE_SHOOTOUT/2101f_nbody_arrayed_capture
Regression detected • 02daf4cd
May 15, 03:09 PM
900_EXAMPLES_SHOWCASE/910_LANGUAGE_SHOOTOUT/2101e_nbody_pure_scalar
Regression detected • 02daf4cd
May 15, 03:09 PM
900_EXAMPLES_SHOWCASE/910_LANGUAGE_SHOOTOUT/2101d_nbody_pure_capture
Regression detected • 02daf4cd
May 15, 03:09 PM
900_EXAMPLES_SHOWCASE/910_LANGUAGE_SHOOTOUT/2101c_nbody_extreme
Regression detected • 02daf4cd
May 15, 03:09 PM
900_EXAMPLES_SHOWCASE/910_LANGUAGE_SHOOTOUT/2101b_nbody_granular
Regression detected • 02daf4cd
May 15, 03:09 PM
900_EXAMPLES_SHOWCASE/910_LANGUAGE_SHOOTOUT/2101_nbody_optimized
Regression detected • 02daf4cd
May 15, 03:09 PM
900_EXAMPLES_SHOWCASE/910_LANGUAGE_SHOOTOUT/2101_nbody
Regression detected • 02daf4cd
May 15, 03:09 PM
700_EVENT_GLOBBING/700_040_abstract_compiler_pipeline
Regression detected • 02daf4cd
May 15, 03:09 PM
500_INTEGRATION_TESTING/520_BUG_REPRODUCTION/520_006_branch_constructor_bug
Regression detected • 02daf4cd
May 15, 03:09 PM
500_INTEGRATION_TESTING/520_BUG_REPRODUCTION/520_005_proc_branch_constructor_bug
Regression detected • 02daf4cd
May 15, 03:09 PM
500_INTEGRATION_TESTING/520_BUG_REPRODUCTION/520_004_inline_flow_imported
Regression detected • 02daf4cd
May 15, 03:09 PM
500_INTEGRATION_TESTING/510_NEGATIVE_TESTS/510_060_compiler_crashes/9501_inline_flow_continuation_chain
Regression detected • 02daf4cd
May 15, 03:09 PM
400_RUNTIME_FEATURES/420_PERFORMANCE/918i_error_no_catchall
Regression detected • 02daf4cd
May 15, 03:09 PM
400_RUNTIME_FEATURES/420_PERFORMANCE/918h_event_pump
Regression detected • 02daf4cd
May 15, 03:09 PM
400_RUNTIME_FEATURES/420_PERFORMANCE/918g_when_guards
Regression detected • 02daf4cd
May 15, 03:09 PM
400_RUNTIME_FEATURES/420_PERFORMANCE/918f_api_evolution
Regression detected • 02daf4cd
May 15, 03:09 PM
400_RUNTIME_FEATURES/420_PERFORMANCE/918e_all_optional
Regression detected • 02daf4cd
May 15, 03:09 PM
400_RUNTIME_FEATURES/420_PERFORMANCE/918d_optional_shape_error
Regression detected • 02daf4cd
May 15, 03:09 PM
400_RUNTIME_FEATURES/420_PERFORMANCE/918c_optional_mixed
Regression detected • 02daf4cd
May 15, 03:09 PM
400_RUNTIME_FEATURES/420_PERFORMANCE/918b_optional_handled
Regression detected • 02daf4cd
May 15, 03:09 PM
400_RUNTIME_FEATURES/420_PERFORMANCE/918_optional_branches
Regression detected • 02daf4cd
May 15, 03:09 PM
400_RUNTIME_FEATURES/410_PURITY_CHECKING/410_008_mixed_impls
Regression detected • 02daf4cd
May 15, 03:09 PM
Generated on May 18, 03:10 PM using the Koru Regression Suite.