master updated (a5346d6 -> 325edf2)

[Mathieu Othacehe]

mothacehe pushed a change to branch master.

    from a5346d6  remote: Enable core dump generation.
     new f5287dc  Add with-transaction.
     new b606719  Remove examples.
     new 325edf2  Rewrite evaluation.


Summary of changes:
 .dir-locals.el                |   1 +
 Makefile.am                   |  10 +-
 bin/cuirass.in                |  10 +-
 bin/evaluate.in               | 220 +++++++++++++-----------------------
 examples/gnu-system.scm       | 243 ----------------------------------------
 examples/guix-jobs.scm        |  47 --------
 examples/guix-track-git.scm   | 225 -------------------------------------
 examples/hello-git.scm        |  48 --------
 examples/hello-singleton.scm  |  41 -------
 examples/hello-subset.scm     |  52 ---------
 examples/random-jobs.scm      |  69 ------------
 examples/random.scm           |  36 ------
 src/cuirass/base.scm          | 252 ++++++++++--------------------------------
 src/cuirass/database.scm      | 189 +++++++++++++------------------
 src/cuirass/http.scm          |  67 ++++++-----
 src/cuirass/metrics.scm       |   3 +-
 src/cuirass/notification.scm  | 118 +++++++++++++-------
 src/cuirass/specification.scm | 153 +++++++++++++++++++++++++
 src/cuirass/templates.scm     | 123 +++++++++++++--------
 src/schema.sql                |  34 ++----
 tests/database.scm            | 113 ++++++++++---------
 tests/http.scm                |  77 +++++++------
 tests/metrics.scm             |   7 +-
 23 files changed, 673 insertions(+), 1465 deletions(-)
 delete mode 100644 examples/gnu-system.scm
 delete mode 100644 examples/guix-jobs.scm
 delete mode 100644 examples/guix-track-git.scm
 delete mode 100644 examples/hello-git.scm
 delete mode 100644 examples/hello-singleton.scm
 delete mode 100644 examples/hello-subset.scm
 delete mode 100644 examples/random-jobs.scm
 delete mode 100644 examples/random.scm
 create mode 100644 src/cuirass/specification.scm