C Games as mid-sized benchmark programs

games/README.md

@@ -0,0 +1,42 @@
+Games in C
+----
+
+
+
+linuxxdoom-1.10
+---
+
+<IMG SRC=./linuxxdoom.jpg HEIGHT=300px />
+
+The OG Doom 1.10 sources of the Linux Port; due to its age (and some nasty pointer to int conversions), it needs compiling for 32bit. Also due to age, it needs a C90 compiler with GNU extensions. Sourcecode had a typo that needed fixing. 80k raw lines of code.
+
+```
+./goblint -v --set ana.context.gas_value 10 --set sem.unknown_function.spawn false --set exp.architecture 32bit linuxxdoom-1.10.c
+```
+runs in the ballpark of 30 minutes -At least after manually patching an array when goblint encounters an instance of [issue #1702](https://github.com/goblint/analyzer/issues/1702) .
+
+
+Crafty 25.2
+---
+
+<IMG SRC=./crafty.jpg HEIGHT=300px />
+
+a portable open source engine supporting the Chess Engine Communication Protocol written by Robert Hyatt in ANSI C starting in the early 90s. 
+
+Crafty participated at several Computer Chess Tournaments, the WMCCC 1996, WMCCC 1997, WMCCC 2000, and WMCCC 2001, the WCCC 2004, WCCC 2005 and WCCC 2006. Crafty won the CCT1 in 2000, CCT5 in 2003 and CCT6 in 2004.
+
+77k raw lines of ANSI C Code.
+
+```
+./goblint -v --set ana.context.gas_value 10  --set ana.base.strings unit crafty-25.2.c
+```
+cancelled after 6:30h with 32GB main memory and 1900 contexts for printf
+
+BrogueCE 1.14.1
+---
+
+<IMG SRC=./brogue.jpg HEIGHT=300px />
+
+Brogue is a Roguelike game for Mac OS X, Windows and Linux by Brian Walker, and a direct descendant of the original Rogue. Roguelikes are turn-based Roleplaying games with procedurally generated levels. This is a community driven edition.
+
+The latest version can be downloaded at https://github.com/tmewett/BrogueCE/releases . It consists of roughly 250k of C code, that is almost 100k less than the original Brogue.