troll.git
4 years agoThat fencepost inconsistency turned out NOT to be a breaking change.
JBM [Thu, 21 May 2020 20:45:49 +0000 (22:45 +0200)]
That fencepost inconsistency turned out NOT to be a breaking change.

4 years agoCG expects Java agents in public class "Player" even when filename is Boss.java
JBM [Thu, 21 May 2020 19:58:45 +0000 (21:58 +0200)]
CG expects Java agents in public class "Player" even when filename is Boss.java

This fixes the boss timeouts.

4 years agoNPE hotfix
JBM [Thu, 21 May 2020 19:58:27 +0000 (21:58 +0200)]
NPE hotfix

4 years agoMessaging
JBM [Thu, 21 May 2020 15:38:27 +0000 (17:38 +0200)]
Messaging

4 years agoUpgrade to engine 3.15.0
JBM [Thu, 21 May 2020 12:56:18 +0000 (14:56 +0200)]
Upgrade to engine 3.15.0

4 years agoDocument length/distance duality and impending doom
JBM [Thu, 21 May 2020 00:53:37 +0000 (02:53 +0200)]
Document length/distance duality and impending doom

4 years agoDocument the maps
JBM [Wed, 20 May 2020 23:49:23 +0000 (01:49 +0200)]
Document the maps

4 years agoLink to contrib and forum
JBM [Wed, 20 May 2020 23:28:45 +0000 (01:28 +0200)]
Link to contrib and forum

4 years agoEnforce 1-stone rule. Animate defeats a bit more.
JBM [Wed, 20 May 2020 22:40:36 +0000 (00:40 +0200)]
Enforce 1-stone rule.  Animate defeats a bit more.

4 years agoEarly termination
JBM [Wed, 20 May 2020 14:53:19 +0000 (16:53 +0200)]
Early termination

4 years agoFill up statement
JBM [Wed, 20 May 2020 14:10:13 +0000 (16:10 +0200)]
Fill up statement

4 years agoMore .gitignore
JBM [Wed, 20 May 2020 14:10:04 +0000 (16:10 +0200)]
More .gitignore

4 years agoInitial commit
JBM [Wed, 20 May 2020 13:21:22 +0000 (15:21 +0200)]
Initial commit