search

NetworkVerification / nv

A Framework for Modeling and Analyzing Network Configurations
MIT License
31 stars 2 forks source link

Add casting between integer types #56

Open DKLoehr opened 4 years ago

DKLoehr commented 4 years ago

Currently we have several different types for integers, indexed by bitsize. It would be useful to be able to cast between them.