Augists ZDCZ

icon indicating a website link https://augists.top icon indicating an email [email protected]

icon company Xi'an Jiaotong University icon location Xi'an, China icon location A student in @XJTU-NetVerify Lab, an own of @NAOSI-DLUT and @DUT-Unix-Like-Group

Results 3 issues of Augists ZDCZ

garyburd/redigo -> gomodule/redigo

1 comment

add networkQuality

1 comment

if needed❤️

needs improvements

NDD implementation in Batfish

1 comment

This is a basic implementation of NDD in javabdd. Here we provide: * [jdd](https://github.com/Augists/jdd) * [NDDFactory](https://github.com/XJTU-NetVerify/NDD) * partially compatiable(with NDD) BDDPacket We mainly focus on: * factory initialization * creating...