GitHub PushEvent at 2014-11-04 19:02:16
Repository: ivory
Actor: gridaphobe
Payload: {"shas":[["1397869f5d887810227168635c4f8de968d1de30","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@gmail.com","concrete syntax: added source depends.","leepike",false],["558cd8853977721dda73c61eaa3e06e245c2b22f","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@gmail.com","division: added './' sugar and comments.","leepike",false],["36ea9cd17e9825bfcc480e10dc7e8fb4b8c80bec","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@gmail.com","build: top-level makefile, travis file for Ivory.","leepike",false],["0ea69c3ce08c92bae77d3e4fc941aa7b8cb8c994","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@gmail.com","gitignore: updates.","leepike",false],["c57139f44c33451c9e6a31b1ae788f2d2b07d5bc","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@gmail.com","ivory: export (./) operator (iDiv).","leepike",false],["5dec301a5123bed597423b2d486ed67aa4270320","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@gmail.com","ivory-examples: concrete syntax test/executable.","leepike",false],["8197e676c639777b7222ae4f9455f102708ed3e1","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@gmail.com","travis: add language.","leepike",false],["778671144de12099600f06b193e546180e9d98f0","167c1dcbbc9c320e8e02a0c15c886204b4e658a4@galois.com","backend-c: ExpToIx is always at type `ixRep`.","Jamey Sharp",false],["93e9f2d7ccf465cebd2feb7854dc8f35d14e9f5b","167c1dcbbc9c320e8e02a0c15c886204b4e658a4@galois.com","Force strictness for CodeBlock's `mappend`.\n\nCodeBlock is the monoid for the Ivory monad's WriterT. MonadLib's\nWriterT is strict in the output monoid, but this particular monoid was\ninsufficiently strict for good performance. Code running in the Ivory\nmonad for a large number of (>>=) operations could build up a pile of\nCodeBlock thunks as a result.","Jamey Sharp",false],["b5cbe55a7a190b05220972b04ca0e28aa8439c41","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@gmail.com","submodules: https rather than ssh (for public access).","leepike",false],["9619016f75274dbada6c379da774a87fa065d5d2","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@gmail.com","travis: change script format.","leepike",false],["d46afef00df85ca361f47c42dedb312e1eec5d61","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@gmail.com","travis: trying again...","leepike",false],["51b20d4496cac9f04c9808686a1b834e76b3a63b","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@gmail.com","travis: try again.","leepike",false],["a8615a2daa49c0bb50a4e3263de36144123e678f","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@gmail.com","travis: trying again\\!","leepike",false],["a7351ea98faab3a55246f9c48fd010ac499f2501","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@gmail.com","travis: explicitly update alex, happy.","leepike",false],["f628bc635a8756d7254d29aafb16ee5af3166708","7401a49938e7e0cc0bc9b4de99ed9a8c58080447@gmail.com","Readme: add build status img.","leepike",false],["25288767426d74af7375950064f1fd7e40f3513d","7c47fb8c5e263626481b146af46f62cf5772922e@gmail.com","Merge branch 'master' of github.com:GaloisInc/ivory into ivory-model-check\n\nConflicts:\n\tivory-examples/examples/ConcreteFile.hs","Eric Seidel",true]],"size":17,"ref":"refs/heads/ivory-model-check","head":"25288767426d74af7375950064f1fd7e40f3513d"}