GitHub PushEvent at 2014-01-05 18:49:30
Repository: VisualBDD
Actor: timnp
Payload: {"shas":[["b04ac2802b2928ce11d105196b82b4625fda6165","24e4e2918e0a87fa0f94861e0ce0daa68e3503f2@gmx.de","added regex parsers for Formulas","timnp",true],["e62c9e39299f587973408e4496c173bd27985406","24e4e2918e0a87fa0f94861e0ce0daa68e3503f2@gmx.de","added functions to state higher or lower positions by means of the ordering","timnp",true],["853777815b4cb1ef1e2734047a7ce2c96cb75d10","24e4e2918e0a87fa0f94861e0ce0daa68e3503f2@gmx.de","added auxiliary function that turns a boolean into a terminal OBDD, finished apply function","timnp",true],["b38b51262a3859bfb679fb993a2eda911e9f22e9","24e4e2918e0a87fa0f94861e0ce0daa68e3503f2@gmx.de","added toString method for Formulas","timnp",true],["5097f5af73af379ed513d72212d7cfe06a7c065a","24e4e2918e0a87fa0f94861e0ce0daa68e3503f2@gmx.de","edited comments inside functions","timnp",true]],"size":5,"ref":"refs/heads/master","head":"5097f5af73af379ed513d72212d7cfe06a7c065a"}