minor, provide stream.[ch] to deal with streams above the level of DSOs

Signed-off-by: Sebastian Freundt <freundt@ga-group.nl>
minor, migrate echse code to using strdef objects

Signed-off-by: Sebastian Freundt <freundt@ga-group.nl>
minor, support echs file reader in echs_open() via DSO echs-file (to be written)

Signed-off-by: Sebastian Freundt <freundt@ga-group.nl>
minor, provide __inst_0_p() predicate to check for 0 instant

Signed-off-by: Sebastian Freundt <freundt@ga-group.nl>
fix, take event streams that return the 0 instant out of consideration

Signed-off-by: Sebastian Freundt <freundt@ga-group.nl>
minor, provide echs-file DSO to deal with echs input files

Signed-off-by: Sebastian Freundt <freundt@ga-group.nl>
minor, change all DSO entry functions to take a closure argument

Signed-off-by: Sebastian Freundt <hroptatyr@fresse.org>
minor, adapt signatures of echs_stream() definitions in DSOs

Signed-off-by: Sebastian Freundt <hroptatyr@fresse.org>
Merge branch 'feat/echsdef' into next

* feat/echsdef:
  minor, adapt signatures of echs_stream() definitions in DSOs
  minor, change all DSO entry functions to take a closure argument
  minor, provide echs-file DSO to deal with echs input files
  fix, take event streams that return the 0 instant out of consideration
  minor, provide __inst_0_p() predicate to check for 0 instant
  minor, support echs file reader in echs_open() via DSO echs-file (to be written)
  minor, migrate echse code to using strdef objects
  minor, provide stream.[ch] to deal with streams above the level of DSOs
minor, really provide a file traversal in echs-file

Signed-off-by: Sebastian Freundt <freundt@ga-group.nl>
Merge branch 'feat/echsdef' into next

* feat/echsdef:
  minor, really provide a file traversal in echs-file
chore, adhere to signature changes (echs_stream() taking a closure object)

Signed-off-by: Sebastian Freundt <freundt@ga-group.nl>
minor, don't refill the event pool right away

Signed-off-by: Sebastian Freundt <freundt@ga-group.nl>
minor, operate on closures, make_echs_stream() entry function ...

returns a stream_t object (fun+clo).  And free_echs_stream() takes a
stream_t and finalises the closure (and function if need be).

Signed-off-by: Sebastian Freundt <freundt@ga-group.nl>
minor, wipe old DSO entry points (echs_stream(), init_stream(), fini_stream())

Signed-off-by: Sebastian Freundt <freundt@ga-group.nl>
fix, PEBKAC, hand in the actual instant to echs_open()

Signed-off-by: Sebastian Freundt <freundt@ga-group.nl>
minor, convert xmas DSO to new entry points and make it a simple state machine

Signed-off-by: Sebastian Freundt <freundt@ga-group.nl>
fix, PEBKAC, properly initialise echse clo object, and set rfll and last upon success

Signed-off-by: Sebastian Freundt <freundt@ga-group.nl>
fix, handle the case of no usable streams in echse tool

Signed-off-by: Sebastian Freundt <freundt@ga-group.nl>
minor, convert easter DSO to new entry points and make it a simple state machine

Signed-off-by: Sebastian Freundt <freundt@ga-group.nl>