 codex-bot
|
f3e1670c58
|
docs: describe synchronous precise read results and compatibility
|
2026-10-24 02:17:02 +08:00 |
|
|
codex-bot
|
42c27d083d
|
docs: specify precise read observations and conservative compatibility
|
2026-10-24 01:39:49 +08:00 |
|
|
codex-bot
|
89b817447e
|
fix: use generated tuple representation for Await AST nodes
|
2026-10-23 20:15:49 +08:00 |
|
|
codex-bot
|
ae75c54707
|
docs: specify await ownership and add parked operand regression
|
2026-10-23 20:14:15 +08:00 |
|
|
codex-bot
|
b33d322690
|
docs: specify managed coroutine ownership and interleaving regressions
|
2026-10-23 20:01:58 +08:00 |
|
|
codex-bot
|
1c729b4128
|
feat: retain read-only execution frames across instruction slices
|
2026-10-23 00:59:23 +08:00 |
|
|
codex-bot
|
e511e393d9
|
Expose native implementation identity for verified host fast paths
|
2026-10-22 19:02:27 +08:00 |
|
|
codex-bot
|
ae821aea2e
|
Prove read-only effects through current source call graphs
|
2026-10-22 15:55:44 +08:00 |
|
|
codex-bot
|
cd25f819f2
|
Infer conservative read-only source effects for method contracts
|
2026-10-22 15:40:44 +08:00 |
|
|
codex-bot
|
0513b96dfb
|
Prevent instance attributes from shadowing typed capability methods
|
2026-10-22 15:28:19 +08:00 |
|
|
codex-bot
|
c96dce118b
|
Classify read-only wrappers with dynamic delegated effects
|
2026-10-22 15:07:50 +08:00 |
|
|
codex-bot
|
100bf637f9
|
Add typed trait requirements and enforce actual capability results
|
2026-10-22 14:36:57 +08:00 |
|
|
codex-bot
|
e26e227dd0
|
Validate method substitution before definition updates and execution
|
2026-10-22 14:13:46 +08:00 |
|
|
codex-bot
|
6b4cce1fee
|
Represent nullable and union native contracts with traced alternatives
|
2026-10-22 14:00:48 +08:00 |
|
|
codex-bot
|
680caf81e3
|
Enforce native type signatures and effects across delegated calls
|
2026-10-22 13:51:42 +08:00 |
|
|
codex-bot
|
f9243c77c7
|
Distinguish annotation validation from content read dependencies
|
2026-10-22 13:01:40 +08:00 |
|
|
codex-bot
|
44519abf7e
|
Validate unified source and native positional call contracts
|
2026-10-22 12:02:41 +08:00 |
|
|
codex-bot
|
20e29e3c5a
|
Validate declared class fields at construction and attribute writes
|
2026-10-22 11:44:09 +08:00 |
|
|
codex-bot
|
6346041f77
|
Check source function annotations and unify managed function identity
|
2026-10-21 22:38:22 +08:00 |
|
|
codex-bot
|
eb60212428
|
Add explicit managed traits and inherited method arity contracts
|
2026-10-21 21:34:46 +08:00 |
|
|
codex-bot
|
b7daabdaad
|
Track subcall read regions within read-only calls
|
2026-10-21 16:31:04 +08:00 |
|
|
codex-bot
|
4a2f81cb48
|
fix: preserve plain reference rebinding during read-only calls
|
2026-10-21 14:30:06 +08:00 |
|
|
codex-bot
|
ff49f266a2
|
feat: protect existing objects during read-only calls and track reads
|
2026-10-21 14:17:38 +08:00 |
|
|
codex-bot
|
44a02c9fd6
|
feat: expose validated class registration to VM hosts
|
2026-10-21 02:40:18 +08:00 |
|
|
codex-bot
|
2b5539cd06
|
feat: create scoped language functions from native calls
|
2026-10-21 02:19:30 +08:00 |
|
|
codex-bot
|
be9a032647
|
feat: inherit native allocators and forward managed field storage
|
2026-10-21 02:05:52 +08:00 |
|
|
codex-bot
|
a970fd7707
|
feat: add managed types, source classes and scoped native calls
|
2026-10-21 01:47:08 +08:00 |
|
|
codex-bot
|
7c842789c0
|
feat: support opt-in shared reference assignment for host objects
|
2026-10-20 20:55:25 +08:00 |
|
|
codex-bot
|
df1b77fc1a
|
feat: support bare name assignments in interactive and function scopes
|
2026-10-20 18:16:54 +08:00 |
|
|
codex-bot
|
6281e58647
|
build: keep Aster as an engine package without CI or deployment
|
2026-10-20 02:39:20 +08:00 |
|
|
codex-bot
|
55475a9d4b
|
refactor: separate language engine from CLI and server hosts
Verify Aster engine / verify (push) Failing after 0s
|
2026-10-20 01:08:51 +08:00 |
|
|
codex-bot
|
51cd64e688
|
ci: publish actual Endor example outputs as artifacts
Verify databases and deploy Aster VM / verify-and-deploy (push) Successful in 7m49s
|
2026-10-19 15:16:28 +08:00 |
|
|
codex-bot
|
aa3257bfe6
|
feat: connect source compilation and VM execution
Verify databases and deploy Aster VM / verify-and-deploy (push) Successful in 7m56s
|
2026-10-19 14:50:37 +08:00 |
|
|
codex-bot
|
f5268d2e09
|
feat: generate unified AST and editor contracts from ASDL
Verify databases and deploy Aster VM / verify-and-deploy (push) Successful in 7m55s
|
2026-10-19 14:31:28 +08:00 |
|
|
codex-bot
|
be4f1add58
|
refactor: define lexical rules in a separate PEG grammar
Verify databases and deploy Aster VM / verify-and-deploy (push) Successful in 6m57s
|
2026-10-19 13:56:05 +08:00 |
|
|
codex-bot
|
f77b8370ea
|
refactor: extract core objects into a standalone package
Verify databases and deploy Aster VM / verify-and-deploy (push) Successful in 7m34s
|
2026-10-19 13:33:24 +08:00 |
|
|
codex-bot
|
78fc859825
|
docs: clarify interpreted execution and platform resource versions
Verify databases and deploy Aster VM / verify-and-deploy (push) Successful in 6m46s
|
2026-10-19 13:23:07 +08:00 |
|
|
codex-bot
|
483d9d1717
|
Add Endor source reader before lexing with provenance and URI provider
Verify databases and deploy Aster VM / verify-and-deploy (push) Successful in 6m53s
|
2026-10-19 03:23:38 +08:00 |
|
|
codex-bot
|
4bf889e5b7
|
Move PEG grammar into a dedicated source file
Verify databases and deploy Aster VM / verify-and-deploy (push) Successful in 6m48s
|
2026-10-19 02:56:33 +08:00 |
|
|
codex-bot
|
0b3a480555
|
Add token-based PEG frontend and CLI source parsing
Verify databases and deploy Aster VM / verify-and-deploy (push) Successful in 7m30s
|
2026-10-19 02:48:23 +08:00 |
|
|
codex-bot
|
e24909a56e
|
Add bytecode function creation with defaults and shared closures
Verify databases and deploy Aster VM / verify-and-deploy (push) Successful in 6m28s
|
2026-10-19 02:29:39 +08:00 |
|
|
codex-bot
|
e52d2e1e4b
|
Separate database connections from file-backed host information and document handoff
Verify databases and deploy Aster VM / verify-and-deploy (push) Successful in 7m25s
|
2026-10-19 02:07:36 +08:00 |
|
|
codex-bot
|
18cd24a203
|
Align package and executable names with workspace directories
Verify databases and deploy Aster VM / verify-and-deploy (push) Successful in 15m7s
|
2026-10-18 21:15:10 +08:00 |
|
|
codex-bot
|
8bbe78e01e
|
Organize living documentation and directory guides
Verify databases and deploy Aster VM / verify-and-deploy (push) Successful in 13m40s
|
2026-10-18 20:58:42 +08:00 |
|
|
codex-bot
|
6fa95b64b0
|
Implement validated wordcode execution with shared code objects and frames
Verify databases and deploy Aster VM / verify-and-deploy (push) Successful in 14m27s
|
2026-10-18 20:41:56 +08:00 |
|
|
codex-bot
|
50e8fcb5e7
|
Shorten crate directory names and update workspace paths
Verify databases and deploy Aster VM / verify-and-deploy (push) Successful in 14m53s
|
2026-10-18 19:57:21 +08:00 |
|
|
codex-bot
|
891defb34c
|
Add Endor builtin objects and lossless unified number representations
Verify databases and deploy Aster VM / verify-and-deploy (push) Waiting to run
|
2026-10-18 19:54:17 +08:00 |
|
|
codex-bot
|
534c2a3b2c
|
Implement EndorObject runtime operations and managed lifetimes without language types
Verify databases and deploy Aster VM / verify-and-deploy (push) Successful in 14m4s
|
2026-10-18 18:14:22 +08:00 |
|
|
codex-bot
|
d394f07fc2
|
Unify heap objects with typed headers and bootstrap Type
Verify databases and deploy Aster VM / verify-and-deploy (push) Successful in 14m16s
|
2026-10-18 13:38:00 +08:00 |
|
|
codex-bot
|
9648b9e8dd
|
Initialize Aster VM and deploy PostgreSQL host on ces-control
Verify databases and deploy Aster VM / verify-and-deploy (push) Waiting to run
|
2026-10-17 23:42:39 +08:00 |
|