Skip to content

Instantly share code, notes, and snippets.

Before opening
After opening
no scope
----------------------------------------
scope:
----------------------------------------
Before hiding
scope: x[0]
----------------------------------------
After hiding
Before opening
After opening
no scope
----------------------------------------
scope:
----------------------------------------
Before hiding
scope: x[0]
----------------------------------------
After hiding
#!/bin/bash
## Give the Job a descriptive name
#PBS -N lab1
## Output and error files
#PBS -o parallel_test.out
#PBS -e parallel_test.err
## Limit memory, runtime etc.
#!/bin/bash
## Give the Job a descriptive name
#PBS -N makeall
## Output and error files
#PBS -o makejob.out
#PBS -e makejob.err
## How many machines should we get?
@nickgian
nickgian / USCarrier_aspath.nv
Created May 25, 2021 22:29
USCarrier with AS path tracking
(* models bgp, ospf, static routes, AS Path as set *)
type prefix = (int, int6) (* IP prefix; tuple of (address, length) *)
type ospfType = {ospfAd: int8; weight: int16; areaType:int2; areaId: int;}
type bgpType = {bgpAd: int8; lp: int; aslen: int; med:int; comms:set[int]; bgpAS: set[tnode];}
type rib = {
connected:option[int8]; (* Just track administrative distance *)
static:option[int8]; (* Just track administrative distance *)
ospf:option[ospfType];
bgp:option[bgpType];