{"shas":[["291639f1b92cac9d3469b8f3cc2fcf0e8e99e2a9","ce19eefaf0bd245a6d4ed1520f54f0ac29560cf6@swan.ac.uk","Added todos on adding evaluation functions for constraints relating to DES.","Matthew Gwynne"],["e53e42089271aa7755f6b23f26a959bcbf7aa2f4","ce19eefaf0bd245a6d4ed1520f54f0ac29560cf6@swan.ac.uk","Added todo on improving DES constraint generator tests.\n\nWe should first implement the constraint evaluation system.","Matthew Gwynne"]],"ref":"refs/heads/ticket-fixes","size":2,"head":"e53e42089271aa7755f6b23f26a959bcbf7aa2f4","push_id":35941498}