7 Commits (e77c1d8ea6d7b1fb3e027bf9458e994728f7d0b3)

Author	SHA1	Message	Date
Cristiano Calcagno	5c9b61877a	[Eradicate] Code cleanup and add test cases ... Reviewed By: sblackshear Differential Revision: D4705109 fbshipit-source-id: fcb381e	8 years ago
Cristiano Calcagno	56cfac14da	Fix issue in join where the origin of a variable would be lost in a loop. ... Reviewed By: sblackshear Differential Revision: D3340039 fbshipit-source-id: 2e00d3d	9 years ago
Josh Berdine	63b57790f9	Fix indentation of multiline copyright comment ... Summary: public Lines other than the first of multi-line comments in non-ocaml files were flush right instead of aligned. Reviewed By: jvillard Differential Revision: D2739752 fb-gh-sync-id: c85f56e	9 years ago
Cristiano Calcagno	1666d7f353	Model Map.put() alongside Map.containsKey(). ... Summary: public Added special modelling for m.put(k,v) as assigning value v to map m at key k. The modelling is analogous to the one for containsKey: the variable used to represent m.get(k) is generated, and assigned the value v. Reviewed By: jberdine Differential Revision: D2743844 fb-gh-sync-id: 56d3581	9 years ago
Cristiano Calcagno	401109b4eb	[Eradicate] Allow assigning null to fields marked @InjectView to support ButterKnife.	9 years ago
Cristiano Calcagno	3e199467f4	Complete copyright messages.	10 years ago
Open Source Synchronization	b8982270f2	initial synchronization	10 years ago