summaryrefslogtreecommitdiff
path: root/src/session.mli
AgeCommit message (Collapse)Author
2016-12-30Expose the string_of_op function in the module interface.Daniil Baturin
2016-12-28Update the session module interface to expose the new functions.Daniil Baturin
2016-12-15T212: use a directory (normally $program_dir/validators) for external ↵Daniil Baturin
validators. What's bad is that right now way too many things are aware of the nature of external validators, and the validators dir (formerly validators hashtable) is passed around a lot. We'll need to think it through.
2015-09-23Expose set and delete in session module signature.Daniil Baturin
2015-09-23Factor out common session data into a world type.Daniil Baturin
2015-09-23Add session module stub.Daniil Baturin