Commits

Branch selector

 main

User selector

VSuryaprasad-HCL

Datepicker

All time

Commit History

Commits on Feb 25, 2025

• [Thinkit] Remove mask for l3_admit_test.Simplify P4RuntimeSession stream reading interfaces.Remove threading from hashing tests.use StrContains on bad payloads like we do with the good payloads.Fix…

  Show description for b3c410f
  

  VSuryaprasad-HCL

  and

  kishanps

  authoredFeb 25, 2025
  b3c410f

  Copy full SHA for b3c410f

Commits on Feb 4, 2025

• [P4_Symbolic] Serialize ingress and egress headers in the concrete context.Add granular time information to packet synthesis result. (#973)

  Show description for 3b5a69c
  

  VSuryaprasad-HCL

  and

  kishanps

  authoredFeb 4, 2025
  3b5a69c

  Copy full SHA for 3b5a69c

Commits on Jan 31, 2025

• [P4_Symbolic] Add helper methods for combining synthesis criteria. Make drop expectation sanity check optional. (#972)

  Show description for 18e1103
  

  3 peopleauthoredJan 31, 2025
  18e1103

  Copy full SHA for 18e1103

• [P4_Symbolic] Implement support for synthesis criteria on ingress port.Fix comment for OutputCriteria.drop_expected (#971)

  Show description for 8ab17c5
  

  VSuryaprasad-HCL

  and

  kishanps

  authoredJan 31, 2025
  8ab17c5

  Copy full SHA for 8ab17c5

• Include correct MAC and IPv4/6 address for peer interface.Create DVaaS traffic helper for NSF test infra.Add support for gnmi_config and p4_info to NsfTestParams.Rename Upgrade to ImageCopy to …

  Show description for a63f35f
  

  VSuryaprasad-HCL

  and

  kishanps

  authoredJan 31, 2025
  a63f35f

  Copy full SHA for a63f35f

Commits on Jan 29, 2025

• [P4_Symbolic] Handle large bit-widths properly.Add placeholder comments for loading Python rules Fix interpretation of mark_to_drop: set mcast_grp to 0. Tolerate duplicate consecutive requests.…

  Show description for 8ff382a
  

  VSuryaprasad-HCL

  and

  kishanps

  authoredJan 29, 2025
  8ff382a

  Copy full SHA for 8ff382a

• [Comb] Add support for header assignment. (#966)

  Show description for 1290f9b
  

  VSuryaprasad-HCL

  and

  kishanps

  authoredJan 29, 2025
  1290f9b

  Copy full SHA for 1290f9b

• [P4_Symbolic] Use table and action aliases as keys in the synthesized table entries to be compatible with PDPI. Move GetIrTable to symbolic/util.cc to increase code sharing. Implement `AddConst…

  Show description for 3e9f2dd
  

  VSuryaprasad-HCL

  and

  kishanps

  authoredJan 29, 2025
  3e9f2dd

  Copy full SHA for 3e9f2dd

Commits on Jan 27, 2025

• [P4_Symbolic] Restrict the symbolic variables of statically translated types to only the mapped values. (#957)

  Show description for 27ecafe
  

  VSuryaprasad-HCL

  and

  kishanps

  authoredJan 27, 2025
  27ecafe

  Copy full SHA for 27ecafe

• Update all helpers to support Mirror/Generic testbed variant. (#962)

  Show description for a463975
  

  VSuryaprasad-HCL

  and

  kishanps

  authoredJan 27, 2025
  a463975

  Copy full SHA for a463975

• [P4-Symbolic] Concretize symbolic entries based on solved models. (#956)

  Show description for 26e761f
  

  VSuryaprasad-HCL

  and

  kishanps

  authoredJan 27, 2025
  26e761f

  Copy full SHA for 26e761f

Commits on Jan 22, 2025

• [Thinkit] Add SSH Client support to NSF Upgrade test skeleton infrastructure.Implement NSF test utils which is used by NSF Upgrade test.Remove dummy Replay flow programmer.Add Mirror testbed varian…

  Show description for 381a7ca
  

  VSuryaprasad-HCL

  and

  kishanps

  authoredJan 22, 2025
  381a7ca

  Copy full SHA for 381a7ca

• [Thinkit] Create milestones for controlling test behavior in PINs NSF integration tests.Implement OTG traffic helper for the NSF Upgrade test skeleton. (#959)

  Show description for 168721c
  

  VSuryaprasad-HCL

  and

  kishanps

  authoredJan 22, 2025
  168721c

  Copy full SHA for 168721c

• Create test skeleton with mock helpers, validators, and programmers. (#958)

  Show description for 70b1320
  

  VSuryaprasad-HCL

  and

  kishanps

  authoredJan 22, 2025
  70b1320

  Copy full SHA for 70b1320

• [P4_Symbolic] Extend reverse P4Runtime translation for symbolic entries. Remove unneeded function. (#954)

  Show description for 484717e
  

  VSuryaprasad-HCL

  and

  kishanps

  authoredJan 22, 2025
  484717e

  Copy full SHA for 484717e

• [P4_Symbolic] Use absl numeric bit_width instead of custom implementation.Evaluate symbolic table entries with symbolic headers. (#950)

  Show description for f9424a4
  

  VSuryaprasad-HCL

  and

  kishanps

  authoredJan 22, 2025
  f9424a4

  Copy full SHA for f9424a4

• [P4_Symbolic] Extend z3_util to evaluate bitvectors to unsigned integers. (#946)

  Show description for ee09a82
  

  VSuryaprasad-HCL

  and

  kishanps

  authoredJan 22, 2025
  ee09a82

  Copy full SHA for ee09a82

• [P4-Symbolic] Create symbolic variables and add constraints for symbolic table entries. (#943)

  Show description for dca9af0
  

  VSuryaprasad-HCL

  and

  kishanps

  authoredJan 22, 2025
  dca9af0

  Copy full SHA for dca9af0

• [P4_Symbolic] Add function to create a fully symbolic entry. (#941)

  Show description for 5f7cdb4
  

  VSuryaprasad-HCL

  and

  kishanps

  authoredJan 22, 2025
  5f7cdb4

  Copy full SHA for 5f7cdb4

• [P4_Symbolic] Create a class for symbolic table entries. (#940)

  Show description for a3f6b42
  

  VSuryaprasad-HCL

  and

  kishanps

  authoredJan 22, 2025
  a3f6b42

  Copy full SHA for a3f6b42

Commits on Jan 20, 2025

• [P4_Symbolic] Overload GetFieldBitwidth to accept separate header and field names as parameters. (#939)

  Show description for f770f30
  

  VSuryaprasad-HCL

  and

  kishanps

  authoredJan 20, 2025
  f770f30

  Copy full SHA for f770f30

• [P4_Symbolic] Remove and modify outdated comments. Make the order of creating symbolic header fields deterministic.Initialize standard metadata fields to 0. (#937)

  Show description for f871a54
  

  VSuryaprasad-HCL

  and

  kishanps

  authoredJan 20, 2025
  f871a54

  Copy full SHA for f871a54

Commits on Jan 17, 2025

• [Thinkit] Implement the various component validators for PINs NSF tests.Update NsfTestParam types and names for better usability.Create utility functions for NSF integration tests.Test 35 (#936)

  Show description for 064a9f2
  

  VSuryaprasad-HCL

  and

  kishanps

  authoredJan 17, 2025
  064a9f2

  Copy full SHA for 064a9f2

• [Thinkit] Implement the various flow programmers for PINs NSF tests. (#935)

  Show description for 3122787
  

  VSuryaprasad-HCL

  and

  kishanps

  authoredJan 17, 2025
  3122787

  Copy full SHA for 3122787

Commits on Jan 14, 2025

• [P4_Symbolic] Initialize standard metadata fields to 0. (#934)

  Show description for 9e8e2e2
  

  VSuryaprasad-HCL

  and

  kishanps

  authoredJan 14, 2025
  9e8e2e2

  Copy full SHA for 9e8e2e2

• [pins_workflow] Improve GitHub continuous integration performance. (#947)

  Show description for 0b6cddd
  

  VSuryaprasad-HCL

  and

  kishanps

  authoredJan 14, 2025
  0b6cddd

  Copy full SHA for 0b6cddd

• [Thinkit] Create interfaces, structs, and enums to be used in PINs NSF tests.Implement the various traffic generator helpers for PINs NSF tests. (#933)

  Show description for 5ab9fcd
  

  VSuryaprasad-HCL

  and

  kishanps

  authoredJan 14, 2025
  5ab9fcd

  Copy full SHA for 5ab9fcd

Commits on Jan 13, 2025

• [Thinkit] Add more ALPM miss counter tests. (#932)

  Show description for 351d791
  

  VSuryaprasad-HCL

  and

  kishanps

  authoredJan 13, 2025
  351d791

  Copy full SHA for 351d791

Commits on Jan 7, 2025

• [P4-Symbolic] Assign egress_spec to egress_port only when the packet is not dropped in ingress. (#931)

  Show description for 3720a05
  

  VSuryaprasad-HCL

  and

  kishanps

  authoredJan 7, 2025
  3720a05

  Copy full SHA for 3720a05

• [P4_Symbolic] Eliminate the use of a global Z3 context. (#928)

  Show description for 7cb0b4d
  

  VSuryaprasad-HCL

  and

  kishanps

  authoredJan 7, 2025
  7cb0b4d

  Copy full SHA for 7cb0b4d

• [Thinkit] ALPM miss counter tests. (#926)

  Show description for 8615e2e
  

  3 peopleauthoredJan 7, 2025
  8615e2e

  Copy full SHA for 8615e2e

• [Thinkit] Host is expected to reboot during the test. Hence disabled check for validating link flaps during the test.Add host linkup tests to test tracker Make random_blackbox_events_test read P4 I…

  Show description for 59e6a95
  

  3 peopleauthoredJan 7, 2025
  59e6a95

  Copy full SHA for 59e6a95

• [Thinkit] Dump counters to artifact to help debug packet_forwarding_test.Reenable MTU test. Get counters in bulk with gnmi_helper API to reduce runtime.Modifying the existing subscribe request base…

  Show description for 5dd35a1
  

  3 peopleauthoredJan 7, 2025
  5dd35a1

  Copy full SHA for 5dd35a1

• [Thinkit] Add detailed error message.Set expectation on decodedVLAN fieldHsflowd restart is raising minor alarms which is affecting the other tests in longevity workflow. Set expectation for `Tes…

  Show description for 32d2b7a
  

  VSuryaprasad-HCL

  and

  kishanps

  authoredJan 7, 2025
  32d2b7a

  Copy full SHA for 32d2b7a

• [P4_Symbolic] Move symbolic/concrete context to context.{cc,h} separated from symbolic.{cc,h}, and make the context-related objects constructed along with the solver state and then passed along the…

  Show description for 34aec68
  

  VSuryaprasad-HCL

  and

  kishanps

  authoredJan 7, 2025
  34aec68

  Copy full SHA for 34aec68

Pagination

Previous

Next