{"push_id":829703519,"size":5,"distinct_size":5,"ref":"refs/heads/gaston","head":"23a3c4367e36250884a105463714cb1373f19f72","before":"3a2df3cc698511962de68b3b057f298885c8fdee","commits":[{"sha":"16a741ef9523d1019e971d717a2520ad70aab42e","author":{"email":"a1ec4a3d731eb04b30bd4f34a2caacda17dcacb3@fit.vutbr.cz","name":"Tomas Fiedor"},"message":"Fixed issue with Fixpoint Pre semantics.\n\nTerm: FixpointStates now correctly initializes iterator;\nSymbolicAutomata: Removed some dump messages.","distinct":true,"url":"https://api.github.com/repos/Raph-Stash/dWiNA/commits/16a741ef9523d1019e971d717a2520ad70aab42e"},{"sha":"7f8531b8e61c1802fbb06197d9e5c32b51c19a11","author":{"email":"a1ec4a3d731eb04b30bd4f34a2caacda17dcacb3@fit.vutbr.cz","name":"Tomas Fiedor"},"message":"Few changes (continuations + minor things)\n\nSymbolicAutomata: Added Early Evaluation, DEFINED away though;\nTerm: Fixpoint - fixed issue with iterator;\nTerm: Fixpoint - changed raw pointer to shared.","distinct":true,"url":"https://api.github.com/repos/Raph-Stash/dWiNA/commits/7f8531b8e61c1802fbb06197d9e5c32b51c19a11"},{"sha":"cb9a09afeff89712405ccd95842f1d91e3d59ed1","author":{"email":"a1ec4a3d731eb04b30bd4f34a2caacda17dcacb3@fit.vutbr.cz","name":"Tomas Fiedor"},"message":"Few minor optimizations, more on continuations.","distinct":true,"url":"https://api.github.com/repos/Raph-Stash/dWiNA/commits/cb9a09afeff89712405ccd95842f1d91e3d59ed1"},{"sha":"5d7ed1b3f3ad1952248b2bceb6f7564b9b462305","author":{"email":"a1ec4a3d731eb04b30bd4f34a2caacda17dcacb3@fit.vutbr.cz","name":"Tomas Fiedor"},"message":"Added caching and fixed issue with projection under negation.\n\ngaston: Added caching;\ngaston: Switch UniversalQuantifierRemover and NegationUnfolder;\ngaston: Added comment about fucked up formula;\nSymbolicAutomata: Fixed issue with aggregation of the result during fixpoint.","distinct":true,"url":"https://api.github.com/repos/Raph-Stash/dWiNA/commits/5d7ed1b3f3ad1952248b2bceb6f7564b9b462305"},{"sha":"23a3c4367e36250884a105463714cb1373f19f72","author":{"email":"a1ec4a3d731eb04b30bd4f34a2caacda17dcacb3@fit.vutbr.cz","name":"Tomas Fiedor"},"message":"Fixed issue with symbols.\n\nSymbols: Now should be correctly masked;\nAtomicAutomata: Redone the Less automaton.","distinct":true,"url":"https://api.github.com/repos/Raph-Stash/dWiNA/commits/23a3c4367e36250884a105463714cb1373f19f72"}]}