Skip to content

RCE IDE 0.1.1

Choose a tag to compare

@dcharlot65-openie dcharlot65-openie released this 13 Oct 05:44

RCE IDE 0.1.1

Source: https://github.com/openIE-dev/rce-ide (commit b273bac)

Downloads

Platform File Size SHA-256
photon source (MPL-2.0) photon-source-mpl-2.0.tar.gz 0.1 MB 484d4abbe57e594f02b6982ab23763c2f785eae99f2542ce03c7f506b06c25db
macOS Apple silicon (ad-hoc signed, not notarized) rce-ide-0.1.1-aarch64-apple-darwin.tar.gz 10.6 MB 4b6191e356d0b06750c18fb2daa83de29a4f8d82e89f6459bfd0773eea64d71d
Linux aarch64 (glibc 2.28+) rce-ide-0.1.1-aarch64-unknown-linux-gnu.tar.gz 11.3 MB f785748d0d2a603d8a8e90df8734ed38d0994c3ca55068503da560c8f017d896
Windows x86_64 (untested build) rce-ide-0.1.1-x86_64-pc-windows-gnu.zip 39.2 MB 90b0cadd47b4950fafdc7d4331b03282004a0b5596d063bdff3c5101c8feb063
Linux x86_64 (glibc 2.28+) rce-ide-0.1.1-x86_64-unknown-linux-gnu.tar.gz 12.4 MB 288c35c57a30ce08cb24bf2f778e06dc6927739b263d1370a44fd308fd7bea32

Each archive contains rce-ide, rce, rce-lsp, rce-mcp, the README, LICENSE-MIT, LICENSE-APACHE, COPYRIGHT, LICENSE-STATUS.md, THIRD-PARTY-LICENSES.txt, the webpki-roots CDLA notice and PHOTON-SOURCE-OFFER.md. Verify with sha256sum -c SHA256SUMS --ignore-missing.

macOS: built and smoke-tested on an Apple M5 Max, ad-hoc signed, not notarized. If Gatekeeper blocks it, run xattr -d com.apple.quarantine rce rce-ide rce-lsp rce-mcp in the unpacked folder.

What is new

  • The vendored checker is synced from https://github.com/openIE-dev/rce (commit 0524b9b). The draft 0.6 concurrency syntax sits behind the conc06 cargo feature, which is off by default; release binaries implement the RCE 0.5 language.
  • The IDE understands the draft 0.6b AST when built with that feature: replicated state, interrupt priority, step deadlines, protocols (session types), node partitions and supervisors, shown in the Form graph and the selection card.

Known limits

Same as 0.1.0: Windows and Linux aarch64 builds were cross-built and not run on that hardware; Linux x86_64 was smoke-tested without a physical GPU.

Licenses

rce-ide and the RCE checker: MIT OR Apache-2.0, Copyright (c) 2026 Open Interface Engineering, Inc (OpenIE). The license text bundled in these binaries names "OpenIE"; the next release carries the legal name. The vendored photon library is MPL-2.0; its source is the photon-source-mpl-2.0.tar.gz download. webpki-roots is CDLA-Permissive-2.0 (notice included). See THIRD-PARTY-LICENSES.txt.