{"shas":[["0b6357d4da9add319c8d6247409d48cb01be0e0d","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Expanded syntax","Henning Günther"],["91817ca42f76316d2a9ebc2caca4ce04051f5867","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Parse parenthesis again","Henning Günther"],["21c6bd0ae3c303bd32154e3eec9a3d93eb73371f","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Add new dynamic-bdd based target","Henning Günther"],["2329de31ac9e057849787acf67028081873dbd84","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Correct init transition for dynamic bdd processes","Henning Günther"],["e25be512e09894776b0f6ca6d573d3f94cc28b44","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Fix C-code generation for dynamic bdds","Henning Günther"],["534a0ee088b70d319b55f02aafab4c3941c40a96","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Generate init expressions","Henning Günther"],["70851ac29e8cc34871b9e4fff44103e8936747bb","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Generate check functions for never claims","Henning Günther"],["f3370bc49d2c2e220abb3ef740eba4c98e7cc3e5","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Implement neq for dynamic bdds","Henning Günther"],["d2ef5c9cf4d23a9381db26161299186a60a1f46c","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Generate never claims for dynamic-bdds","Henning Günther"],["292540a35fc670166dabf3de921838a7693b20a9","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Generate acceptance labels for dynamic-bdd translation","Henning Günther"],["141302ea0241600f403311b7b1e605e93ef39aef","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Only generate c_expr statement if there is anything to put in it","Henning Günther"],["ccee5a4a54593ab30836fedfdba1dcdc12e8c8ce","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Fix dynamic-bdd relation handling","Henning Günther"],["9c1e35577290eceb66b5c82606f86339b8df45cc","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Let the init process finish before allowing the never process to run","Henning Günther"],["6338a0a81001d38eebc36df967c9c4714ca64302","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Add more relations to dynamic-bdd","Henning Günther"],["7cd953494c24ea1c8c75f1fd02441e1d24a104df","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Generate ENTER printfs for dynamic bdds","Henning Günther"]],"repo":"hguenther/gtl","actor":"hguenther","ref":"refs/heads/master","size":15,"head":"7cd953494c24ea1c8c75f1fd02441e1d24a104df","actor_gravatar":"8307c10ba82e5fcdbafd446fc259c84f","push_id":26511201}