GitHub PushEvent at 2014-07-03 12:14:43
Repository: alive
Actor: nunoplopes
Payload: {"shas":[["e6b39bfe437f19fea18acc58b2f0270eb47267cb","923fbabb58f9d7dc16fb7f0f7950c679c502dd43@psualum.com","Preliminary support for width() and value functions","David Menendez",true],["e1074629147757a0e0fb8a762abbd2c618e3c746","923fbabb58f9d7dc16fb7f0f7950c679c502dd43@psualum.com","Basic type inference for precondition functions and values","David Menendez",true],["07d987ce6fedc7560325b9e1efe8c1fbcebe6070","923fbabb58f9d7dc16fb7f0f7950c679c502dd43@psualum.com","Remove debug printout from parseValFunction","David Menendez",true],["9f5950cf5a2000bc23bfb30a9b0469132a88dee1","923fbabb58f9d7dc16fb7f0f7950c679c502dd43@psualum.com","More tests from visitSub","David Menendez",true],["f43190c1484e70defe0e1b030bb5a0018be97ae5","1583f6ce38ffd3df97b3af6fa047d3128d9947f3@ist.utl.pt","merge David Menendez's patch to implement support for\nnon-boolean functions is preconditions.\nfix conflicts","Nuno Lopes",true]],"size":5,"ref":"refs/heads/master","head":"f43190c1484e70defe0e1b030bb5a0018be97ae5"}