margrave

A policy analyzer

Build status: failed

Authors
Documentation
Tags
Last updatedFriday, November 3rd, 2017 4:05:47pm (UTC)
Ring2
ConflictsNone
DependenciesNone
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/jbclements/margrave.git#LISA10-pkgb6d3039c5d741f18d345b4b047a48e0bccdb9e74
Last checkedSaturday, June 23rd, 2018 2:44:37pm (UTC)
Last editedFriday, November 3rd, 2017 4:13:47pm (UTC)
Modules
  • margrave/visualization/application/modelgraph.rkt
  • margrave/visualization/application/example.rkt
  • margrave/extra-files/margrave-lite-main.rkt
  • margrave/extra-files/margrave-full-main.rkt
  • margrave/scribblings/helper.rkt
  • margrave/extra-files/sup-ios.rkt
  • margrave/examples/scripts/examples.rkt
  • margrave/racket/language-info.rkt
  • margrave/scribblings/margrave.scrbl
  • margrave/racket.rkt
  • margrave/visualization/application/test.rkt
  • margrave/IOS-parser/ios.rkt
  • margrave/scribblings/representing-policies.scrbl
  • margrave/extended-examples/iptables-parser/margrave.rkt
  • margrave/visualization/application/visualize.rkt
  • margrave/visualization/application/example2.rkt
  • margrave/IOS-parser/ios-compile.rkt
  • margrave/extended-examples/IOS-simple/network.rkt
  • margrave/helpers.rkt
  • margrave/extended-examples/IOS-example1/forum1.rkt
  • margrave/visualization/application/apply-model.rkt
  • margrave/extra-files/sup-ios-new.rkt
  • margrave/visualization/application/controls.rkt
  • margrave/lang/reader.rkt
  • margrave/racket/runtime-config.rkt
  • margrave/scribblings/api.scrbl
  • margrave/margrave.rkt
  • margrave/extra-files/sup-iptables.rkt
  • margrave/margrave-ios.rkt
  • margrave/visualization/application/load-netgraph.rkt
  • margrave/parser.rkt
  • margrave/extended-examples/iptables-parser/ip.rkt
  • margrave/lexer.rkt
  • margrave/language-info.rkt
  • margrave/examples/scripts/ios-demo.rkt
  • margrave/extended-examples/IOS-simple/demo.rkt
  • margrave/visualization/application/netgraph.rkt
  • margrave/IOS-parser/ios-parse.rkt
  • margrave/scribblings/getting-started.scrbl
  • margrave/margrave-policy-vocab.rkt
  • margrave/visualization/application/topotest.rkt
  • margrave/extra-files/scratch.rkt
  • margrave/extended-examples/IOS-example1/testack.rkt
  • margrave/examples/scripts/network.rkt
  • margrave/runtime-config.rkt
  • margrave/racket/lang/reader.rkt
  • margrave/extra-files/lang_test.rkt
  • margrave/main.rkt
  • margrave/tests/lang-margrave-tests.rkt
  • margrave/xml-test.rkt
  • margrave/extended-examples/iptables-parser/iptables.rkt
  • margrave/extra-files/large-ios.rkt
  • margrave/margrave-xml.rkt
  • margrave/scribblings/commands.scrbl
  • margrave/visualization/application/visxml.rkt
  • margrave/compiler.rkt
  • margrave/extended-examples/IOS-example2/forum2.rkt
  • margrave/tests.rkt