March 2021: Migration to the new server completed. Some bug fixing with existential variables used in relations.
November 2020: SAFE Base is online.
June 2021: Added full support for disjunctive preconditions to SAFE Base.
August 2021: Added support in SAFE Base for preconditions with template variables appearing in relations.
August 2021: Added some support in SAFE Base for universal preconditions in local actions. The language of these universal conditions is still very limited. The concurrent semantics is still in development.
better be safe than sorry