zero-of-one, branch code-improvements K-order Markov chain reply bot for IRC, precursor to JabberHive chatbots. https://www.segfault.tech/cgit.cgi/zero-of-one/atom?h=code-improvements 2017-02-13T17:02:32Z Seems to work reasonably well. 2017-02-13T17:02:32Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-02-13T17:02:32Z urn:sha1:f25fa7b132ef08431455075dadcf1823a5796dba It's starting to "properly" reply... 2017-02-09T19:03:33Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-02-09T19:03:33Z urn:sha1:7af295b2ec22f06b24079bf895ac97079f64b6d7 The ACSL coverage is far behind though. Changes knowledge structure, defines protocol. 2017-02-08T14:21:19Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-02-08T14:21:19Z urn:sha1:9ca43c73ba29d6b42cd771f1567074418c883c3e Continuing Implementation... 2017-02-03T21:20:35Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-02-03T21:20:35Z urn:sha1:ee26b8ff850add4f83b912635a71dbde06f268d1 Made Frama-C give up. 2017-01-31T21:22:04Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-01-31T21:22:04Z urn:sha1:1dafef5fdf9d98b38cbe717b8a220d721f0ebea8 It validates (*sequence_length == (\old(*sequence_length) + 1)) regardless of the addition of an "*sequence_length -= 1;" in the code. Switched to sockets, continuing implementation... 2017-01-31T15:21:24Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-01-31T15:21:24Z urn:sha1:509ac16d892aeb5091f68620247f6815d2e4b5f5 Trying out ACSL, continuing implementation. 2017-01-29T18:54:26Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-01-29T18:54:26Z urn:sha1:1373211465c34015ee900e097aa87fbffb401187 Moving towards a server/clients structure. 2017-01-20T21:19:09Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-01-20T21:19:09Z urn:sha1:df3657b2a99ef20da99ac3c6c02f43cc23e70fca Done with 'core', starting to work on 'knowledge'. 2017-01-18T18:09:16Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-01-18T18:09:16Z urn:sha1:0d49fb74eadcf933f696420cd182077927680d26 Continuing the 'knowledge' refactoring. 2017-01-08T16:58:18Z Nathanael Sensfelder SpamShield0@MultiAgentSystems.org 2017-01-08T16:58:18Z urn:sha1:24afb3e60bafd98e6a83dcb41ee6a7f7d41e76bc