4 Commits (1dc2e8a87c0f50a1cfe14a52bc1f31e72d27c43f)

Author	SHA1	Message	Date
Anton Kochkov	64d3abaa24	[infer][PR] Update opam in Dockerfiles ... Summary: A small nitpick Pull Request resolved: https://github.com/facebook/infer/pull/1183 Differential Revision: D18512026 Pulled By: jvillard fbshipit-source-id: 027cba11f	6 years ago
Jules Villard	13e8c21bef	[lab] fix issues discovered during POPL tutorial ... Summary: . Reviewed By: ngorogiannis Differential Revision: D13750261 fbshipit-source-id: 4ec935b99	6 years ago
Jules Villard	8e4fea7693	[labs] fiddling ... Summary: Changing the text a bit. Reviewed By: mbouaziz Differential Revision: D13650583 fbshipit-source-id: a1ff99124	6 years ago
Jules Villard	16c0c03050	resource leaks tutorial ... Summary: Publish solutions to the lab, and a Docker file and image to get started more quickly with infer hacking. Reviewed By: mbouaziz Differential Revision: D13648847 fbshipit-source-id: daf48ad03	6 years ago