tnelson/FlowLog issues and pull requests

#49 - Request for documentation

Issue - State: closed - Opened by ghost almost 10 years ago - 2 comments

#48 - gui for ONS demo

Issue - State: open - Opened by adferguson about 11 years ago

#47 - nice to have: ICMP translation by NAT

Issue - State: open - Opened by adferguson about 11 years ago
Labels: enhancement

#46 - nice to have: ICMP handling by router

Issue - State: open - Opened by adferguson about 11 years ago
Labels: enhancement

#45 - Use-case for helpers: existentials vs. universals

Issue - State: open - Opened by tnelson about 11 years ago - 3 comments

#44 - sugar for symbolic port and switch names

Issue - State: open - Opened by adferguson about 11 years ago
Labels: enhancement

#43 - example: circuit provisioning / WAN traffic engineering

Issue - State: open - Opened by adferguson about 11 years ago - 2 comments

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

Issue - State: open - Opened by adferguson about 11 years ago - 2 comments

#41 - create FlowLog event from FlowRemoved

Issue - State: open - Opened by adferguson about 11 years ago - 4 comments

#40 - give NAT the ability to have rules with an IdleTimeout

Issue - State: open - Opened by adferguson about 11 years ago

#39 - notes for BGP support

Issue - State: open - Opened by adferguson about 11 years ago
Labels: enhancement

#38 - JOIN example

Issue - State: closed - Opened by adferguson about 11 years ago - 6 comments

#37 - XSB bug

Issue - State: closed - Opened by adferguson about 11 years ago - 2 comments

#36 - bug with new subnets design

Issue - State: closed - Opened by adferguson about 11 years ago - 2 comments

#35 - Non-constant constructor for FIn (IP masks)

Issue - State: closed - Opened by tnelson about 11 years ago - 2 comments

#34 - commit ee4305b54e81ef24cf48f9645903aa578d5ee948 broke subtypes

Issue - State: closed - Opened by adferguson about 11 years ago - 2 comments

#33 - Min in Flowlog (for NAT)

Issue - State: closed - Opened by tnelson about 11 years ago - 4 comments

#32 - Alloy compiler: underconstraint for forward, emit

Issue - State: closed - Opened by tnelson about 11 years ago - 2 comments
Labels: bug

#31 - example: IP Source Guard

Issue - State: open - Opened by adferguson about 11 years ago

#30 - example: timed access to a network

Issue - State: open - Opened by adferguson about 11 years ago - 1 comment

#29 - Crashing with Unix.Unix_Error(Unix.ECONNRESET, "write", "")

Issue - State: closed - Opened by tnelson about 11 years ago - 2 comments

#28 - don't interact with XSB via a pipe

Issue - State: closed - Opened by adferguson about 11 years ago - 4 comments

#27 - crash when attached to wall port

Issue - State: closed - Opened by adferguson about 11 years ago - 1 comment

#26 - What is the type of forward?

Issue - State: closed - Opened by tnelson about 11 years ago - 5 comments

#25 - "unsafe" extraction of actions in compiler?

Issue - State: open - Opened by tnelson over 11 years ago

#24 - need a way to print relations

Issue - State: open - Opened by adferguson over 11 years ago - 2 comments

#23 - hang when sending malformed event

Issue - State: open - Opened by adferguson over 11 years ago - 3 comments

#22 - age old question: implicit constraints on IP packets?

Issue - State: closed - Opened by adferguson over 11 years ago - 1 comment

#21 - ARP interaction with DNA v4?

Issue - State: open - Opened by adferguson over 11 years ago - 1 comment

#20 - ARP improvement: ARP for controller IP

Issue - State: open - Opened by adferguson over 11 years ago

#19 - separate concerns in Alloy-compiled code

Issue - State: open - Opened by adferguson over 11 years ago

#18 - add sub-types to Alloy

Issue - State: closed - Opened by adferguson over 11 years ago - 1 comment

#17 - change-impact example to detect duplicate packets

Issue - State: open - Opened by adferguson over 11 years ago

#16 - XOR support ?

Issue - State: closed - Opened by adferguson over 11 years ago - 1 comment

#15 - Disallow controller from duplicating compiled behavior

Issue - State: open - Opened by tnelson over 11 years ago

#14 - "ANY" handling

Issue - State: open - Opened by tnelson over 11 years ago - 2 comments
Labels: Vital

#13 - Colon in remote table, outgoing reactive defns

Issue - State: closed - Opened by tnelson over 11 years ago - 1 comment
Labels: Vital

#12 - Use declared types for error-checking

Issue - State: open - Opened by tnelson over 11 years ago

#11 - Don't query XSB if don't need to.

Issue - State: closed - Opened by tnelson over 11 years ago - 2 comments

#10 - Vital: Cache invalidation without respond_to_notification

Issue - State: open - Opened by tnelson over 11 years ago
Labels: Vital

#9 - TODO (vital): Alloy compilation

Issue - State: closed - Opened by tnelson over 11 years ago - 4 comments
Labels: Vital

#8 - TODO: Subtyping of events

Issue - State: closed - Opened by tnelson over 11 years ago - 3 comments

#7 - TODO: modules/import

Issue - State: open - Opened by tnelson over 11 years ago

#6 - TODO: parser validity checks

Issue - State: open - Opened by tnelson over 11 years ago - 3 comments

#5 - XSB: Reminder: make certain NOTs come at end of clause

Issue - State: closed - Opened by tnelson over 11 years ago - 1 comment

#4 - Unconstrained packet fields

Issue - State: open - Opened by tnelson over 11 years ago - 6 comments

#3 - Performance: AllPorts

Issue - State: open - Opened by tnelson over 11 years ago - 12 comments
Labels: FUTURE

#2 - Closing xsb automatically

Issue - State: closed - Opened by mgscheer over 11 years ago - 1 comment
Labels: FUTURE

#1 - Packets on different switches

Issue - State: open - Opened by mgscheer over 11 years ago - 12 comments

GitHub / tnelson/FlowLog issues and pull requests