margrave

A policy analyzer

Build status: ok failing tests missing license metadata

Documentation Download
Authors
Documentation
Tags
    License
      Last updatedThursday, October 11th, 2018 8:15:00pm (UTC)
      Ring1
      ConflictsNone
      Dependencies
      Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaulthttps://github.com/jbclements/margrave.git#LISA10-pkg09780169700c463def0d6c66192f3b07048671d8
      Last checkedThursday, December 4th, 2025 4:53:21am (UTC)
      Last editedTuesday, October 9th, 2018 5:04:56am (UTC)
      Date addedN/A
      Modules
      • margrave/visualization/application/load-netgraph.rkt
      • margrave/racket/runtime-config.rkt
      • margrave/margrave-xml.rkt
      • margrave/extended-examples/IOS-simple/network.rkt
      • margrave/visualization/application/example.rkt
      • margrave/extended-examples/IOS-example2/forum2.rkt
      • margrave/visualization/application/visxml.rkt
      • margrave/racket.rkt
      • margrave/IOS-parser/ios-compile.rkt
      • margrave/lexer.rkt
      • margrave/extra-files/sup-ios-new.rkt
      • margrave/extended-examples/iptables-parser/iptables.rkt
      • margrave/extra-files/sup-iptables.rkt
      • margrave/extended-examples/IOS-example1/forum1.rkt
      • margrave/extra-files/sup-ios.rkt
      • margrave/racket/language-info.rkt
      • margrave/scribblings/api.scrbl
      • margrave/runtime-config.rkt
      • margrave/examples/scripts/network.rkt
      • margrave/visualization/application/modelgraph.rkt
      • margrave/margrave.rkt
      • margrave/extra-files/margrave-lite-main.rkt
      • margrave/tests/lang-margrave-tests.rkt
      • margrave/extra-files/margrave-full-main.rkt
      • margrave/tests.rkt
      • margrave/visualization/application/apply-model.rkt
      • margrave/racket/lang/reader.rkt
      • margrave/helpers.rkt
      • margrave/extended-examples/IOS-example1/testack.rkt
      • margrave/examples/scripts/ios-demo.rkt
      • margrave/IOS-parser/ios-parse.rkt
      • margrave/extra-files/large-ios.rkt
      • margrave/scribblings/getting-started.scrbl
      • margrave/main.rkt
      • margrave/visualization/application/netgraph.rkt
      • margrave/extended-examples/iptables-parser/margrave.rkt
      • margrave/extended-examples/iptables-parser/ip.rkt
      • margrave/IOS-parser/ios.rkt
      • margrave/visualization/application/visualize.rkt
      • margrave/margrave-policy-vocab.rkt
      • margrave/scribblings/margrave.scrbl
      • margrave/language-info.rkt
      • margrave/visualization/application/test.rkt
      • margrave/extra-files/lang_test.rkt
      • margrave/examples/scripts/examples.rkt
      • margrave/parser.rkt
      • margrave/scribblings/representing-policies.scrbl
      • margrave/scribblings/helper.rkt
      • margrave/visualization/application/controls.rkt
      • margrave/lang/reader.rkt
      • margrave/scribblings/commands.scrbl
      • margrave/visualization/application/example2.rkt
      • margrave/extended-examples/IOS-simple/demo.rkt
      • margrave/margrave-ios.rkt
      • margrave/extra-files/scratch.rkt
      • margrave/xml-test.rkt
      • margrave/compiler.rkt