Code

Add safety checks#34

Code

Merged

tsandall merged 19 commits intoopen-policy-agent:masteropen-policy-agent/opa:masterfrom tsandall:safetytsandall/opa:safetyCopy head branch name to clipboardMay 25, 2016

+5,303-3,159

Commits

Commits on May 17, 2016

• Add .Walk interface to AST elements

  tsandall

  committed
  d863d28

• Add safety check on variables in head

  Show description for 9a51ab5
  tsandall

  committed
  9a51ab5

• Add built-in registry

  tsandall

  committed
  4dc1c56

• Check body for unsafe variables and reorder

  Show description for 3d678db
  tsandall

  committed
  3d678db

Commits on May 18, 2016

• Add recursion check

  Show description for c5d8f52
  tsandall

  committed
  c5d8f52

• Add built-in operator check

  tsandall

  committed
  17e9ff1

Commits on May 19, 2016

• First cut of static site.

  Show description for 3533e5d
  tsandall

  committed
  3533e5d

• Refactor REPL to use tablewriter

  Show description for 3b9d6f8
  tsandall

  committed
  3b9d6f8

• Add github.com/olekukonko/tablewriter

  tsandall

  committed
  bdeb939

• Remove github.com/apcera/termtables

  tsandall

  committed
  74eaf06

Commits on May 25, 2016

• Update build to cross compile

  Show description for ac3f177
  tsandall

  committed
  ac3f177

• Rename eval package to topdown

  tsandall

  committed
  8193194

• Split topdown equality into separate file

  tsandall

  committed
  afdfbe4

• Add inequality/comparison operators

  tsandall

  committed
  6f0cafd

• Add knob to control output format in REPL

  Show description for 0687fe3
  tsandall

  committed
  0687fe3

• Move REPL into separate package

  Show description for def23c8
  tsandall

  committed
  def23c8

• Fix safety check for aliased imports

  Show description for 93b139b
  tsandall

  committed
  93b139b

• Fix global variable support in topdown evaluation

  Show description for 20ccdca
  tsandall

  committed
  20ccdca

• Address PR comments

  Show description for 4802817
  tsandall

  committed
  4802817