Search results

Target vs. Condition in policy language

Status: Open.

#99 In tnelson/Margrave;

· tnelson opened on May 24, 2012

TC: conflict between counting and Kodkod

After 3.1

Size Bounds

Status: Open.

#96 In tnelson/Margrave;

· tnelson opened on Apr 11, 2012

Deprecate m-let in favor of more idiomatic code.

FUTURE

Status: Open.

#93 In tnelson/Margrave;

· tnelson opened on Mar 19, 2012

Racket function to check M \models fmla?

Nice-to-have-todo

Status: Open.

#92 In tnelson/Margrave;

· tnelson opened on Mar 19, 2012

_applies, _matches suffixes

After 3.1

Status: Open.

#91 In tnelson/Margrave;

· tnelson opened on Feb 24, 2012

Term counting: Cap size using abstract

Size Bounds

Status: Open.

#87 In tnelson/Margrave;

· tnelson opened on Jan 13, 2012

Term counting: Can often lower-bound constant relations

Size Bounds

Status: Open.

#86 In tnelson/Margrave;

· tnelson opened on Jan 13, 2012

Minimal unsat. cores?

FUTURE

Status: Open.

#83 In tnelson/Margrave;

· tnelson opened on Jan 9, 2012

PolicySet support

After 3.1

Status: Open.

#79 In tnelson/Margrave;

· tnelson opened on Jan 6, 2012

SHOW REALIZED: output

After 3.1

FRONT-END

JAVA ENGINE

Status: Open.

#34 In tnelson/Margrave;

· tnelson opened on Aug 26, 2010