{"push_id":650328818,"size":125,"distinct_size":0,"ref":"refs/heads/mat/satpg-dev","head":"7f8c6237d657a6c6c0d0fe4f74031e50b9669766","before":"8e28b18dfb8b64a6a3b60d98b31a5f8c7d428922","commits":[{"sha":"290d9e00238940a1659fac703691c05b18fcbe14","author":{"email":"a54aa26f53c65dfe2b4f70a384265d089865cb16@ieee.org","name":"Yusuke Matsunaga"},"message":"﻿satpg: DtpgDriver を廃止，DtpgEngine を直接使う．\n\nその他，実験用のコードを大幅に整理した．","distinct":false,"url":"https://api.github.com/repos/yusuke-matsunaga/ymtools/commits/290d9e00238940a1659fac703691c05b18fcbe14"},{"sha":"0948ef5953ecd588c9d940f0ca339b7221d196ca","author":{"email":"a54aa26f53c65dfe2b4f70a384265d089865cb16@ieee.org","name":"Yusuke Matsunaga"},"message":"﻿satpg: DtpgSat の細かな修正","distinct":false,"url":"https://api.github.com/repos/yusuke-matsunaga/ymtools/commits/0948ef5953ecd588c9d940f0ca339b7221d196ca"},{"sha":"f5c4fa6c9b4897d193e55082b28be47dd9c00e70","author":{"email":"a54aa26f53c65dfe2b4f70a384265d089865cb16@ieee.org","name":"Yusuke Matsunaga"},"message":"﻿satpg: DtpgSat のコードを整理","distinct":false,"url":"https://api.github.com/repos/yusuke-matsunaga/ymtools/commits/f5c4fa6c9b4897d193e55082b28be47dd9c00e70"},{"sha":"ac10fb7fe07276c613a26a88ee48f8b3c3745ad7","author":{"email":"a54aa26f53c65dfe2b4f70a384265d089865cb16@ieee.org","name":"Yusuke Matsunaga"},"message":"﻿libym_logi/sat: YmSat の結構致命的なバグを修正\n\n配列アクセス時に範囲チェックの assert をするようにした．","distinct":false,"url":"https://api.github.com/repos/yusuke-matsunaga/ymtools/commits/ac10fb7fe07276c613a26a88ee48f8b3c3745ad7"},{"sha":"42981dd28243e39a966f59274e5dcb5e2c95daec","author":{"email":"a54aa26f53c65dfe2b4f70a384265d089865cb16@ieee.org","name":"Yusuke Matsunaga"},"message":"﻿satpg: DtpgSatS3 などを追加","distinct":false,"url":"https://api.github.com/repos/yusuke-matsunaga/ymtools/commits/42981dd28243e39a966f59274e5dcb5e2c95daec"},{"sha":"bd9fdfd2086857e316f772eef66ded319c62d69e","author":{"email":"a54aa26f53c65dfe2b4f70a384265d089865cb16@ieee.org","name":"Yusuke Matsunaga"},"message":"﻿satpg: DtpgSatS3, BtJust3 作成中","distinct":false,"url":"https://api.github.com/repos/yusuke-matsunaga/ymtools/commits/bd9fdfd2086857e316f772eef66ded319c62d69e"},{"sha":"78ceb98fc2a6c765949d1f60e4ed955a66f5eb47","author":{"email":"a54aa26f53c65dfe2b4f70a384265d089865cb16@ieee.org","name":"Yusuke Matsunaga"},"message":"﻿satpg: BackTracer の仕様を変更した．\n\n答えを直接 TestVector にするのではなく AssignList を用いるようにした．","distinct":false,"url":"https://api.github.com/repos/yusuke-matsunaga/ymtools/commits/78ceb98fc2a6c765949d1f60e4ed955a66f5eb47"},{"sha":"01e54ccc6a22813c07febc723ddbb0c98c6fd86d","author":{"email":"a54aa26f53c65dfe2b4f70a384265d089865cb16@ieee.org","name":"Yusuke Matsunaga"},"message":"﻿satpg: AssignList.h -> NodeValList.h に改名\n\nlibym_logic 内の ymsat で常に model のサイズを初期化するようにした．","distinct":false,"url":"https://api.github.com/repos/yusuke-matsunaga/ymtools/commits/01e54ccc6a22813c07febc723ddbb0c98c6fd86d"},{"sha":"2df99d6b2c163ebd680230377c4cee64b3c17306","author":{"email":"a54aa26f53c65dfe2b4f70a384265d089865cb16@ieee.org","name":"Yusuke Matsunaga"},"message":"﻿satpg: デバッグ時のコードを整理した．","distinct":false,"url":"https://api.github.com/repos/yusuke-matsunaga/ymtools/commits/2df99d6b2c163ebd680230377c4cee64b3c17306"},{"sha":"eb001c9ca3b301ff7bc4f861e803973906489485","author":{"email":"a54aa26f53c65dfe2b4f70a384265d089865cb16@ieee.org","name":"Yusuke Matsunaga"},"message":"﻿satpg: NodeValList が本当に TpgNode のポインタを持つようになった．","distinct":false,"url":"https://api.github.com/repos/yusuke-matsunaga/ymtools/commits/eb001c9ca3b301ff7bc4f861e803973906489485"},{"sha":"1044a84c1c476a04431e48574c4c6d177953150a","author":{"email":"a54aa26f53c65dfe2b4f70a384265d089865cb16@ieee.org","name":"Yusuke Matsunaga"},"message":"﻿satpg: DtpgSatS3 を改造中","distinct":false,"url":"https://api.github.com/repos/yusuke-matsunaga/ymtools/commits/1044a84c1c476a04431e48574c4c6d177953150a"},{"sha":"3c138e9b60715a7dbd6a9c96b25bf1a6e142ada6","author":{"email":"a54aa26f53c65dfe2b4f70a384265d089865cb16@ieee.org","name":"Yusuke Matsunaga"},"message":"﻿satpg: DtpgSatS3, BtJust3 改造中\n\n十分割当，必要割当がだいたいできた．","distinct":false,"url":"https://api.github.com/repos/yusuke-matsunaga/ymtools/commits/3c138e9b60715a7dbd6a9c96b25bf1a6e142ada6"},{"sha":"18de9df7273d8cf238214ffe3024e0228ead6fe4","author":{"email":"a54aa26f53c65dfe2b4f70a384265d089865cb16@ieee.org","name":"Yusuke Matsunaga"},"message":"﻿satpg: BtJust3 とりあえず完成","distinct":false,"url":"https://api.github.com/repos/yusuke-matsunaga/ymtools/commits/18de9df7273d8cf238214ffe3024e0228ead6fe4"},{"sha":"0967aa7b1692925d4003d56fd8b91caa4b339be1","author":{"email":"a54aa26f53c65dfe2b4f70a384265d089865cb16@ieee.org","name":"Yusuke Matsunaga"},"message":"﻿satpg: ValMap と ModelValMap を追加","distinct":false,"url":"https://api.github.com/repos/yusuke-matsunaga/ymtools/commits/0967aa7b1692925d4003d56fd8b91caa4b339be1"},{"sha":"7cad9311e4e425087919066548524314833645ff","author":{"email":"a54aa26f53c65dfe2b4f70a384265d089865cb16@ieee.org","name":"Yusuke Matsunaga"},"message":"﻿satpg: ValMap を導入．BtJust3 を Extractor に改名","distinct":false,"url":"https://api.github.com/repos/yusuke-matsunaga/ymtools/commits/7cad9311e4e425087919066548524314833645ff"},{"sha":"f4c8149a8c0f11e74327c10babbb7a11eac34604","author":{"email":"a54aa26f53c65dfe2b4f70a384265d089865cb16@ieee.org","name":"Yusuke Matsunaga"},"message":"﻿satpg: Extract のバグ修正\n\ncontrolling value 対象のノードを間違えていた．","distinct":false,"url":"https://api.github.com/repos/yusuke-matsunaga/ymtools/commits/f4c8149a8c0f11e74327c10babbb7a11eac34604"},{"sha":"ef342494fc9a1614d5f51928b74613c727659168","author":{"email":"a54aa26f53c65dfe2b4f70a384265d089865cb16@ieee.org","name":"Yusuke Matsunaga"},"message":"﻿satpg: DtpgSatS3 改造中","distinct":false,"url":"https://api.github.com/repos/yusuke-matsunaga/ymtools/commits/ef342494fc9a1614d5f51928b74613c727659168"},{"sha":"22fce89cd26cb2a7845a1ff88c48d46f7b51fc03","author":{"email":"a54aa26f53c65dfe2b4f70a384265d089865cb16@ieee.org","name":"Yusuke Matsunaga"},"message":"﻿satpg: Extractor を改良した．","distinct":false,"url":"https://api.github.com/repos/yusuke-matsunaga/ymtools/commits/22fce89cd26cb2a7845a1ff88c48d46f7b51fc03"},{"sha":"6a8d0441318395a1b4303049838f5b9bfb4908f0","author":{"email":"a54aa26f53c65dfe2b4f70a384265d089865cb16@ieee.org","name":"Yusuke Matsunaga"},"message":"﻿satpg: TpgNode から変数番号を分離","distinct":false,"url":"https://api.github.com/repos/yusuke-matsunaga/ymtools/commits/6a8d0441318395a1b4303049838f5b9bfb4908f0"},{"sha":"5f1a320d31cbb0ee2becd658034b3a39aa71ccee","author":{"email":"a54aa26f53c65dfe2b4f70a384265d089865cb16@ieee.org","name":"Yusuke Matsunaga"},"message":"﻿satpg: NodeSet を導入","distinct":false,"url":"https://api.github.com/repos/yusuke-matsunaga/ymtools/commits/5f1a320d31cbb0ee2becd658034b3a39aa71ccee"}]}