{"push_id":698806851,"size":23,"distinct_size":1,"ref":"refs/heads/wip-syntax","head":"51e4b0d93bf1feca721c1eef5f2637b3833dbb27","before":"d9c14b527a57c511e29aeb0f49193e57ddb01239","commits":[{"sha":"d65664c01cb2cf4ee5651e7cb5db763a8758915e","author":{"email":"4f0c88a6f82eabe579f01453e8d43146046367be@users.noreply.github.com","name":"Michael Lowell Roberts"},"message":"Merge pull request #1 from fmrl/wip-syntastic\n\nfstar/jdepp syntax checker now works in linux.","distinct":false,"url":"https://api.github.com/repos/FStarLang/VimFStar/commits/d65664c01cb2cf4ee5651e7cb5db763a8758915e"},{"sha":"971fd2e542422eb053dfc779069c19964968fb2d","author":{"email":"4f0c88a6f82eabe579f01453e8d43146046367be@users.noreply.github.com","name":"Michael Lowell Roberts"},"message":"Merge pull request #2 from fmrl/wip-syntastic\n\nadded another error format string encountered.","distinct":false,"url":"https://api.github.com/repos/FStarLang/VimFStar/commits/971fd2e542422eb053dfc779069c19964968fb2d"},{"sha":"1a1d817fbe2dc0179a2f22e6c385db2cdf2c516f","author":{"email":"4f0c88a6f82eabe579f01453e8d43146046367be@users.noreply.github.com","name":"Michael Lowell Roberts"},"message":"Merge pull request #3 from fmrl/wip-syntastic\n\nadditional work on syntastic support.","distinct":false,"url":"https://api.github.com/repos/FStarLang/VimFStar/commits/1a1d817fbe2dc0179a2f22e6c385db2cdf2c516f"},{"sha":"5274b481d6f158683269250fa807cfe7b2c3b8aa","author":{"email":"184f64a3a473d1bb8dca27bee931c255a023f6d1@ens.fr","name":"Simon Forest"},"message":"basic interaction with fstar interactive","distinct":false,"url":"https://api.github.com/repos/FStarLang/VimFStar/commits/5274b481d6f158683269250fa807cfe7b2c3b8aa"},{"sha":"129d93e18bbeda299986e3da02b2cf8d746fb501","author":{"email":"184f64a3a473d1bb8dca27bee931c255a023f6d1@ens.fr","name":"Simon Forest"},"message":"edit of the readme","distinct":false,"url":"https://api.github.com/repos/FStarLang/VimFStar/commits/129d93e18bbeda299986e3da02b2cf8d746fb501"},{"sha":"e84e6e20087a4312bd1b8181fa871aa37c826050","author":{"email":"184f64a3a473d1bb8dca27bee931c255a023f6d1@ens.fr","name":"SimonForest"},"message":"Update README.md","distinct":false,"url":"https://api.github.com/repos/FStarLang/VimFStar/commits/e84e6e20087a4312bd1b8181fa871aa37c826050"},{"sha":"b5b407a64b3700672cc4e06754b74ed4d4ae1cc3","author":{"email":"184f64a3a473d1bb8dca27bee931c255a023f6d1@ens.fr","name":"Simon Forest"},"message":"removed some debug printing","distinct":false,"url":"https://api.github.com/repos/FStarLang/VimFStar/commits/b5b407a64b3700672cc4e06754b74ed4d4ae1cc3"},{"sha":"6e2e5b7c5bb8a84596232eccfc100fc90a6b45b7","author":{"email":"184f64a3a473d1bb8dca27bee931c255a023f6d1@ens.fr","name":"Simon Forest"},"message":"Merge branch 'master' of https://github.com/SimonForest/VimFStar","distinct":false,"url":"https://api.github.com/repos/FStarLang/VimFStar/commits/6e2e5b7c5bb8a84596232eccfc100fc90a6b45b7"},{"sha":"24a694cc28b5aa8ae31250d2cc526ad16f2e771d","author":{"email":"184f64a3a473d1bb8dca27bee931c255a023f6d1@ens.fr","name":"SimonForest"},"message":"Update README.md","distinct":false,"url":"https://api.github.com/repos/FStarLang/VimFStar/commits/24a694cc28b5aa8ae31250d2cc526ad16f2e771d"},{"sha":"27fe9027a3b2237dc031c2684c0e871b072aa2de","author":{"email":"184f64a3a473d1bb8dca27bee931c255a023f6d1@ens.fr","name":"SimonForest"},"message":"Update README.md","distinct":false,"url":"https://api.github.com/repos/FStarLang/VimFStar/commits/27fe9027a3b2237dc031c2684c0e871b072aa2de"},{"sha":"f5e239915c922fb7e854a9a614a6c54e7d348687","author":{"email":"184f64a3a473d1bb8dca27bee931c255a023f6d1@ens.fr","name":"Simon Forest"},"message":"better highlighting, and reset command","distinct":false,"url":"https://api.github.com/repos/FStarLang/VimFStar/commits/f5e239915c922fb7e854a9a614a6c54e7d348687"},{"sha":"58eba719de20d49c044fd5679bc86cf0ac5ba85f","author":{"email":"184f64a3a473d1bb8dca27bee931c255a023f6d1@ens.fr","name":"Simon Forest"},"message":"Merge branch 'master' of https://github.com/SimonForest/VimFStar","distinct":false,"url":"https://api.github.com/repos/FStarLang/VimFStar/commits/58eba719de20d49c044fd5679bc86cf0ac5ba85f"},{"sha":"932eeca9d1e85f471d4202f75a008d7dad75021e","author":{"email":"184f64a3a473d1bb8dca27bee931c255a023f6d1@ens.fr","name":"SimonForest"},"message":"Update README.md","distinct":false,"url":"https://api.github.com/repos/FStarLang/VimFStar/commits/932eeca9d1e85f471d4202f75a008d7dad75021e"},{"sha":"7dc801ead7ad9ce32ea3c13372eccde4e437fda5","author":{"email":"184f64a3a473d1bb8dca27bee931c255a023f6d1@ens.fr","name":"Simon Forest"},"message":"changed some bad translation","distinct":false,"url":"https://api.github.com/repos/FStarLang/VimFStar/commits/7dc801ead7ad9ce32ea3c13372eccde4e437fda5"},{"sha":"95bb8976a1d5b4090538abeb157ea4d797750aee","author":{"email":"184f64a3a473d1bb8dca27bee931c255a023f6d1@ens.fr","name":"Simon Forest"},"message":"Changed readme","distinct":false,"url":"https://api.github.com/repos/FStarLang/VimFStar/commits/95bb8976a1d5b4090538abeb157ea4d797750aee"},{"sha":"25855c20649ab66df161d705c32eef027e3eb2c8","author":{"email":"184f64a3a473d1bb8dca27bee931c255a023f6d1@ens.fr","name":"Simon Forest"},"message":"better error msg, better color, new shortcuts","distinct":false,"url":"https://api.github.com/repos/FStarLang/VimFStar/commits/25855c20649ab66df161d705c32eef027e3eb2c8"},{"sha":"de5482cf985161364d75c86008c11edf7572a228","author":{"email":"184f64a3a473d1bb8dca27bee931c255a023f6d1@ens.fr","name":"SimonForest"},"message":"Update README.md","distinct":false,"url":"https://api.github.com/repos/FStarLang/VimFStar/commits/de5482cf985161364d75c86008c11edf7572a228"},{"sha":"b92e068c1efe74add85a008a060a52fc7658cf09","author":{"email":"184f64a3a473d1bb8dca27bee931c255a023f6d1@ens.fr","name":"Simon Forest"},"message":"check for the presence of fstar.exe in $PATH now. some fixes","distinct":false,"url":"https://api.github.com/repos/FStarLang/VimFStar/commits/b92e068c1efe74add85a008a060a52fc7658cf09"},{"sha":"62ed3d8141abe2d581619114d7af02108e9b1bbb","author":{"email":"184f64a3a473d1bb8dca27bee931c255a023f6d1@ens.fr","name":"SimonForest"},"message":"Merge pull request #6 from SimonForest/master\n\nVimFStar interactive !","distinct":false,"url":"https://api.github.com/repos/FStarLang/VimFStar/commits/62ed3d8141abe2d581619114d7af02108e9b1bbb"},{"sha":"65d279c1ac158ee9601344284ba04723b3547f12","author":{"email":"184f64a3a473d1bb8dca27bee931c255a023f6d1@ens.fr","name":"SimonForest"},"message":"Update README.md","distinct":false,"url":"https://api.github.com/repos/FStarLang/VimFStar/commits/65d279c1ac158ee9601344284ba04723b3547f12"}]}