Search results

Composable EXT clause

Status: Open.

#8 In verified-network-toolchain/VerifiableP4;

· txyyss opened on May 11, 2023

Is NoDup needed?

Status: Open.

#7 In verified-network-toolchain/VerifiableP4;

· QinshiWang opened on May 10, 2023

Improving efficiency of normalize_EXT

Status: Open.

#6 In verified-network-toolchain/VerifiableP4;

· QinshiWang opened on Feb 6, 2023

Avoiding unnecessary func specs (inlining function call)

Status: Open.

#5 In verified-network-toolchain/VerifiableP4;

· QinshiWang opened on Feb 5, 2023

Automatic MOD clause

Status: Open.

#4 In verified-network-toolchain/VerifiableP4;

· QinshiWang opened on Feb 5, 2023

Optimize simpl_assertion

Status: Open.

#3 In verified-network-toolchain/VerifiableP4;

· QinshiWang opened on Feb 5, 2023

Opt-out table return value

enhancementNew feature or requestNew feature or request

Status: Open.

#2 In verified-network-toolchain/VerifiableP4;

· QinshiWang opened on Feb 5, 2023