Project

Profile

Help

HostedRedmine.com has moved to the Planio platform. All logins and passwords remained the same. All users will be able to login and use Redmine just as before. *Read more...*

Feature #154514

open

add global declarations

Added by Cesare Tinelli almost 10 years ago.

Status:
New
Priority:
Normal
Start date:
2013-03-01
Due date:
% Done:

0%

Estimated time:

Description

Add the ability to define global declarations/definitions, which can survive a pop.
Something like

global-declare-sort
global-define-sort
global-declare-fun
global-define-fun

These definitions are added to push level 0 regardless of the actual push level they occur in.

No data to display

Also available in: Atom PDF