zero-of-one/src, branch code-improvementsK-order Markov chain reply bot for IRC, precursor to JabberHive chatbots.
Seems to work reasonably well.2017-02-13T17:02:32+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-02-13T17:02:32+00:00f25fa7b132ef08431455075dadcf1823a5796dba
It's starting to "properly" reply...2017-02-09T19:03:33+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-02-09T19:03:33+00:007af295b2ec22f06b24079bf895ac97079f64b6d7
The ACSL coverage is far behind though.
Made Frama-C give up.2017-01-31T21:22:04+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-01-31T21:22:04+00:001dafef5fdf9d98b38cbe717b8a220d721f0ebea8
It validates (*sequence_length == (\old(*sequence_length) + 1))
regardless of the addition of an "*sequence_length -= 1;" in the code.
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:24+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-01-31T15:21:24+00:00509ac16d892aeb5091f68620247f6815d2e4b5f5
Trying out ACSL, continuing implementation.2017-01-29T18:54:26+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-01-29T18:54:26+00:001373211465c34015ee900e097aa87fbffb401187
Moving towards a server/clients structure.2017-01-20T21:19:09+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-01-20T21:19:09+00:00df3657b2a99ef20da99ac3c6c02f43cc23e70fca
Done with 'core', starting to work on 'knowledge'.2017-01-18T18:09:16+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-01-18T18:09:16+00:000d49fb74eadcf933f696420cd182077927680d26
Continuing the 'knowledge' refactoring.2017-01-08T16:58:18+00:00Nathanael SensfelderSpamShield0@MultiAgentSystems.org2017-01-08T16:58:18+00:0024afb3e60bafd98e6a83dcb41ee6a7f7d41e76bc