44c73eb | Sergey Teplyakov | 24 June 2015, 16:45:26 UTC | Revert "Add Contributing.md with a set of label descriptions." | 24 June 2015, 16:45:26 UTC |
2634865 | Sergey Teplyakov | 24 June 2015, 16:35:40 UTC | Merge pull request #68 from SergeyTeplyakov/master Add Contributing.md with a set of label descriptions. | 24 June 2015, 16:35:40 UTC |
14380f4 | Sergey Tepliakov | 24 June 2015, 16:34:38 UTC | Fix for Roslyn async methods. Related issue: #51\r\nFix reverts back initial state machine value that was used for getting method contract in async methods generated by Roslyn compiler. Add VS14RC compiler to the tools, added test that checks the fix by using Roslyn-based compiler. Add missing native dependencies for v4.5 compiler. | 24 June 2015, 16:34:38 UTC |
54556fd | Sergey Tepliakov | 22 June 2015, 22:56:50 UTC | Add 'contract issue' to the list of labels. | 22 June 2015, 22:56:50 UTC |
2b03401 | Sergey Tepliakov | 22 June 2015, 22:52:40 UTC | Update Contributing.md based on PR feedback. | 22 June 2015, 22:52:40 UTC |
f009d9f | Sergey Tepliakov | 19 June 2015, 00:50:08 UTC | Add Contributing.md with a set of label descriptions. Fix for #64 | 19 June 2015, 00:50:08 UTC |
c71ef8f | Sergey Teplyakov | 17 June 2015, 23:27:46 UTC | Merge pull request #61 from sharwell/gitattributes Added .gitattributes | 17 June 2015, 23:27:46 UTC |
9df373f | Francesco Logozzo | 14 June 2015, 23:37:13 UTC | Re-save all text files with proper line endings | 14 June 2015, 23:39:57 UTC |
0924034 | Sam Harwell | 14 June 2015, 23:02:14 UTC | Add initial .gitattributes | 14 June 2015, 23:02:14 UTC |
658ad93 | Francesco Logozzo | 13 February 2015, 16:31:57 UTC | Merge pull request #16 from wuestholz/master Fixed a test case | 13 February 2015, 16:31:57 UTC |
db1c9c7 | Valentin Wüstholz | 13 February 2015, 09:08:59 UTC | Fix a test case. | 13 February 2015, 09:08:59 UTC |
b12b0a2 | Francesco Logozzo | 12 February 2015, 21:43:11 UTC | Merge pull request #15 from wuestholz/master Fixed two issues where Clousot missed errors | 12 February 2015, 21:43:11 UTC |
803e34e | Valentin Wüstholz | 12 February 2015, 21:32:14 UTC | Make it check that the sizes of a multidimensional array are non-negative on creation. | 12 February 2015, 21:32:14 UTC |
1a3c0fc | Valentin Wüstholz | 12 February 2015, 21:24:16 UTC | Make it check for overflow in modulo operations. | 12 February 2015, 21:26:21 UTC |
b1cd975 | Francesco Logozzo | 11 February 2015, 16:15:18 UTC | Merge pull request #14 from wuestholz/master Three small fixes (build error, build warning, test input) | 11 February 2015, 16:15:18 UTC |
d282c7a | Valentin Wüstholz | 10 February 2015, 15:43:30 UTC | Fix build warning. | 10 February 2015, 15:43:30 UTC |
7cc3f18 | Valentin Wüstholz | 10 February 2015, 14:23:38 UTC | Eliminate absolute path for a test input. | 10 February 2015, 14:23:38 UTC |
3da64a0 | Valentin Wüstholz | 10 February 2015, 08:53:39 UTC | Fix build error. | 10 February 2015, 08:53:39 UTC |
22baf43 | Francesco Logozzo | 08 January 2015, 20:05:37 UTC | Fixed the .gitignore and Added missing files to build CC distribution | 08 January 2015, 20:06:05 UTC |
c187973 | FrancescoLogozzo | 08 January 2015, 19:08:57 UTC | Merge pull request #3 from Zoltu/patch-1 Process.MainModule should not ensure NotNull. | 08 January 2015, 19:08:57 UTC |
566b846 | Micah Zoltu | 08 January 2015, 05:20:17 UTC | Process.MainModule should not ensure NotNull. As seen in http://referencesource.microsoft.com/#System/services/monitoring/system/diagnosticts/Process.cs,493, Process.MainModule can return null for non Windows NT operating systems. This includes Legacy versions of Windows, Xbox, Unix, MacOSX, etc. The comment at http://referencesource.microsoft.com/#System/services/monitoring/system/diagnosticts/Process.cs,472 sheds a little light on the scenarios that could result in a null Main Module and includes "Possibly other" which means Code Contracts cannot reasonably assert that MainModule returns NotNull. | 08 January 2015, 05:29:42 UTC |
b019ebd | Francesco Logozzo | 08 January 2015, 00:23:08 UTC | Removed the old Clousot.Caching directory and fixed the nuget dependency to fetch Entity Framework v6 | 08 January 2015, 00:23:08 UTC |
7fed81f | Francesco Logozzo | 07 January 2015, 23:50:03 UTC | fixed a bug in the .gitignore file, which was causing the dir Clousot.Cache to not be uploaded in GitHub from my local copy | 07 January 2015, 23:50:32 UTC |
2358220 | FrancescoLogozzo | 07 January 2015, 21:59:55 UTC | Update README.md | 07 January 2015, 21:59:55 UTC |
ae0c5e5 | Francesco Logozzo | 07 January 2015, 21:54:49 UTC | Added license file in root | 07 January 2015, 21:54:49 UTC |
b68965e | Aaron Dandy | 07 January 2015, 21:15:24 UTC | Add links to README.md | 07 January 2015, 21:15:24 UTC |
9952440 | Francesco Logozzo | 07 January 2015, 00:29:53 UTC | removed an internal ruleset | 07 January 2015, 00:30:58 UTC |
7f58137 | CodeContractsDotNet | 07 January 2015, 00:23:58 UTC | Update README.md | 07 January 2015, 00:23:58 UTC |
927faeb | CodeContractsDotNet | 07 January 2015, 00:21:27 UTC | Update README.md | 07 January 2015, 00:21:27 UTC |
f63a6ff | CodeContractsDotNet | 07 January 2015, 00:20:57 UTC | Update README.md | 07 January 2015, 00:20:57 UTC |
8d41836 | CodeContractsDotNet | 07 January 2015, 00:19:10 UTC | Create README.md | 07 January 2015, 00:19:10 UTC |
fddbeaf | Francesco Logozzo | 07 January 2015, 00:06:45 UTC | removed internal cache server | 07 January 2015, 00:06:45 UTC |
180c3ae | Francesco Logozzo | 06 January 2015, 20:53:42 UTC | Initial checkin | 06 January 2015, 20:53:42 UTC |