-
196732d402
Merge branch 'master' into 'main'
main
coolguy
2026-08-17 17:59:59 +09:00
-
-
b4f947b643
audit: 프런트엔드 빈틈 열하나와 진법 리터럴
master
coolguy
2026-08-17 17:00:29 +09:00
-
c7a1b98654
audit: 프런트엔드 빈틈 조사를 기록한다
coolguy
2026-08-17 16:52:30 +09:00
-
730bcac282
audit: SPEC-파서 괴리 일곱을 정리한다
coolguy
2026-08-17 16:52:12 +09:00
-
6dc298d828
docs: 문서 하나가 질문 하나에 답하게
coolguy
2026-08-17 16:40:50 +09:00
-
52aaff62e4
docs: TODO 를 지금 상태로
coolguy
2026-08-17 16:34:15 +09:00
-
3d226d890b
docs: GOAL 을 결과로, TODO 를 지금 상태로
coolguy
2026-08-17 16:33:25 +09:00
-
f06a12f341
GOAL P4: --report-unsafe 와 --report-instances, 그리고 예산을 CI 에
coolguy
2026-08-17 16:31:57 +09:00
-
b0cc737c6b
GOAL P3-5: StrId 를 키로 -- 별도 IntMap 은 필요 없다
coolguy
2026-08-17 16:28:47 +09:00
-
b7ce16f65e
GOAL P3-4: StringInterner, 그리고 그것이 드러낸 배치 버그
coolguy
2026-08-17 16:27:47 +09:00
-
63baa4f523
GOAL P3-3: List 에 pop take swap slice slice_mut clear
coolguy
2026-08-17 16:22:11 +09:00
-
b255396850
GOAL P3-1/3-2: 핸들로 닿는 아레나
coolguy
2026-08-17 16:19:30 +09:00
-
ef7939f609
GOAL P2: SPEC 에서 죽은 C 백엔드를 걷어낸다
coolguy
2026-08-17 16:12:53 +09:00
-
d9bced830c
GOAL P1-4: 작은 규칙 일곱을 정하고, 어긋난 둘을 고친다
coolguy
2026-08-17 16:10:44 +09:00
-
1a368dc13f
GOAL P1-1..1-3: 리터럴이 자기 타입에 안 맞으면 거부한다
coolguy
2026-08-17 16:07:45 +09:00
-
32da64d7c1
GOAL P0-2: Name(args){...} 로 제네릭 인스턴스를 짓는다
coolguy
2026-08-17 15:59:08 +09:00
-
dacf1e1b1b
GOAL P0-1: 니치 옵셔널이 포인터 대신 포인터가 든 자리를 넘겼다
coolguy
2026-08-17 15:56:48 +09:00
-
51f555a830
리졸버를 위한 자리: Node.bind 와 Map.clear
coolguy
2026-08-17 15:50:58 +09:00
-
f7e667652e
대여는 변수가 아니라 place 단위다
coolguy
2026-08-17 15:29:12 +09:00
-
120a36eef5
spec: 완화했던 이동 규칙 둘을 명세에 넣는다
coolguy
2026-08-17 15:16:24 +09:00
-
d1d031019a
docs: TODO 와 fixture README 를 지금 상태로
coolguy
2026-08-17 12:57:27 +09:00
-
63ad48cd8a
트랩은 검사가 쓰인 파일을 댄다
coolguy
2026-08-17 12:56:34 +09:00
-
abdb049d05
lowering: .n 은 슬라이스에게만 길이다
coolguy
2026-08-17 12:52:38 +09:00
-
e84f892147
Ferro 파서를 Ferro 로, 그리고 그것이 드러낸 네 가지
coolguy
2026-08-17 12:49:53 +09:00
-
8c4e80e246
std: map 을 쓴다 -- 바이트 열에서 값으로
coolguy
2026-08-17 12:23:52 +09:00
-
c7cba061b3
docs: 셀프호스팅 전 목록이 끝난 상태를 적는다
coolguy
2026-08-17 07:36:14 +09:00
-
76cb7e254c
lexer: Ferro 의 렉서를 Ferro 로 쓴다
coolguy
2026-08-17 07:35:21 +09:00
-
4fe0073365
backend: 레지스터를 할당한다
coolguy
2026-08-17 07:30:22 +09:00
-
ae83f5b142
std: mem.Arena 를 구현한다
coolguy
2026-08-17 07:21:40 +09:00
-
c06f5c50c4
compiler: 조용히 잘리던 상한을 없앤다
coolguy
2026-08-17 07:18:47 +09:00
-
0fd3f187f4
lower: 태그드 유니온을 해체한다 -- match 페이로드와 if let
coolguy
2026-08-17 07:15:57 +09:00
-
676fef88fb
std: 프로그램이 바깥 세상과 이야기한다 -- 파일과 명령줄
coolguy
2026-08-17 07:11:56 +09:00
-
e014c95a75
lower: @print 과 @fprint 를 컴파일 단계에서 전개한다
coolguy
2026-08-17 07:05:55 +09:00
-
390345ef85
refactor: check.c 와 lower.c 를 사람이 머리에 담을 크기로 나눈다
coolguy
2026-08-17 07:04:35 +09:00
-
e6de12ca94
docs: 완성된 상태에 맞춰 AGENTS 와 TODO 를 다시 쓴다
coolguy
2026-08-17 06:48:06 +09:00
-
7f871a5d5f
tests: 단어 빈도 프로그램
coolguy
2026-08-17 06:46:47 +09:00
-
432d073104
lang: 배타 대여를 호출에 넘기는 것은 이동이 아니라 재대여다
coolguy
2026-08-17 06:45:19 +09:00
-
206799d1cb
std: str 과 list, 그리고 자동 drop 이 사용자 타입까지 닿는다
coolguy
2026-08-17 06:42:16 +09:00
-
b0c9338cf3
tests: pending-backend 격리를 없앤다
coolguy
2026-08-17 06:32:57 +09:00
-
3a01cb4c51
lower: 소유 값을 스코프 끝에서 자동으로 해제한다
coolguy
2026-08-17 06:32:15 +09:00
-
9510f12643
lower: mem.create / alloc_slice / destroy / replace
coolguy
2026-08-17 06:29:18 +09:00
-
231c7d564b
lower: 제네릭 인스턴스와 메서드
coolguy
2026-08-17 06:26:20 +09:00
-
eba6f63530
lower: 슬라이싱
coolguy
2026-08-17 06:20:17 +09:00
-
0de10f37b5
std: io 와 fmt 를 Ferro 로 쓰고, 컴파일된 프로그램이 출력한다
coolguy
2026-08-17 06:18:16 +09:00
-
4624c6d0ec
std: 표준 라이브러리가 컴파일러 옆에서 해석되고 호출된다
coolguy
2026-08-17 06:12:44 +09:00
-
174e6c569d
lower: 전역과 문자열 리터럴, 그리고 defer 실행 검증
coolguy
2026-08-17 06:08:33 +09:00
-
096a5db411
lower: 옵셔널, 에러 유니온, try/catch/orelse, defer, for
coolguy
2026-08-17 06:06:35 +09:00
-
43555b261c
lower+backend: 배열, 경계검사, 구조체, 그리고 실행 테스트 스위트
coolguy
2026-08-17 06:00:33 +09:00
-
e5093e690d
backend: i386 어셈블리를 내고 Windows 11 실행 파일을 만든다
coolguy
2026-08-17 05:55:34 +09:00
-
6ee3764667
lower: 검사된 AST 를 IR 로 내린다 (1차)
coolguy
2026-08-17 05:51:01 +09:00
-
ddea962d14
ir: 중간 표현을 정의한다
coolguy
2026-08-17 05:44:56 +09:00
-
b0e55e072e
spec: FE_TOK_FAR 토큰 제거
coolguy
2026-08-17 05:41:10 +09:00
-
718c323938
spec: 타깃을 i386 하나로 정하고 far 를 언어에서 뺀다
coolguy
2026-08-17 05:40:49 +09:00
-
25d9de65e1
implement: 제네릭 모노모피제이션 (SPEC 9)
coolguy
2026-08-17 05:24:36 +09:00
-
cb20cce81a
docs: TODO 와 핸드오프 문서를 추적한다
coolguy
2026-08-17 05:08:07 +09:00
-
a265901d7e
implement: 유닛 경계를 넘는 이름, 가시성, 기본 에러 집합
coolguy
2026-08-17 05:06:16 +09:00
-
96e05aba5b
refactor: 빌드 전체를 하나의 검사기로 본다
coolguy
2026-08-17 05:00:31 +09:00
-
de02b8bbbe
tests: bad_bufw 가 무엇을 막는지 기록하고 진단을 고정한다
coolguy
2026-08-17 04:52:48 +09:00
-
1be47fa11c
tests: 마커 없던 fixture 36개에 진단을 고정한다
coolguy
2026-08-17 04:51:58 +09:00
-
c7d0a900bd
fix: 남은 중복 진단 두 건을 정리한다
coolguy
2026-08-17 04:51:19 +09:00
-
f5bffec7dd
fix: 같은 위반을 두 번 보고하던 두 경로를 정리한다
coolguy
2026-08-17 04:49:05 +09:00
-
c900e0f61c
spec: 640KB 셀프호스팅을 목표에서 내린다
coolguy
2026-08-17 04:39:58 +09:00
-
2f140e1e48
fixture 진단 증거 보고서 작성
coolguy
2026-08-17 04:30:45 +09:00
-
5217c352b0
docs: AGENTS에 남은 옛 참조를 정리
coolguy
2026-08-17 04:21:52 +09:00
-
7636a41a4e
Revert "tests: fixture 파일명과 unit 동기화"
coolguy
2026-08-17 04:21:13 +09:00
-
43646647af
docs: AGENTS를 프런트엔드 전용 상태로 갱신
coolguy
2026-08-17 04:14:37 +09:00
-
79aa2208f1
tests: pending-backend README 추가
coolguy
2026-08-17 04:14:35 +09:00
-
d22964cdb6
tests: fixture 파일명과 unit 동기화
coolguy
2026-08-17 04:14:30 +09:00
-
fe5f853feb
grammar.js를 parser 기준 규칙으로 정합화
coolguy
2026-08-17 04:05:15 +09:00
-
88b0c83538
fixture README를 현재 상태에 맞게 정리
coolguy
2026-08-17 04:05:13 +09:00
-
d1a4020087
own fixture 파일명과 unit 식별자 정리
coolguy
2026-08-17 04:05:11 +09:00
-
38dddc234c
implement: load the unit graph -- imports, cycles, bindings
coolguy
2026-08-17 03:54:43 +09:00
-
51e2568ba7
implement: unit identity -- dotted paths, name rules, source path
coolguy
2026-08-17 03:47:28 +09:00
-
547d8c5ec2
fix: reconcile the ERROR markers with what the checker reports
coolguy
2026-08-17 03:42:06 +09:00
-
fb65152901
refactor: keep the front end, drop everything downstream of it
coolguy
2026-08-17 03:33:23 +09:00
-
2696dd2abc
docs: reduce SPEC.md to a language-only specification
coolguy
2026-08-17 02:42:12 +09:00
-
d5ba699744
dev: require the pinned toolchain, and clear the QEMU-era leftovers
coolguy
2026-08-17 02:26:02 +09:00
-
32ad50b14a
dev: run the host gate as 16-bit, and drop what it found dead
coolguy
2026-08-17 02:22:44 +09:00
-
ee2b417013
fix: restore the rules the M7 half never had to implement
coolguy
2026-08-17 02:07:26 +09:00
-
eb85e9fa3d
dev: run host syntax gates before starting DOSBox-X
coolguy
2026-08-17 01:57:06 +09:00
-
4adfe60574
fix: repair the unified emitter's declarations
coolguy
2026-08-17 01:54:17 +09:00
-
3b8c8ac674
refactor: unify M7 lowering and C emission
coolguy
2026-08-17 01:49:02 +09:00
-
3091df7a78
refactor: unify the M1-M7 checker
coolguy
2026-08-17 01:45:04 +09:00
-
d5e7a8d8d6
dev: restore core=dynamic; the trap failures were the PATH bug
coolguy
2026-08-17 01:36:48 +09:00
-
0132ad4135
fix: lower short catch as statements, and drop core=dynamic
coolguy
2026-08-17 01:34:20 +09:00
-
044c0f0e98
dev: cache the compiler build and drop unused headers
coolguy
2026-08-17 01:17:40 +09:00
-
aaf31302d5
dev: compile the generated C, and fix what that caught
coolguy
2026-08-17 01:14:47 +09:00
-
23079ba9fb
spec: mark the try enforcement entry resolved by M7
coolguy
2026-08-17 00:03:26 +09:00
-
a2428ca5da
fix: enforce the try rule at every position
coolguy
2026-08-17 00:03:26 +09:00
-
6713a934f5
fix: emit mem.create and mem.alloc_slice on the M7 path
coolguy
2026-08-17 00:01:51 +09:00
-
44dc5562ef
fix: repair three M7 C emission defects
coolguy
2026-08-16 23:48:18 +09:00
-
05ae2bea9a
fix: unblock the DOS build for M7 sources
coolguy
2026-08-16 23:39:05 +09:00
-
ff98176cc2
Merge branch 'master' into m7-trial
coolguy
2026-08-16 23:30:36 +09:00
-
-
0a434d8a9a
spec: record why the try rule cannot be enforced yet

coolguyandClaude Opus 5
2026-08-16 23:23:47 +09:00
-
9e074e2e16
Merge branch 'master' into m7-trial
coolguy
2026-08-16 23:09:39 +09:00
-
-
86bff9a06d
dev: capture compiler diagnostics under DOS

coolguyandClaude Opus 5
2026-08-16 23:09:30 +09:00
-
e457ee46b2
Merge branch 'master' into m7-trial
coolguy
2026-08-16 23:02:43 +09:00
-
-
7a25447281
trial: unblock the DOS build (local only, not for merge)
coolguy
2026-08-16 23:02:43 +09:00
-
8b7d6a8d09
dev: make DOS build failures diagnosable

coolguyandClaude Opus 5
2026-08-16 23:02:28 +09:00
-
63bc8e8724
Merge branch 'master' into m7-trial
coolguy
2026-08-16 22:37:51 +09:00
-