nsg-ethz / synet-plus

Practical Network-Wide Configuration Synthesis with Autocompletion

https://netcomplete.ethz.ch/

nsg-ethz/synet-plus Issues

Failed to run the bgp_peer example.
Updated a month ago
In Grigori all random BGP inputs produce failures
Updated 3 years ago3
NetComplete synthesizes config for a too strict sketch (4)
Closed 6 years ago2
BGP_ver failures according to Grigori
Closed 6 years ago3
The generated configuration files don't satisfy the requirements for the simplified graph testcase.
Updated 6 years ago4
NetComplete synthesizes config for a too strict sketch (6)
Closed 6 years ago3
No warning provided when the requirements are not implementable with the current sketch
Updated 6 years ago1
iBGP full mesh leads to crash in compute_next_hop_map
Closed 6 years ago1
Crash in create_symbolic_announcements
Closed 6 years ago2
network missing completely (regression)
Closed 6 years ago3
Symbolic local pref values should be concrete after solve
Closed 6 years ago6
Symbolic OSPF weights should be concrete after solve
Closed 6 years ago4
Ip address in prefix list is wrong
Closed 6 years ago1
NetComplete synthesizes config for a too strict sketch (5)
Closed 6 years ago
NetComplete synthesizes config for a too strict sketch (3)
Closed 6 years ago
Conflict in config where the router id's are assigned in the right order
Closed 6 years ago2
Non-concrete variables even in minimal routemaps
Closed 6 years ago7
Dropping announcements should not satisfy requirements
Closed 6 years ago1
The default concrete config should not synthesize
Closed 6 years ago1
two_ibgp_nodes fails with EMPTY?Value for iface R1:lo100
Closed 6 years ago
Matching on permitted values is not allowed
Closed 6 years ago2
False negatives for check_order
Updated 6 years ago