1. Network Research @ UW-Madison Avatar Network Research @ UW-Madison
  2. ARC
  3. ARC

Issues

Filter by:

Advanced search

Issues (1–22 of 22)

Title T P Status Votes Assignee Created Updated Actions
#22: Invalid ACL created by CiscoIOSConfigWriter
bug minor new
#21: ARC doesn't build with current batfish master
bug major resolved
#20: Repair blocks edge to static route with add ACL.
bug minor new
#5: IMPLEMENTATION: Add support for Juniper configs
enhancement minor resolved
#19: Add command line option to set logger level
enhancement minor new
#17: Enabling routing must happen in base.
bug major resolved
#18: Repair adds edge from static route to two different routers
bug minor new
#16: Cannot use static route to reach destination on next hop router
bug minor new
#15: Add Support for UWMadison Configs
task major resolved
#14: Fix batfish upgrade bugs
bug major resolved
#7: DESIGN: Represent multiple routing processes on the same link in interface-based AR
enhancement major wontfix
#8: IMPLEMENTATION: Automated Testsuite
enhancement major resolved
#13: Implement primary path verifier
enhancement minor new
#6: DESIGN: Avoid an exponential number of ETGs
enhancement major resolved
#12: Order of router and interface stanzas
bug minor new
#9: Regenerated policies don't match policies used for PLDI
bug critical resolved
#11: IMPLEMENTATION: Using multi-source ETGs results in higher memory consumption for some snapshots
bug trivial new
#1: Convert repo for maven work environment
enhancement major wontfix
#10: DESIGN/IMPLEMENTATION: Handle OSPF Areas
enhancement minor new
#3: DESIGN: Reachability under vertex failures
enhancement minor new
#4: DESIGN: Modeling Global RIB
bug major resolved
#2: DESIGN: Cost increments from Intra-device edges
bug critical resolved