You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Jules Villard a79096efa8 [siof] generic model of std::ios_base::Init that prevents SIOF ... Summary: Enrich the domain of SIOF to contain, as well as the globals needed by a procedure, the globals that the procedure initializes. Also add the possibility to model some procedures as initializing some variables. Use that mechanism to teach the checker about `std::ios_base::Init`. Reviewed By: mbouaziz Differential Revision: D4588284 fbshipit-source-id: d72fc87		8 years ago
..
siof	[siof] generic model of std::ios_base::Init that prevents SIOF	8 years ago
Makefile	[siof] generic model of std::ios_base::Init that prevents SIOF	8 years ago
issues.exp	[siof] generic model of std::ios_base::Init that prevents SIOF	8 years ago