{"action":"created","issue":{"url":"https://api.github.com/repos/FStarLang/FStar/issues/172","labels_url":"https://api.github.com/repos/FStarLang/FStar/issues/172/labels{/name}","comments_url":"https://api.github.com/repos/FStarLang/FStar/issues/172/comments","events_url":"https://api.github.com/repos/FStarLang/FStar/issues/172/events","html_url":"https://github.com/FStarLang/FStar/issues/172","id":63474818,"number":172,"title":"relational fstar 0.7 ","user":{"login":"joshjdevl","id":477053,"avatar_url":"https://avatars.githubusercontent.com/u/477053?v=3","gravatar_id":"","url":"https://api.github.com/users/joshjdevl","html_url":"https://github.com/joshjdevl","followers_url":"https://api.github.com/users/joshjdevl/followers","following_url":"https://api.github.com/users/joshjdevl/following{/other_user}","gists_url":"https://api.github.com/users/joshjdevl/gists{/gist_id}","starred_url":"https://api.github.com/users/joshjdevl/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/joshjdevl/subscriptions","organizations_url":"https://api.github.com/users/joshjdevl/orgs","repos_url":"https://api.github.com/users/joshjdevl/repos","events_url":"https://api.github.com/users/joshjdevl/events{/privacy}","received_events_url":"https://api.github.com/users/joshjdevl/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2015-03-22T01:23:14Z","updated_at":"2015-03-22T04:22:18Z","closed_at":null,"body":"@nikswamy \r\n\r\nWhen following the install for the older fstar 0.7 release on Windows 8.1, .NET 4.x is already installed on the system due to the OS version, and installed the  FSharpPowerPack-2.0.0.0,  receive the following error\r\n\r\n```\r\nmake test\r\nfstar --cert --gadt --prims ../lib/prims_wotuples.f9 certify/coretyping.fst 2> dump\r\nMakefile:205: recipe for target 'selfcert' failed\r\nmake: *** [selfcert] Error 127\r\n```\r\n\r\nAlso\r\n```\r\n$ ./fstar.exe\r\n\r\nUnhandled Exception: System.IO.FileNotFoundException: \r\nCould not load file or assembly 'FSharp.Core, Version=4.0.0.0, \r\nCulture=neutral, PublicKeyToken=b03f5f7f11d50a3a' or one of its dependencies. \r\nThe system cannot find the file specified.\r\n   at <StartupCode$fstar>.$Microsoft.FStar.Wrapper.main@()\r\n\r\n```"},"comment":{"url":"https://api.github.com/repos/FStarLang/FStar/issues/comments/84519822","html_url":"https://github.com/FStarLang/FStar/issues/172#issuecomment-84519822","issue_url":"https://api.github.com/repos/FStarLang/FStar/issues/172","id":84519822,"user":{"login":"nikswamy","id":6163359,"avatar_url":"https://avatars.githubusercontent.com/u/6163359?v=3","gravatar_id":"","url":"https://api.github.com/users/nikswamy","html_url":"https://github.com/nikswamy","followers_url":"https://api.github.com/users/nikswamy/followers","following_url":"https://api.github.com/users/nikswamy/following{/other_user}","gists_url":"https://api.github.com/users/nikswamy/gists{/gist_id}","starred_url":"https://api.github.com/users/nikswamy/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nikswamy/subscriptions","organizations_url":"https://api.github.com/users/nikswamy/orgs","repos_url":"https://api.github.com/users/nikswamy/repos","events_url":"https://api.github.com/users/nikswamy/events{/privacy}","received_events_url":"https://api.github.com/users/nikswamy/received_events","type":"User","site_admin":false},"created_at":"2015-03-22T04:22:18Z","updated_at":"2015-03-22T04:22:18Z","body":"As I have already said, this version is unsupported. It's never been tested on the configuration you report.\n\nSent from my Windows Phone\n________________________________\nFrom: joshjdevl<mailto:notifications@github.com>\nSent: ‎3/‎21/‎2015 18:23\nTo: FStarLang/FStar<mailto:FStar@noreply.github.com>\nCc: nikswamy<mailto:nswamy@live.com>\nSubject: [FStar] relational fstar 0.7  (#172)\n\n@nikswamy\n\nWhen following the install on Windows 8.1, .NET 4.x is already installed on the system due to the OS version, and installed the  FSharpPowerPack-2.0.0.0,  receive the following error\n\n```\nmake test\nfstar --cert --gadt --prims ../lib/prims_wotuples.f9 certify/coretyping.fst 2> dump\nMakefile:205: recipe for target 'selfcert' failed\nmake: *** [selfcert] Error 127\n```\n\nAlso\n```\n$ ./fstar.exe\n\nUnhandled Exception: System.IO.FileNotFoundException:\nCould not load file or assembly 'FSharp.Core, Version=4.0.0.0,\nCulture=neutral, PublicKeyToken=b03f5f7f11d50a3a' or one of its dependencies.\nThe system cannot find the file specified.\n   at <StartupCode$fstar>.$Microsoft.FStar.Wrapper.main@()\n\n```\n\n---\nReply to this email directly or view it on GitHub:\nhttps://github.com/FStarLang/FStar/issues/172\n"}}