VCC Source Code Rss Feedhttp://vcc.codeplex.com/SourceControl/ListDownloadableCommits.aspxVCC Source Code Rss DescriptionSource code checked in, #145fa5e039cahttp://vcc.codeplex.com/SourceControl/changeset/changes/145fa5e039caTagging CC.NET build 2.3.10214.0VccBuildServerThu, 14 Feb 2013 05:39:20 GMTSource code checked in, #145fa5e039ca 20130214053920ASource code checked in, #ce4fe3537574http://vcc.codeplex.com/SourceControl/changeset/changes/ce4fe3537574Tagging CC.NET build 2.3.10211.0VccBuildServerMon, 11 Feb 2013 05:38:34 GMTSource code checked in, #ce4fe3537574 20130211053834ASource code checked in, #c18d432cc067http://vcc.codeplex.com/SourceControl/changeset/changes/c18d432cc067Tagging CC.NET build 2.3.10203.0VccBuildServerSun, 03 Feb 2013 05:38:39 GMTSource code checked in, #c18d432cc067 20130203053839ASource code checked in, #77ccef31390chttp://vcc.codeplex.com/SourceControl/changeset/changes/77ccef31390cTagging CC.NET build 2.3.10122.0VccBuildServerTue, 22 Jan 2013 05:38:15 GMTSource code checked in, #77ccef31390c 20130122053815ASource code checked in, #45db7ec9a28chttp://vcc.codeplex.com/SourceControl/changeset/changes/45db7ec9a28cAllow -f in addition to /fMichal MoskalMon, 21 Jan 2013 19:27:28 GMTSource code checked in, #45db7ec9a28c 20130121072728PSource code checked in, #21624be744achttp://vcc.codeplex.com/SourceControl/changeset/changes/21624be744acFix soundness problem in translation of function postconditions as axiomsMichal MoskalMon, 21 Jan 2013 19:27:03 GMTSource code checked in, #21624be744ac 20130121072703PSource code checked in, #55e2ed59c563http://vcc.codeplex.com/SourceControl/changeset/changes/55e2ed59c563Tagging CC.NET build 2.3.10121.0VccBuildServerMon, 21 Jan 2013 05:38:14 GMTSource code checked in, #55e2ed59c563 20130121053814ASource code checked in, #52dab2370ca3http://vcc.codeplex.com/SourceControl/changeset/changes/52dab2370ca3Tagging CC.NET build 2.3.10120.0VccBuildServerSun, 20 Jan 2013 05:38:10 GMTSource code checked in, #52dab2370ca3 20130120053810ASource code checked in, #9107e60f0a80http://vcc.codeplex.com/SourceControl/changeset/changes/9107e60f0a80Tagging CC.NET build 2.3.10119.0VccBuildServerSat, 19 Jan 2013 05:38:14 GMTSource code checked in, #9107e60f0a80 20130119053814ASource code checked in, #f0a3d5dd2c02http://vcc.codeplex.com/SourceControl/changeset/changes/f0a3d5dd2c02Tagging CC.NET build 2.3.10117.0VccBuildServerThu, 17 Jan 2013 05:39:16 GMTSource code checked in, #f0a3d5dd2c02 20130117053916ASource code checked in, #c2f43f75acd4http://vcc.codeplex.com/SourceControl/changeset/changes/c2f43f75acd4Tagging CC.NET build 2.3.10112.0VccBuildServerSat, 12 Jan 2013 05:38:53 GMTSource code checked in, #c2f43f75acd4 20130112053853ASource code checked in, #b1214b63a9aahttp://vcc.codeplex.com/SourceControl/changeset/changes/b1214b63a9aaTagging CC.NET build 2.3.10111.0VccBuildServerFri, 11 Jan 2013 05:40:35 GMTSource code checked in, #b1214b63a9aa 20130111054035ASource code checked in, #97d1563ef579http://vcc.codeplex.com/SourceControl/changeset/changes/97d1563ef579Tagging CC.NET build 2.3.10110.0VccBuildServerThu, 10 Jan 2013 05:40:24 GMTSource code checked in, #97d1563ef579 20130110054024ASource code checked in, #db59b7ba6b3chttp://vcc.codeplex.com/SourceControl/changeset/changes/db59b7ba6b3cTagging CC.NET build 2.3.10108.0VccBuildServerTue, 08 Jan 2013 05:40:42 GMTSource code checked in, #db59b7ba6b3c 20130108054042ASource code checked in, #9bb9a919a4a9http://vcc.codeplex.com/SourceControl/changeset/changes/9bb9a919a4a9Tagging CC.NET build 2.3.10107.0VccBuildServerMon, 07 Jan 2013 05:41:11 GMTSource code checked in, #9bb9a919a4a9 20130107054111ASource code checked in, #0e3441c1f227http://vcc.codeplex.com/SourceControl/changeset/changes/0e3441c1f227Tagging CC.NET build 2.3.10106.0VccBuildServerSun, 06 Jan 2013 05:38:37 GMTSource code checked in, #0e3441c1f227 20130106053837ASource code checked in, #f5c8b8327d3chttp://vcc.codeplex.com/SourceControl/changeset/changes/f5c8b8327d3cTagging CC.NET build 2.3.10105.0VccBuildServerSat, 05 Jan 2013 05:40:00 GMTSource code checked in, #f5c8b8327d3c 20130105054000ASource code checked in, #621b6a96db1bhttp://vcc.codeplex.com/SourceControl/changeset/changes/621b6a96db1bTagging CC.NET build 2.3.10104.0VccBuildServerFri, 04 Jan 2013 05:38:41 GMTSource code checked in, #621b6a96db1b 20130104053841ASource code checked in, #ae6103a1bb8ehttp://vcc.codeplex.com/SourceControl/changeset/changes/ae6103a1bb8eTagging CC.NET build 2.3.10103.0VccBuildServerThu, 03 Jan 2013 05:39:43 GMTSource code checked in, #ae6103a1bb8e 20130103053943ASource code checked in, #aaf9b74e677bhttp://vcc.codeplex.com/SourceControl/changeset/changes/aaf9b74e677bTagging CC.NET build 2.3.10101.0VccBuildServerTue, 01 Jan 2013 05:39:03 GMTSource code checked in, #aaf9b74e677b 20130101053903A