{"shas":[["e6a49fb55cbf6cf202e0b04148f95db080cc4701","ce19eefaf0bd245a6d4ed1520f54f0ac29560cf6@swan.ac.uk","Adding discussions on concrete functions which are needed for the AES and DES constraint translations.","Matthew Gwynne"],["71060b8e9e01838f0288624bf71af120db6636e4","ce19eefaf0bd245a6d4ed1520f54f0ac29560cf6@swan.ac.uk","Adding discussion on translating AES and DES where the boxes are boolean 6x1 functions.","Matthew Gwynne"]],"ref":"refs/heads/ticket_33","size":2,"head":"71060b8e9e01838f0288624bf71af120db6636e4","push_id":38441482}