Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• eb76904d6c Add backlink task to site/README main Marceline Cramer 2026-05-17 17:16:13 -06:00
• bd393a5e34 Add "help wanted!" admonition Marceline Cramer 2026-05-16 18:07:27 -06:00
• dc32d8e8ba Add more npm supply chain attack examples Marceline Cramer 2026-05-17 17:10:49 -06:00
• fd08b610de Atkinson Hyperlegible Next Marceline Cramer 2026-05-16 17:20:04 -06:00
• 17ce4a47c5 Migrate site to-do back to README Marceline Cramer 2026-05-16 16:55:38 -06:00
• db0760f8b4 Migrate security policy notes to their page Marceline Cramer 2026-05-16 16:54:35 -06:00
• 7ab1231c4d Website docs Marceline Cramer 2026-05-16 16:53:27 -06:00
• f46bca1b9e Update crates diagram Marceline Cramer 2026-05-15 13:23:53 -06:00
• ad21293862 Add Makefile scaffolding and diagram compilation Marceline Cramer 2026-05-15 13:10:11 -06:00
• 2f6138bc7a Add some notes to security policy Marceline Cramer 2026-05-15 10:52:25 -06:00
• dd6d76f471 Migrate site/README to site page Marceline Cramer 2026-05-14 20:31:16 -06:00
• f4df9e8a41 Website scaffolding Marceline Cramer 2026-05-14 17:39:36 -06:00
• 02746d1460 Add initial site scaffolding Marceline Cramer 2026-05-14 16:45:18 -06:00
• 482fcf5ce0 Fix tree-sitter highlighting Marceline Cramer 2026-05-14 14:21:13 -06:00
• 2829643f5a Rename string_literal node to string Marceline Cramer 2026-05-14 14:16:54 -06:00
• 3ef897feab Parse string literals Marceline Cramer 2026-05-14 14:10:14 -06:00
• 3b572f6b30 Add note to write testing docs Marceline Cramer 2026-05-14 13:56:52 -06:00
• 5a23cb4a29 CONTRIBUTING braindump Marceline Cramer 2026-05-14 13:53:00 -06:00
• c0cd87522e Add WIP resolve datatest harness Marceline Cramer 2026-05-08 14:47:53 -06:00
• 6d69bb4336 Move AST nodes into each item's struct Marceline Cramer 2026-05-08 14:46:24 -06:00
• 13dbda7f65 WIP file interns Marceline Cramer 2026-05-08 14:44:58 -06:00
• 1672ab5d0a Decide how to handle unreachable resolve cases Marceline Cramer 2026-05-08 14:18:00 -06:00
• ccb3e52a36 More resolve stage aggregate defs Marceline Cramer 2026-05-06 15:18:40 -06:00
• dea394b681 Add expr_aggregate_bound AST fixture Marceline Cramer 2026-05-06 15:09:26 -06:00
• aef0f83961 More work on resolution Marceline Cramer 2026-05-06 14:52:43 -06:00
• 0af9989323 WIP resolve stage Marceline Cramer 2026-05-06 14:41:48 -06:00
• 20c1e2d084 Tweaks to AST data Marceline Cramer 2026-05-06 14:41:40 -06:00
• 171166512c Add target relation label to rule Marceline Cramer 2026-05-06 14:39:55 -06:00
• 3aec75adf5 Variable types -> metadata Marceline Cramer 2026-05-05 16:17:01 -06:00
• 5dcbcbe522 Make RelationLabel independent of map type and reduce trait bounds Marceline Cramer 2026-05-05 16:10:04 -06:00
• a8f7f93c78 Make Debug on ProgramInfo optional Marceline Cramer 2026-05-05 12:29:25 -06:00
• c883f02738 SymbolLabel -> SymbolMeta Marceline Cramer 2026-05-04 20:53:01 -06:00
• e2c7985ef9 AstProgramInfo -> ProgramInfo Marceline Cramer 2026-05-04 19:57:48 -06:00
• 1536d43d97 Add some docs Marceline Cramer 2026-05-04 19:19:11 -06:00
• 85f646fc10 Migrate namespace defs to resolve module Marceline Cramer 2026-05-04 19:04:11 -06:00
• 98ab014603 Add to-do for bignum integer parsing Marceline Cramer 2026-05-04 18:56:13 -06:00
• 94578c90ba Parse names with paths Marceline Cramer 2026-05-04 18:53:46 -06:00
• 68725b5984 Update type_labels AST test Marceline Cramer 2026-05-02 15:48:48 -06:00
• cc6de1e082 Document tree-sitter contribution guidelines Marceline Cramer 2026-05-01 18:30:30 -06:00
• e7cfdf7eed Trivial IR to-do Marceline Cramer 2026-05-01 14:38:33 -06:00
• 4f5f4e2943 Add some name path tests Marceline Cramer 2026-04-30 21:06:55 -06:00
• 955c27d4d9 Define names in tree-sitter Marceline Cramer 2026-04-30 21:03:58 -06:00
• c874672515 Allow grammar lists with trailing commas or empty Marceline Cramer 2026-04-30 20:47:18 -06:00
• fc99fda2c8 Include examples in AST test fixture Marceline Cramer 2026-04-30 20:27:13 -06:00
• e5c203ce24 Remove broken derive_where(Arbitrary) in IR Marceline Cramer 2026-04-30 20:08:50 -06:00
• b28a5f7e4f Remove unused hole AST node variable Marceline Cramer 2026-04-30 20:07:22 -06:00
• 3bf2a63550 Fix unused "Server" import in lsp lib.rs Marceline Cramer 2026-04-30 20:06:26 -06:00
• b42d5b60d6 Rename type_alias_tuple_fields test to type_labels Marceline Cramer 2026-04-30 20:04:36 -06:00
• 466fb7fe4d Assert tree-sitter validity in each AST test Marceline Cramer 2026-04-30 19:57:47 -06:00
• c6e6770809 Add 'This file is part of Kerolox.' to grammar Marceline Cramer 2026-04-30 19:52:36 -06:00
• 4051ba9b6f Add 'This file is part of Kerolox.' to AST test license header Marceline Cramer 2026-04-30 19:51:56 -06:00
• 39df36c215 Parse imports Marceline Cramer 2026-04-30 19:40:05 -06:00
• aa6d08eee4 Parse type aliases Marceline Cramer 2026-04-30 19:38:07 -06:00
• 8d08273330 Parse ranges + concat is "++" Marceline Cramer 2026-04-30 19:32:23 -06:00
• b29c25d9dc Add type alias AST tests Marceline Cramer 2026-04-30 19:31:58 -06:00
• 8d76d2cee2 Remove completed VSCode package to-do Marceline Cramer 2026-04-30 19:25:59 -06:00
• d5d6ce924c Rename grammar "definition" to "relation" Marceline Cramer 2026-04-30 19:24:11 -06:00
• ef8a34f886 Atom -> apply Marceline Cramer 2026-04-30 19:21:50 -06:00
• 2093c1d2dd Flatten values into expression grammar Marceline Cramer 2026-04-30 19:16:51 -06:00
• a4844b5a59 Parse relations Marceline Cramer 2026-04-29 21:51:56 -06:00
• c29ee4851d Parse aggregates Marceline Cramer 2026-04-29 20:58:09 -06:00
• c3de45d84f Parse holes Marceline Cramer 2026-04-29 19:19:25 -06:00
• 2d6c73f8fe Parse assumptions Marceline Cramer 2026-04-29 19:18:00 -06:00
• 3f12a9cf1a Better AST unit tests Marceline Cramer 2026-04-29 19:12:50 -06:00
• 81436fced5 Add 'This file is part of Kerolox.' to license headers Marceline Cramer 2026-04-29 18:14:44 -06:00
• 5d250ea9ad Parse rules Marceline Cramer 2026-04-29 18:03:02 -06:00
• e864ea9145 Retrieve top-level item metadata Marceline Cramer 2026-04-29 17:37:10 -06:00
• 1928690597 Data-driven AST test framework Marceline Cramer 2026-04-29 17:16:39 -06:00
• a0f3f4e5aa AST API compiles Marceline Cramer 2026-04-29 16:54:52 -06:00
• 0250e066a8 WIP expression parsing Marceline Cramer 2026-04-26 16:20:47 -06:00
• 59a50b32ae More generics on expressions Marceline Cramer 2026-04-26 15:07:19 -06:00
• 8a4130dea3 Add Salsa support to IR Marceline Cramer 2026-04-24 22:27:28 -06:00
• 81d43d2e13 Split IR Expr into ExprKind Marceline Cramer 2026-04-24 21:33:47 -06:00
• 8a81636490 Specialize IR with ProgramInfo Marceline Cramer 2026-04-24 20:53:08 -06:00
• 0937a2ed36 Update to-do Marceline Cramer 2026-04-24 20:52:39 -06:00
• 025261ea4d Add *.core to .gitignore Marceline Cramer 2026-04-24 19:09:40 -06:00
• 6fdf42d9d6 Update repository URLs to gitea.efforting.tech Marceline Cramer 2026-04-24 19:04:12 -06:00
• d3937f09df Rudimentary semantic tokens Marceline Cramer 2026-04-15 11:34:09 -06:00
• 75c9635658 NQueens syntax fixes Marceline Cramer 2026-04-15 11:33:55 -06:00
• 0b9fea4f26 Stub semantic tokens handler Marceline Cramer 2026-04-15 10:26:47 -06:00
• 81f84b3b76 Run Wasm LSP with async import Marceline Cramer 2026-04-15 10:09:02 -06:00
• 43c183e593 Automatically compile VSCode extension before debugging it Marceline Cramer 2026-04-15 09:59:03 -06:00
• 8d1b92ab3e Add VSCode extension output channel Marceline Cramer 2026-04-15 09:55:55 -06:00
• 84be8d69b4 Add output.libraryTarget (makes extension run) Marceline Cramer 2026-04-15 09:54:10 -06:00
• 7b068ff737 Remove unused VSCode browser field Marceline Cramer 2026-04-15 09:49:10 -06:00
• 299edb0516 Add TODO for vscode-ext in CONTRIBUTING.md Marceline Cramer 2026-04-15 09:42:53 -06:00
• 4310bc42e4 Remove trailing comma in VSCode language config Marceline Cramer 2026-04-15 09:41:42 -06:00
• 4975b30217 Add text document sync language server caps Marceline Cramer 2026-04-15 09:15:43 -06:00
• 36e742de01 Add to-do to remove vscode-ext/pkg Marceline Cramer 2026-04-15 09:06:53 -06:00
• 3294024c11 Manage LSP editors Marceline Cramer 2026-04-15 09:04:27 -06:00
• bf4955dfcd gitignore vscode-ext/pkg Marceline Cramer 2026-04-15 09:04:05 -06:00
• 23a6db2481 Change aggregate binding syntax Marceline Cramer 2026-04-15 08:43:03 -06:00
• 36edac0355 Initial commit Marceline Cramer 2026-04-15 08:37:09 -06:00