/
nv-lang
/
nova
ОбзорДокументацияВойти
/
nv-lang
/
nova
Код
Запросы
0
Задачи
Вики
Пакеты
0
Релизы
0
Аналитика
ДокументацияПоддержка
Политика конфиденциальностиПользовательское соглашениеПолитика использования «cookies»Согласие субъекта персональных данных
2026 ©
nova/
compiler-codegen/src/
..
ast

feat(D449): add supervised(on_timeout:) handler

день назад
codegen

feat(os): process spawn/wait/exit-code via Command.run() (Plan 265 Ф.1, D453)

12 часов назад
doc

refactor(262): doc-test runner uses prepare_module_for_check

день назад
interp

docs: правка ссылок на перемещённые docs/guide|dev файлы

9 дней назад
lexer

feat(lang): `use` retracted from hard keyword to contextual keyword (D443, Plan 239)

9 дней назад
parser

gate: clear four of the eight failures the authoritative run reported

17 часов назад
protocols

feat(D450/№503): #from_pairs/#from_fields — один конструктор new(cap:), insert_new опционален

2 дня назад
types

feat(D449): add supervised(on_timeout:) handler

день назад
verify

feat(234 Ф.1/Ф.2/Ф.2а): bit-префикс операторов, ~ (bitnot), compound &= |= ^= <<= >>=

11 дней назад
alpha_rename.rs

feat(D449): add supervised(on_timeout:) handler

день назад
argbind.rs

feat(50): Ф.6.1 — Levenshtein 'did you mean' для UnknownParam

3 месяца назад
callnorm.rs

feat(D449): add supervised(on_timeout:) handler

день назад
chain_norm.rs

feat(D449): add supervised(on_timeout:) handler

день назад
check_pipeline.rs

feat(262): add prepare_module_for_check — the one pre-check pass sequence

день назад
const_fn_closure.rs

feat(238, p238-f3): автовывод требования Safe-замыкания для параметров-функций + проверка в точке передачи (D446 §4/§5 амендмент)

5 дней назад
const_fn_eval.rs

feat(D450/№503): #from_pairs/#from_fields — один конструктор new(cap:), insert_new опционален

2 дня назад
const_fn_mono.rs

fix(173 Ф.1): удалён мёртвый errdefer/okdefer/defer|result| surface (дефект #4) — [M-172-errdefer-okdefer-dead-surface]

месяц назад
const_fn_trampoline.rs

plan(196): gs-migration шаг 1 — носитель GenericScope (HashMap<String,GenericParam>)

12 дней назад
desugar.rs

feat(D449): add supervised(on_timeout:) handler

день назад
diag.rs

fix(№132, sonnet): SourceMap для cross-file диагностик адресует peer по РЕАЛЬНОМУ file_id, не по порядку вставки

15 дней назад
effect_surface.rs

feat(plan03.4/Ф.3): capability-confined deps — forbid на границе зависимости

3 месяца назад
embed_resolve.rs

feat(D449): add supervised(on_timeout:) handler

день назад
escape_analyze.rs

172.15 Ф.1: периметр __sret — свойство вместо перечня форм

2 дня назад
field_cache.rs

feat(D449): add supervised(on_timeout:) handler

день назад
git_cache.rs

feat(233 §1, §2): прокси для скачивания пакетов + nova.lock -> nova.lock.toml, nova.local.toml -> nova.override.toml

15 дней назад
imports.rs

mark the invariants the merged waves stated on their honest word

день назад
imports_stats.rs

252 Ф.0: инструментирование imports-resolve — счётчики разборов и под-таймеры

2 дня назад
lib.rs

feat(262): add prepare_module_for_check — the one pre-check pass sequence

день назад
link_prep.rs

fix(268): loud link-prep diagnostics for missing vendor [ffi] libs on nova build

9 дней назад
lints.rs

feat(D449): add supervised(on_timeout:) handler

день назад
lockfile.rs

manifests: English, enforced by a guard, and the generator fixed too

день назад
main.rs

fix(checker): №279/№280 — nested Err(Variant) pattern + bare-variant-ctor mis-resolve shared enum tag

9 дней назад
manifest.rs

252 Ф.2: неизменный индекс дерева исходников вместо кэша со сверкой отпечатка

2 дня назад
nfc.rs

fix(221.1): №255 — nfc.rs extract_const принимает канон-форму const NAME = (без аннотации)

9 дней назад
number_exprs.rs

feat(D449): add supervised(on_timeout:) handler

день назад
perf_timer.rs

feat(57.D.1): PerfTimer aggregation mode для nova test pipeline

3 месяца назад
pkg_proxy.rs

feat(233 §1, §2): прокси для скачивания пакетов + nova.lock -> nova.lock.toml, nova.local.toml -> nova.override.toml

15 дней назад
resolver.rs

feat(plan03.2/Ф.4): nova.lock version-поле + воспроизводимость + nova update

3 месяца назад
self_return_lower.rs

feat(D409): -> @ автоматический возврат приёмника; explicit @/return @ запрещён (E_EXPLICIT_SELF_RETURN)

месяц назад
semver.rs

feat(plan03.2/Ф.1): semver 2.0.0 + version-ranges core

3 месяца назад
sig_registry.rs

feat(184): parameter mode {ro,mut,consume} as overload axis (Р13/Р14)

месяц назад
source_index.rs

mark the invariants the merged waves stated on their honest word

день назад
strict_effects.rs

feat(D449): add supervised(on_timeout:) handler

день назад
test_runner.rs

feat(os): process spawn/wait/exit-code via Command.run() (Plan 265 Ф.1, D453)

12 часов назад