Next up: formally verifying life itself!
Remember when I said we need formally verified adventure games? Well, I wrote one: http://svn.clifford.at/handicraft/2017/tttm/ … (see README for details)https://twitter.com/oe1cxw/status/850861311709851650 …
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
When's the release on Steam?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Very disappointed that the game has no grues.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Can you formally verify something that uses SEED(TIME()) & RAND()? I guess so, but it might take a while...
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
-
Thanks. Fixed.
End of conversation
New conversation -
-
-
.
@oe1cxw Neat! I’m a big fan of this kind of thing. I’ve been wanting to formalize puzzle dependency charts for a while. -
It would be great to see the idea implemented in a real game engine. I'd write one myself if I didn't have already too many projects..
- Show replies
New conversation -
-
-
The focus of this work is on verifying that the game itself is free of dead ends. There are other methods to catch things like UB.
-
Have a look at this blog post on the Thimbleweed Park Dev Blog. This are the kind of problems I'm trying to detect: https://blog.thimbleweedpark.com/patch_notes
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.