GitLab

This commit might break the bench, I will fix it quickly I promise :)

# Conflicts:
#	doc/api.tex
#	examples/use_api/logic.ml

For some mind-boggling reason, gtksourceview's "smart" indenting is able
to modify a read-only buffer, so this commit disables indenting along
editing.

This commit also increases the bench timeout to 15 seconds to avoid
spurious failures on CI slaves, since McCarthy91Mach.f91_nonrec takes
about 5 seconds on a fast computer.

Don't store an int in a char and expect comparison to -1 to work across
architectures.

# Conflicts:
#	bench/ce/jlamp_array.mlw
#	bench/ce/jlamp_projections.mlw
#	bench/ce/jlamp_projections_CVC4,1.5.oracle
#	bench/ce/jlamp_projections_Z3,4.5.0.oracle
#	bench/ce/jlamp_projections_Z3,4.6.0.oracle
#	bench/ce/map.mlw
#	bench/ce/map_CVC4,1.5.oracle
#	bench/ce/map_Z3,4.5.0.oracle
#	bench/ce/map_Z3,4.6.0.oracle
#	bench/ce/records.mlw
#	bench/ce/records_CVC4,1.5.oracle
#	bench/ce/records_Z3,4.5.0.oracle
#	bench/ce/records_Z3,4.6.0.oracle
#	examples/verifythis_fm2012_LRS/why3session.xml
#	examples/verifythis_fm2012_LRS/why3shapes.gz

For some mind-boggling reason, gtksourceview's "smart" indenting is able
to modify a read-only buffer, so this commit disables indenting along
editing.

  vstte12_tree_reconstruction

This commit also increases the bench timeout to 15 seconds to avoid
spurious failures on CI slaves, since McCarthy91Mach.f91_nonrec takes
about 5 seconds on a fast computer.

Einstein's puzzle moved to former chapter 3 (new chapter 2)