Skip to content
3.0.1
default avatar
lukasngl@mail.upb.de
1f490121 · add gitlab-ci deployment · 
version 3.0.1

  - add superclass TimedPredicate for contraints that specify after.
  - enable condition for NegatedPredicates.
    It is already supported by cognicrypt and cheap to implement
  - fix: PredicateParameters should only be Object references