Skip to content

1.19.0
Compare
Choose a tag to compare
@gares gares released this 02 May 12:36
· 304 commits to master since this release
v1.19.0
This tag was signed with the committer’s verified signature.
gares Enrico Tassi
GPG key ID: 250533CCA29B764F
Verified
Learn about vigilant mode.
ed314e2

CHANGES:

Language:

  • Change CHR syntax now accepts any term in eigen variables position E in
    sequent E : _ ?- _. Meaningful terms are lists or unification variables
  • Change CHR eigen variables are a list of names (used to be an integer)
  • Fix CHR relocation/scope-checking for new goals
Assets 3
Loading