Commit Graph

  • 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