{"action":"created","issue":{"url":"https://api.github.com/repos/acl2/acl2/issues/489","labels_url":"https://api.github.com/repos/acl2/acl2/issues/489/labels{/name}","comments_url":"https://api.github.com/repos/acl2/acl2/issues/489/comments","events_url":"https://api.github.com/repos/acl2/acl2/issues/489/events","html_url":"https://github.com/acl2/acl2/issues/489","id":101089374,"number":489,"title":"Contribute books/projects/masc","user":{"login":"ragerdl","id":2245886,"avatar_url":"https://avatars.githubusercontent.com/u/2245886?v=3","gravatar_id":"","url":"https://api.github.com/users/ragerdl","html_url":"https://github.com/ragerdl","followers_url":"https://api.github.com/users/ragerdl/followers","following_url":"https://api.github.com/users/ragerdl/following{/other_user}","gists_url":"https://api.github.com/users/ragerdl/gists{/gist_id}","starred_url":"https://api.github.com/users/ragerdl/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ragerdl/subscriptions","organizations_url":"https://api.github.com/users/ragerdl/orgs","repos_url":"https://api.github.com/users/ragerdl/repos","events_url":"https://api.github.com/users/ragerdl/events{/privacy}","received_events_url":"https://api.github.com/users/ragerdl/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":13,"created_at":"2015-08-14T19:43:26Z","updated_at":"2015-08-26T21:30:27Z","closed_at":null,"body":"@russinoff writes\r\n\r\n```\r\nI have a directory that I'd like to upload to books/projects/masc. I'm a\r\nlittle confused about the business of regression testing.\r\n\r\nThe directory contains the following subdirectories:\r\n\r\n(1) A Flex/Bison parser for the MASC language, which a representation of a\r\nprogram as a set of S-expressuons\r\n\r\n(2) An ACL2 program that converts these S-expressions to an executable ACL2\r\nmodel of the MASC program\r\n\r\n(3) A script that runs the parser, generates the ACL2 model, and some other\r\nstuff.\r\n\r\n(4) A couple of simple illustrations, including the imul example that was\r\ndescribed in our 2014 workshop paper, along with the script for the\r\ncorrectness proof.\r\n\r\nSo I don't know what it means to test this thing for regression. I guess\r\nmy intention is that an interested party would copy this directory\r\nsomewhere and follow my instructions for compiling the parser, running the\r\nexamples, and certifying the proof script.\r\n\r\nSo I copied this directory into my local acl2/books directory and just for\r\nkicks, ran the regression thing. It failed, and I don't know what this\r\nmeans.\r\n```"},"comment":{"url":"https://api.github.com/repos/acl2/acl2/issues/comments/135175777","html_url":"https://github.com/acl2/acl2/issues/489#issuecomment-135175777","issue_url":"https://api.github.com/repos/acl2/acl2/issues/489","id":135175777,"user":{"login":"ragerdl","id":2245886,"avatar_url":"https://avatars.githubusercontent.com/u/2245886?v=3","gravatar_id":"","url":"https://api.github.com/users/ragerdl","html_url":"https://github.com/ragerdl","followers_url":"https://api.github.com/users/ragerdl/followers","following_url":"https://api.github.com/users/ragerdl/following{/other_user}","gists_url":"https://api.github.com/users/ragerdl/gists{/gist_id}","starred_url":"https://api.github.com/users/ragerdl/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ragerdl/subscriptions","organizations_url":"https://api.github.com/users/ragerdl/orgs","repos_url":"https://api.github.com/users/ragerdl/repos","events_url":"https://api.github.com/users/ragerdl/events{/privacy}","received_events_url":"https://api.github.com/users/ragerdl/received_events","type":"User","site_admin":false},"created_at":"2015-08-26T21:30:27Z","updated_at":"2015-08-26T21:30:27Z","body":"The problem is that a `bin` file is being created for some reason, instead of a `bin` directory."}}