typos
[mc1516pa.git] / modelchecker / sokoban.c
2016-04-21 Mart LubbersMerge branch 'master' of github.com:dopefishh/mc1516pa
2016-04-20 Mart Lubbersadded minimum boxamount, check for crappy file
2016-04-19 Mart Lubbersadd safety switch for parsing, fixed agent error
2016-03-30 Alexander Fedotovtiny update
2016-03-26 Alexander Fedotovscreen shrinking done
2016-03-26 Alexander Fedotovparsing rewritten, using hashes now
2016-03-24 Mart Lubbersnice'
2016-03-24 Alexander Fedotovsimple parsing added
2016-03-23 Mart Lubbersimproved makefile
2016-03-23 Mart Lubbersmake