{"push_id":632151490,"size":1,"distinct_size":1,"ref":"refs/heads/SpiralS_nonvirtualized","head":"6ed5745f6949c1acb878eb50bfac3338d7f73b05","before":"c95cf39760db19bc657fe6c76f5b2dbd0ba12f5d","commits":[{"sha":"6ed5745f6949c1acb878eb50bfac3338d7f73b05","author":{"email":"216f408b754726f59298cdcf84d9a0a755b989f9@inf.ethz.ch","name":"GeorgOfenbeck"},"message":"Const extractor working now - SigmaSPL translation finished - now validating it before moving to C","distinct":true,"url":"https://api.github.com/repos/GeorgOfenbeck/virtualization-lms-core/commits/6ed5745f6949c1acb878eb50bfac3338d7f73b05"}]}