Skip to content

retire deprecated engines; separately compiled library/runtime - #106

Merged
Kraks merged 11 commits into
mainfrom
rebase
Aug 15, 2026
Merged

retire deprecated engines; separately compiled library/runtime#106
Kraks merged 11 commits into
mainfrom
rebase

Conversation

@Kraks

@Kraks Kraks commented Aug 15, 2026 •
edited
Loading

Copy link
Copy Markdown
Member
  • retire impreative/direct-style, pure/cps, pure/direct-style backend
  • now we have the runtime built separately; improve compilation time by 20x+
  • generated file system modeling is adapted for imp/cps backend

@Kraks Kraks changed the title deprecate unmaintained engines deprecate unmaintained engines; separately compiled library/runtime Aug 15, 2026
@Kraks Kraks changed the title deprecate unmaintained engines; separately compiled library/runtime retire deprecated engines; separately compiled library/runtime Aug 15, 2026
@Kraks
Kraks merged commit 29c3fb6 into main Aug 15, 2026
1 check passed
@Kraks
Kraks deleted the rebase branch August 15, 2026 20:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@Kraks