Issues

• gui for ONS demo

  tnelson/FlowLog#48 · Filter by author adferguson opened on Feb 11, 2014

• nice to have: ICMP translation by NAT

  enhancement
  tnelson/FlowLog#47 · Filter by author adferguson opened on Jan 22, 2014

• nice to have: ICMP handling by router

  enhancement
  tnelson/FlowLog#46 · Filter by author adferguson opened on Jan 22, 2014

• Use-case for helpers: existentials vs. universals

  tnelson/FlowLog#45 · Filter by author tnelson opened on Jan 14, 2014
  3

• sugar for symbolic port and switch names

  enhancement
  tnelson/FlowLog#44 · Filter by author adferguson opened on Jan 2, 2014

• example: circuit provisioning / WAN traffic engineering

  tnelson/FlowLog#43 · Filter by author adferguson opened on Jan 2, 2014
  2

• Layer 3 routing program & IN keyword should support longest-prefix match

  tnelson/FlowLog#42 · Filter by author adferguson opened on Jan 1, 2014
  2

• create FlowLog event from FlowRemoved

  tnelson/FlowLog#41 · Filter by author adferguson opened on Dec 31, 2013
  4

  

• give NAT the ability to have rules with an IdleTimeout

  tnelson/FlowLog#40 · Filter by author adferguson opened on Dec 31, 2013
  

• notes for BGP support

  enhancement
  tnelson/FlowLog#39 · Filter by author adferguson opened on Dec 23, 2013

• example: IP Source Guard

  tnelson/FlowLog#31 · Filter by author adferguson opened on Dec 7, 2013

• example: timed access to a network

  tnelson/FlowLog#30 · Filter by author adferguson opened on Nov 23, 2013
  1

• "unsafe" extraction of actions in compiler?

  tnelson/FlowLog#25 · Filter by author tnelson opened on Nov 12, 2013

• need a way to print relations

  tnelson/FlowLog#24 · Filter by author adferguson opened on Nov 9, 2013
  2

• hang when sending malformed event

  tnelson/FlowLog#23 · Filter by author adferguson opened on Nov 7, 2013
  3

  

• ARP interaction with DNA v4?

  tnelson/FlowLog#21 · Filter by author adferguson opened on Nov 6, 2013
  1

• ARP improvement: ARP for controller IP

  tnelson/FlowLog#20 · Filter by author adferguson opened on Nov 6, 2013

• separate concerns in Alloy-compiled code

  tnelson/FlowLog#19 · Filter by author adferguson opened on Nov 6, 2013

• change-impact example to detect duplicate packets

  tnelson/FlowLog#17 · Filter by author adferguson opened on Nov 6, 2013

• Disallow controller from duplicating compiled behavior

  tnelson/FlowLog#15 · Filter by author tnelson opened on Sep 27, 2013

• "ANY" handling

  Vital
  tnelson/FlowLog#14 · Filter by author tnelson opened on Sep 21, 2013
  2

• Use declared types for error-checking

  tnelson/FlowLog#12 · Filter by author tnelson opened on Sep 18, 2013

• Vital: Cache invalidation without respond_to_notification

  Vital
  tnelson/FlowLog#10 · Filter by author tnelson opened on Sep 11, 2013

• TODO: modules/import

  tnelson/FlowLog#7 · Filter by author tnelson opened on Sep 11, 2013

• TODO: parser validity checks

  tnelson/FlowLog#6 · Filter by author tnelson opened on Sep 5, 2013
  3