Ticket #14 (closed feature: worksforme)

Opened 5 years ago

Last modified 4 years ago

Use the ProVerif syntax for tuples and splitting???

Reported by: hritcu Owned by: somebody
Priority: minor Milestone: 0.2.0
Component: zk-typechecker Keywords:
Cc:

Description (last modified by hritcu) (diff)

(a,b,c) instead of <a,b,c>

Not sure what difference it will make

Change History

comment:1 Changed 5 years ago by hritcu

  • Description modified (diff)
  • Summary changed from Use the ProVerif syntax (a,..,b) for tuples and splitting (if possible) to Use the ProVerif syntax for tuples and splitting (if possible)

comment:2 Changed 5 years ago by hritcu

  • Milestone changed from 0.1 (CCS) to 0.11

comment:3 Changed 4 years ago by hritcu

  • Priority changed from major to minor

comment:4 Changed 4 years ago by hritcu

  • Description modified (diff)

comment:5 Changed 4 years ago by hritcu

  • Summary changed from Use the ProVerif syntax for tuples and splitting (if possible) to Use the ProVerif syntax for tuples and splitting???

comment:6 Changed 4 years ago by hritcu

  • Status changed from new to closed
  • Resolution set to worksforme
  • Milestone changed from 0.2.1 to 0.2.0
Note: See TracTickets for help on using tickets.