Issues

• Leverage C++ 17 string_view and remove custom String type

  quality
  ProtocolConvergence/protocon#32 · Filter by author grencez opened on Nov 12, 2023
  

• Dependency Dashboard

  ProtocolConvergence/protocon#25 · Filter by author forking-renovate opened on Sep 2, 2022

• Grammar railroad diagram

  ProtocolConvergence/protocon#21 · Filter by author mingodad opened on Apr 27, 2022
  5

• Test Every Executable

  quality
  ProtocolConvergence/protocon#20 · Filter by author grencez opened on Jul 26, 2021
  2

  

• Alternative decision diagram library

  quality
  ProtocolConvergence/protocon#18 · Filter by author grencez opened on Mar 28, 2021
  

• UDP protocol implementation cannot disable checksum

  ProtocolConvergence/protocon#6 · Filter by author grencez opened on Sep 4, 2020

• Why can the over-approximated set of legitimate states grow?

  question
  ProtocolConvergence/protocon#4 · Filter by author grencez opened on May 15, 2016
  2

• ReviseDeadlocksMRV() assertion failure

  feature
  ProtocolConvergence/protocon#1 · Filter by author grencez opened on Sep 27, 2015
  2