{"shas":[["7f5dd5bb486f4b00c6b47368093ef5985a801de2","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Parse quantified next operator","Henning Günther"],["3ba92598e0f6f9e766094d9bf1f7549e0562974e","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Parse exists quantor","Henning Günther"],["c740756cdef3c56b4b7d58d7cc07a513558bb40f","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Add history vars\n\nMake the package compile with them, don't actually use them yet","Henning Günther"],["ce6d95b961f39024629e6ef1a5e323757e026f0b","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Make history vars work with dynamic bdds","Henning Günther"],["dbeb0ed509771f132eb0592903546b3a22e68943","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Remove static BDD target\nBecame a huge pain in the ass to maintain","Henning Günther"],["aa03f6f842486efff4b4312cd5df6ff97f122367","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Correctly initialize history variables","Henning Günther"],["4233249cf1f57be8833ee6c295b7f2e471aad9fb","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Make exist-quantor and never claims play nicely together","Henning Günther"],["a07fd268333e3814a9a05bd980ab0ffbf4401f84","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Correctly reset never history vars","Henning Günther"],["fa6415da543e67d91b28d6dd37393dabe84f00cf","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Allow zero length traces","Henning Günther"],["4d98eee258966fa79965c97540d6393e146c672b","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Handle integer expressions in C-Target","Henning Günther"],["b47c7f54753b2d88d7b1239e3d148be3dcc4b197","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Move and generalize maximumHistory","Henning Günther"],["659f067e904ea71c92353ae74c12d40c3c87b8b7","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Generate history vars in native target","Henning Günther"],["c5203ecd660708a8339a8275bafdc0053dec4d7c","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Update history vars in native target","Henning Günther"],["32bd6f6e5665575cb9327bcd0158969d514e9ce8","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Translate int expressions in scade target","Henning Günther"],["3c7d0151f8269b3db34bec654fac44576cf10aa7","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Support history vars in SCADE target","Henning Günther"]],"repo":"hguenther/gtl","actor":"hguenther","ref":"refs/heads/master","size":15,"head":"3c7d0151f8269b3db34bec654fac44576cf10aa7","actor_gravatar":"8307c10ba82e5fcdbafd446fc259c84f","push_id":27423995}