It is currently Sun Dec 17, 2017 3:08 am

All times are UTC - 7 hours





Post new topic Reply to topic  [ 19 posts ]  Go to page Previous  1, 2
Author Message
PostPosted: Thu Dec 31, 2015 8:30 am 
Offline
User avatar

Joined: Mon Dec 29, 2014 1:46 pm
Posts: 753
Location: New York, NY
provably wrote:
To have a truly accurate emulator, we need to formally prove its correctness in respect to Visual2A03/2C02.


Did you create a user by that name for this purpose?


Top
 Profile  
 
PostPosted: Fri Jan 01, 2016 10:02 pm 
Offline

Joined: Tue Dec 15, 2015 3:50 am
Posts: 10
zeroone wrote:
provably wrote:
To have a truly accurate emulator, we need to formally prove its correctness in respect to Visual2A03/2C02.


Did you create a user by that name for this purpose?


This is not the project I currently have, but my project is similar: I want to derive a provably shortest walkthrough of Super Mario Bros. (There is possibility I might do former in future, though it looks just too hard.)


Top
 Profile  
 
PostPosted: Fri Jan 01, 2016 10:23 pm 
Offline
User avatar

Joined: Fri Nov 19, 2004 7:35 pm
Posts: 3969
So replay Happylee's TAS?

_________________
Here come the fortune cookies! Here come the fortune cookies! They're wearing paper hats!


Top
 Profile  
 
PostPosted: Fri Jan 01, 2016 11:29 pm 
Offline

Joined: Tue Dec 15, 2015 3:50 am
Posts: 10
Dwedit wrote:
So replay Happylee's TAS?

there isn't proof for it


Top
 Profile  
 
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 19 posts ]  Go to page Previous  1, 2

All times are UTC - 7 hours


Who is online

Users browsing this forum: No registered users and 8 guests


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum

Search for:
Jump to:  
Powered by phpBB® Forum Software © phpBB Group