search

GaloisInc / pate

Patches Assured up to Trace Equivalence
Other
15 stars 2 forks source link

Dm/trace trees #381

Closed danmatichuk closed 4 months ago

danmatichuk commented 4 months ago

add SymSequenceTree datatype for representing all possible traces through a CFAR

jim-carciofini commented 4 months ago

@danmatichuk I think this is good to pull into master assuming CI passes. I have the GUI processing the instruction trees and new dialogs to display the instruction trees.

jim-carciofini commented 4 months ago

@danmatichuk Ping...