Skip to content

Alpha v5 release

Compare
Choose a tag to compare
@sadraskol sadraskol released this 10 Mar 14:40
· 11 commits to main since this release

New features

  • Wildcard selector: select * from users or select count(*) from users now supported
  • Introduce strings: let message = 'hello world' and insert into users(id, name) values (1, 'thomas')
  • Simple delete statement: delete from users where... now supported
  • Comparison operators: =, <>, >, >=, <, <= in sql and entremets expressions
  • Order by: order by ... is now supported for select statements
  • Between operator: Introduced the sql operator col between 1 and 2

Syntax breaking changes

Temporal properties do not need the = in their declaration.

property = eventually(x > 1)

becomes

property eventually(x > 1)