margrave

A policy analyzer

Build status: ok failing tests

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