{"shas":[["55e5b0912d210c02e4113746e2c22cbfe7b00638","c586897619fe92ef5cc9092473e1fe7aed23f6c6@microsoft.com","removing upperify","Charles-Pierre Astolfi"],["91c510361a362e5f4f653189a7a3cc5ebd4801eb","c586897619fe92ef5cc9092473e1fe7aed23f6c6@microsoft.com","au point ou j'en suis","Charles-Pierre Astolfi"],["c3107b6ab91e145ecec0d580a2fba2bb3caee4f6","c586897619fe92ef5cc9092473e1fe7aed23f6c6@microsoft.com","upperify's back","Charles-Pierre Astolfi"],["934b05b44007d5c4a755adf1b2c1bf9b3bc10a95","c586897619fe92ef5cc9092473e1fe7aed23f6c6@microsoft.com","auto fullapp","Charles-Pierre Astolfi"],["d8fc97912598e6a7dc74c2cb56315b963e0b90a8","c586897619fe92ef5cc9092473e1fe7aed23f6c6@microsoft.com","auto fullapp, actually used","Charles-Pierre Astolfi"],["98b4b1c126ff7277bd08204e64fde793f4dbdae6","c586897619fe92ef5cc9092473e1fe7aed23f6c6@microsoft.com","data types fix","Charles-Pierre Astolfi"],["3a9b85758a4b56401ce428f029743e9bcf6e833a","c586897619fe92ef5cc9092473e1fe7aed23f6c6@microsoft.com","mend","Charles-Pierre Astolfi"],["b2747fefc06f24b00b641c48b443a65c16d18a3a","c586897619fe92ef5cc9092473e1fe7aed23f6c6@microsoft.com","mend","Charles-Pierre Astolfi"],["b73cdfd58e16e078e46ba845cd18335b4a1b03b5","c586897619fe92ef5cc9092473e1fe7aed23f6c6@microsoft.com","strans bug fix","Charles-Pierre Astolfi"],["2d0af9dd4712abacec91b416d785064f7a5f6557","c586897619fe92ef5cc9092473e1fe7aed23f6c6@microsoft.com","simplified state","Charles-Pierre Astolfi"],["72e591b5f409d4a7d2e235367b9a5072f4cf98f8","c586897619fe92ef5cc9092473e1fe7aed23f6c6@microsoft.com","simplified state","Charles-Pierre Astolfi"],["3510b872552ab847630cb93eccecc685a60a7a04","c586897619fe92ef5cc9092473e1fe7aed23f6c6@microsoft.com","simplified state","Charles-Pierre Astolfi"],["c7f587adb9da26ff0c5c37eba3be3090f2074437","c586897619fe92ef5cc9092473e1fe7aed23f6c6@microsoft.com","simplified state ==","Charles-Pierre Astolfi"],["6c06939c4062c7da428d6b78b8b7b425ff4a442d","c586897619fe92ef5cc9092473e1fe7aed23f6c6@microsoft.com","Big commit!\n\n* SCC...\n* Automated proof...\n* Many bugs...","Charles-Pierre Astolfi"],["61a33d686f042e8146042b3d81cff39b2ff2a9e5","c586897619fe92ef5cc9092473e1fe7aed23f6c6@microsoft.com","mend","Charles-Pierre Astolfi"],["bca6eccb60a6be6eb7f585120c5519f00fc595d1","c586897619fe92ef5cc9092473e1fe7aed23f6c6@microsoft.com","Bug fix #1","Charles-Pierre Astolfi"],["32259b29b2a3152e58a2248c7830f2615d21fe27","c586897619fe92ef5cc9092473e1fe7aed23f6c6@microsoft.com","Bug fix #1","Charles-Pierre Astolfi"],["1455fe6f0b85b2735067823d16641d4efb1a911d","c586897619fe92ef5cc9092473e1fe7aed23f6c6@microsoft.com","mend","Charles-Pierre Astolfi"],["a407af5f922f1119a5414b8af4bd7afe18721b3e","c586897619fe92ef5cc9092473e1fe7aed23f6c6@microsoft.com","mend","Charles-Pierre Astolfi"],["146fc966477a7ae85b0eaa2ab94393db8225d7f9","c586897619fe92ef5cc9092473e1fe7aed23f6c6@microsoft.com","mend","Charles-Pierre Astolfi"]],"ref":"refs/heads/master","size":51,"head":"391918d764d05ff58b80dd3b811b03e8b793ffde","push_id":36072344}