Skip to content

1.0.0 Release Candidate Two

Choose a tag to compare

View all tags
@rdevaul rdevaul released this 05 Jan 06:02
· 253 commits to main since this release
v1.0.0rc2
89d77f6

This release candidate focuses on improvements to the DSL with the goal of creating a fully statically verifiable syntax and implementation.

RC2 changes since RC1:

  • DSL static verifiability: while loops removed, recursion depth limits
  • DSL resource limits for list comprehensions (size and nesting depth)
  • Recursion detection warnings in type checker
  • Updated roadmap and documentation

Full Changelog: v1.0.0rc1...v1.0.0rc2

Assets 2
Loading