master updated (fc582f5 -> c8051f3)

[Mathieu Othacehe]

mothacehe pushed a change to branch master.

    from fc582f5  specification: Use a default build-output path.
     new 826e2df  specification: channel->sexp: Add introduction support.
     new c8051f3  evaluate: Use cached-channel-instance.


Summary of changes:
 bin/evaluate.in               | 56 ++++++++++++++++++++++++-------------------
 src/cuirass/specification.scm | 28 +++++++++++++++++-----
 2 files changed, 53 insertions(+), 31 deletions(-)