issues
search
tnelson
/
FlowLog
17
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Request for documentation
#49
ghost
closed
9 years ago
2
gui for ONS demo
#48
adferguson
opened
10 years ago
0
nice to have: ICMP translation by NAT
#47
adferguson
opened
10 years ago
0
nice to have: ICMP handling by router
#46
adferguson
opened
10 years ago
0
Use-case for helpers: existentials vs. universals
#45
tnelson
opened
10 years ago
3
sugar for symbolic port and switch names
#44
adferguson
opened
10 years ago
0
example: circuit provisioning / WAN traffic engineering
#43
adferguson
opened
10 years ago
2
Layer 3 routing program & IN keyword should support longest-prefix match
#42
adferguson
opened
10 years ago
2
create FlowLog event from FlowRemoved
#41
adferguson
opened
10 years ago
4
give NAT the ability to have rules with an IdleTimeout
#40
adferguson
opened
10 years ago
0
notes for BGP support
#39
adferguson
opened
10 years ago
0
JOIN example
#38
adferguson
closed
10 years ago
6
XSB bug
#37
adferguson
closed
10 years ago
2
bug with new subnets design
#36
adferguson
closed
10 years ago
2
Non-constant constructor for FIn (IP masks)
#35
tnelson
closed
10 years ago
2
commit ee4305b54e81ef24cf48f9645903aa578d5ee948 broke subtypes
#34
adferguson
closed
10 years ago
2
Min in Flowlog (for NAT)
#33
tnelson
closed
10 years ago
4
Alloy compiler: underconstraint for forward, emit
#32
tnelson
closed
10 years ago
2
example: IP Source Guard
#31
adferguson
opened
10 years ago
0
example: timed access to a network
#30
adferguson
opened
10 years ago
1
Crashing with Unix.Unix_Error(Unix.ECONNRESET, "write", "")
#29
tnelson
closed
10 years ago
2
don't interact with XSB via a pipe
#28
adferguson
closed
10 years ago
4
crash when attached to wall port
#27
adferguson
closed
10 years ago
1
What is the type of forward?
#26
tnelson
closed
10 years ago
5
"unsafe" extraction of actions in compiler?
#25
tnelson
opened
10 years ago
0
need a way to print relations
#24
adferguson
opened
11 years ago
2
hang when sending malformed event
#23
adferguson
opened
11 years ago
3
age old question: implicit constraints on IP packets?
#22
adferguson
closed
10 years ago
1
ARP interaction with DNA v4?
#21
adferguson
opened
11 years ago
1
ARP improvement: ARP for controller IP
#20
adferguson
opened
11 years ago
0
separate concerns in Alloy-compiled code
#19
adferguson
opened
11 years ago
0
add sub-types to Alloy
#18
adferguson
closed
10 years ago
1
change-impact example to detect duplicate packets
#17
adferguson
opened
11 years ago
0
XOR support ?
#16
adferguson
closed
10 years ago
1
Disallow controller from duplicating compiled behavior
#15
tnelson
opened
11 years ago
0
"ANY" handling
#14
tnelson
opened
11 years ago
2
Colon in remote table, outgoing reactive defns
#13
tnelson
closed
11 years ago
1
Use declared types for error-checking
#12
tnelson
opened
11 years ago
0
Don't query XSB if don't need to.
#11
tnelson
closed
10 years ago
2
Vital: Cache invalidation without respond_to_notification
#10
tnelson
opened
11 years ago
0
TODO (vital): Alloy compilation
#9
tnelson
closed
10 years ago
4
TODO: Subtyping of events
#8
tnelson
closed
10 years ago
3
TODO: modules/import
#7
tnelson
opened
11 years ago
0
TODO: parser validity checks
#6
tnelson
opened
11 years ago
3
XSB: Reminder: make certain NOTs come at end of clause
#5
tnelson
closed
11 years ago
1
Unconstrained packet fields
#4
tnelson
opened
11 years ago
6
Performance: AllPorts
#3
tnelson
opened
11 years ago
12
Closing xsb automatically
#2
mgscheer
closed
11 years ago
1
Packets on different switches
#1
mgscheer
opened
11 years ago
12