Open zitterbewegung opened 7 years ago
Off the top my head I would think it is "password", "1234", "12345", or the empty string. If its not any of those I'll have to look into it when I get home tonight.
Sorry about that.
-Andrew On Wed, Dec 28, 2016 at 10:08 AM Joshua Herman notifications@github.com wrote:
For the pldi16 artifact virtual machine what is the password for the user dave?
— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/pnwamk/pldi16-artifact/issues/1, or mute the thread https://github.com/notifications/unsubscribe-auth/ADfg6naqGdoMcd5RbxjPe0ohGPAeWGUSks5rMqU1gaJpZM4LXF0G .
@pnwamk I was cloning the repository and I saw a commit that the password was in https://github.com/pnwamk/pldi16-artifact/blob/master/readme/index.scrbl so I added it to README.md
For the pldi16 artifact virtual machine what is the password for the user dave?