tnelson/Margrave issues and pull requests

#100 - Show Realized could be much faster. Current design too complicated.

Issue - State: closed - Opened by tnelson over 12 years ago - 4 comments
Labels: HIGH-PRIORITY

#99 - Target vs. Condition in policy language

Issue - State: open - Opened by tnelson over 12 years ago

#98 - Javadocs

Issue - State: closed - Opened by tnelson over 12 years ago

#97 - #lang margrave: well-sortedness check, COMPARE cmd

Issue - State: closed - Opened by tnelson over 12 years ago - 1 comment
Labels: FOR-3.1, FRONT-END

#96 - TC: conflict between counting and Kodkod

Issue - State: open - Opened by tnelson over 12 years ago - 2 comments
Labels: Size Bounds, After 3.1

#95 - Check validity of m-policy (etc.) via guards

Issue - State: closed - Opened by tnelson over 12 years ago - 1 comment
Labels: FOR-3.1

#94 - policy target reception in java engine cannot handle 'true

Issue - State: closed - Opened by tnelson over 12 years ago - 2 comments
Labels: FOR-3.1, HIGH-PRIORITY

#93 - Deprecate m-let in favor of more idiomatic code.

Issue - State: open - Opened by tnelson over 12 years ago - 1 comment
Labels: FUTURE

#92 - Racket function to check M \models fmla?

Issue - State: open - Opened by tnelson over 12 years ago
Labels: Nice-to-have-todo

#91 - _applies, _matches suffixes

Issue - State: open - Opened by tnelson over 12 years ago
Labels: After 3.1

#90 - Query names, etc.

Issue - State: closed - Opened by tnelson over 12 years ago - 1 comment

#89 - Filter m-scenario; m-show should take a scenario.

Issue - State: closed - Opened by tnelson over 12 years ago - 1 comment

#88 - Bug: term type not being carried over if term is created during substitution

Issue - State: closed - Opened by tnelson over 12 years ago - 1 comment
Labels: FOR-3.1, HIGH-PRIORITY

#87 - Term counting: Cap size using abstract

Issue - State: open - Opened by tnelson over 12 years ago
Labels: Size Bounds

#86 - Term counting: Can often lower-bound constant relations

Issue - State: open - Opened by tnelson over 12 years ago
Labels: Size Bounds

#85 - m-show should specify constants, not just sorts

Issue - State: closed - Opened by tnelson over 12 years ago - 2 comments
Labels: FOR-3.1

#84 - _applies and _matches IDBs in query

Issue - State: closed - Opened by tnelson over 12 years ago - 1 comment
Labels: FOR-3.1, HIGH-PRIORITY

#83 - Minimal unsat. cores?

Issue - State: open - Opened by tnelson over 12 years ago
Labels: FUTURE

#82 - Error msg when SAP sugar is used incorrectly:

Issue - State: closed - Opened by tnelson over 12 years ago - 1 comment
Labels: FOR-3.1

#81 - Error msg when constant used as variable:

Issue - State: closed - Opened by tnelson over 12 years ago - 1 comment
Labels: FOR-3.1

#80 - Restore IOS support

Issue - State: closed - Opened by tnelson over 12 years ago - 4 comments
Labels: FOR-3.1

#79 - PolicySet support

Issue - State: open - Opened by tnelson over 12 years ago - 2 comments
Labels: After 3.1

#78 - Kodkod: upper/lower bounds

Issue - State: closed - Opened by tnelson almost 13 years ago - 1 comment
Labels: FOR-3.1

#77 - Reflection

Issue - State: closed - Opened by tnelson almost 13 years ago - 1 comment
Labels: FOR-3.1

#76 - XACML 1, 2; SQS

Issue - State: closed - Opened by tnelson over 13 years ago - 5 comments
Labels: FOR-3.1

#75 - CEILING behavior

Issue - State: closed - Opened by tnelson almost 14 years ago - 1 comment

#74 - Error messages: What if a predicate is named the same as a keyword?

Issue - State: closed - Opened by tnelson almost 14 years ago - 2 comments
Labels: FOR-3.1

#73 - Ceiling for Continue

Issue - State: closed - Opened by tnelson almost 14 years ago - 1 comment

#72 - Error messages: Policy that refers to invalid sort (etc. etc.) from vocab should throw an error

Issue - State: closed - Opened by tnelson almost 14 years ago - 1 comment
Labels: FOR-3.1

#71 - total-relation constraint

Issue - State: closed - Opened by tnelson almost 14 years ago - 1 comment

#70 - Bad result: AuthorOf

Issue - State: closed - Opened by tnelson almost 14 years ago - 2 comments

#69 - Crash/bad result: re-use of variables through LAST

Issue - State: closed - Opened by tnelson almost 14 years ago - 4 comments

#68 - comments: /* */

Issue - State: closed - Opened by tnelson almost 14 years ago - 1 comment
Labels: FRONT-END, Minor

#67 - errors: margrave.rkt shows up as source for caught java errors

Issue - State: closed - Opened by tnelson almost 14 years ago - 1 comment

#66 - errors: >1 of each explore clause

Issue - State: closed - Opened by tnelson almost 14 years ago - 2 comments
Labels: Minor

#65 - One query, many different "request vectors"

Issue - State: closed - Opened by tnelson almost 14 years ago - 2 comments

#64 - load policy error when given filename w/o path

Issue - State: closed - Opened by tnelson almost 14 years ago - 1 comment

#63 - [policies] What should happen when loading a policy twice?

Issue - State: closed - Opened by tnelson almost 14 years ago - 2 comments

#62 - New syntax/semantics for INCLUDE, SHOW REALIZED

Issue - State: closed - Opened by tnelson almost 14 years ago - 2 comments
Labels: FOR-3.1

#61 - [output] stop printing result ID in statistics

Issue - State: closed - Opened by tnelson almost 14 years ago - 1 comment

#60 - UNDER needs to support >1 identifier

Issue - State: closed - Opened by tnelson almost 14 years ago - 1 comment

#59 - [DEBUG help] Visitor to print fmlas with indentation

Issue - State: closed - Opened by tnelson almost 14 years ago - 1 comment

#58 - [important] combining vocabs with OthVariables

Issue - State: closed - Opened by tnelson almost 14 years ago - 1 comment

#57 - logfile

Issue - State: closed - Opened by tnelson almost 14 years ago - 1 comment

#56 - IOS: multi-config-file in LOAD IOS

Issue - State: closed - Opened by tnelson about 14 years ago - 1 comment

#55 - Need highlighting for bad filenames in load policy/ios/xacml/sqs

Issue - State: closed - Opened by tnelson about 14 years ago - 3 comments

#54 - Giving a bad IDB name to include

Issue - State: closed - Opened by tnelson about 14 years ago - 1 comment
Labels: JAVA ENGINE

#53 - "true" rule IDBs not being represented in INCLUDE

Issue - State: closed - Opened by tnelson about 14 years ago - 1 comment

#52 - IOS parser: stop failing silently

Issue - State: closed - Opened by tnelson about 14 years ago - 2 comments

#51 - start-margrave-engine: how do we know it's started?

Issue - State: closed - Opened by tnelson about 14 years ago - 1 comment
Labels: J-R CONNECT

#50 - Margrave REPL: exit-handler needed

Issue - State: closed - Opened by tnelson about 14 years ago - 2 comments
Labels: J-R CONNECT

#49 - MARGRAVE_HOME env var

Issue - State: closed - Opened by tnelson about 14 years ago - 1 comment

#48 - Tupling: top-level-sort exhaustiveness when no sort inferred

Issue - State: closed - Opened by tnelson about 14 years ago - 2 comments
Labels: JAVA ENGINE

#47 - [model output] when not tupling, $x = $y...

Issue - State: closed - Opened by tnelson about 14 years ago - 1 comment

#46 - Abstract children of abstract sorts under TUPLING

Issue - State: closed - Opened by tnelson about 14 years ago - 1 comment

#45 - tupling: some, one

Issue - State: closed - Opened by tnelson about 14 years ago - 3 comments
Labels: JAVA ENGINE, FOR-3.1

#44 - [Junos, iptables] Partial order overrides combinator

Issue - State: closed - Opened by tnelson about 14 years ago - 2 comments
Labels: FOR-3.1

#43 - COMPARE keyword

Issue - State: closed - Opened by tnelson about 14 years ago - 4 comments
Labels: FOR-3.1, FRONT-END

#42 - Model pretty-printer: predicate display

Issue - State: closed - Opened by tnelson about 14 years ago - 4 comments

#41 - TOTAL and PARTIAL function constraints cause error

Issue - State: closed - Opened by tnelson about 14 years ago - 1 comment

#40 - Better pretty printing of errors and exceptions

Issue - State: closed - Opened by tnelson about 14 years ago - 1 comment
Labels: FOR-3.1, FRONT-END

#39 - Contracts

Issue - State: closed - Opened by tnelson about 14 years ago - 2 comments

#38 - Connect XACML

Issue - State: closed - Opened by tnelson about 14 years ago - 3 comments

#37 - Integrate w/ IOS parser

Issue - State: closed - Opened by tnelson about 14 years ago - 1 comment

#36 - vector support

Issue - State: closed - Opened by tnelson about 14 years ago - 6 comments
Labels: THESIS POST 3.1

#35 - POPULATED --> REALIZED

Issue - State: closed - Opened by tnelson about 14 years ago - 1 comment

#34 - SHOW REALIZED: output

Issue - State: open - Opened by tnelson about 14 years ago - 1 comment
Labels: JAVA ENGINE, FRONT-END, After 3.1

#33 - IOS: int-dropped

Issue - State: closed - Opened by tnelson about 14 years ago - 1 comment

#32 - If pol in INCLUDE, don't make user declare in UNDER

Issue - State: closed - Opened by tnelson about 14 years ago - 1 comment
Labels: JAVA ENGINE

#31 - Sort Inference: IDBs, predicate EDBs in condition

Issue - State: closed - Opened by tnelson about 14 years ago - 3 comments
Labels: JAVA ENGINE

#30 - unknown EDB -- but query still created?

Issue - State: closed - Opened by tnelson about 14 years ago - 1 comment

#29 - QUIT command does not gracefully close handles

Issue - State: closed - Opened by tnelson about 14 years ago

#28 - EXPLORE true

Issue - State: closed - Opened by tnelson about 14 years ago - 1 comment

#27 - IOS parser: off-by-one line numbers

Issue - State: closed - Opened by tnelson about 14 years ago - 1 comment

#26 - model printing -- unsat

Issue - State: closed - Opened by tnelson about 14 years ago - 1 comment

#25 - If rule fails to load, fail the policy with an error

Issue - State: closed - Opened by tnelson about 14 years ago - 2 comments

#24 - MSemanticException display

Issue - State: closed - Opened by tnelson about 14 years ago - 2 comments

#23 - INFO <IDB name> is not pretty-printed properly

Issue - State: closed - Opened by tnelson about 14 years ago - 1 comment

#22 - [high] "constant" support in Margrave

Issue - State: closed - Opened by tnelson about 14 years ago - 2 comments

#21 - [high] dotted ip address sort names from IOS parser

Issue - State: closed - Opened by tnelson about 14 years ago - 1 comment

#20 - TUPLING + SHOW POPULATED with edbs unmentioned in EXPLORE

Issue - State: closed - Opened by tnelson about 14 years ago - 1 comment

#19 - [high] LGPL

Issue - State: closed - Opened by tnelson about 14 years ago - 2 comments

#18 - [med] model printing: unused variables

Issue - State: closed - Opened by tnelson about 14 years ago - 4 comments

#17 - [High] Test-case conversion

Issue - State: closed - Opened by tnelson about 14 years ago - 4 comments
Labels: FOR-3.1

#16 - [High] SHOW vs. GET

Issue - State: closed - Opened by tnelson about 14 years ago

#15 - [High] build quotient properly in java: processTupledSolutionForThis

Issue - State: closed - Opened by tnelson about 14 years ago - 1 comment

#14 - [Low] Syntactic sugar: "all subsorts of S"?

Issue - State: closed - Opened by tnelson about 14 years ago - 1 comment
Labels: Nice-to-have-todo

#13 - Documentation!

Issue - State: closed - Opened by tnelson about 14 years ago - 3 comments

#12 - Support for (x = y) in parser/compiler/java

Issue - State: closed - Opened by tnelson about 14 years ago - 1 comment

#11 - JUNOS parser

Issue - State: closed - Opened by tnelson about 14 years ago - 1 comment
Labels: FUTURE

#10 - Restrain log growth

Issue - State: closed - Opened by tnelson about 14 years ago - 1 comment

#9 - Freeze on DEBUG

Issue - State: closed - Opened by tnelson about 14 years ago - 2 comments
Labels: J-R CONNECT

#8 - Change IDBOUTPUT keyword to INCLUDE

Issue - State: closed - Opened by tnelson about 14 years ago - 1 comment

#7 - Need to implement SHOW ALL

Issue - State: closed - Opened by vjsingh about 14 years ago - 2 comments

#6 - IOS parser: ip-0-0-0-0/0-0-0-0

Issue - State: closed - Opened by tnelson about 14 years ago - 1 comment

#5 - IS POSSIBLE? is missing from parser

Issue - State: closed - Opened by tnelson about 14 years ago - 1 comment

#4 - stop engine on fail exception

Issue - State: closed - Opened by tnelson about 14 years ago - 1 comment

#3 - Model pretty-printer: least-specific sorts?

Issue - State: closed - Opened by tnelson about 14 years ago - 1 comment

#2 - XML ordering: IMPLIES?

Issue - State: closed - Opened by tnelson about 14 years ago - 2 comments

#1 - SAT4J version 2.2.0

Issue - State: closed - Opened by tnelson about 14 years ago - 2 comments
Labels: JAVA ENGINE

GitHub / tnelson/Margrave issues and pull requests