Build:
- 0
2026-06-16 12:15.16: New job: build alt-ergo.2.1.0 (c6ece977a781)
2026-06-16 12:15.16: Waiting for resource in pool day11-builds
2026-06-16 12:54.16: Got resource from pool day11-builds
2026-06-16 12:54.16: [profile full] build alt-ergo.2.1.0
2026-06-16 12:54.16: build alt-ergo.2.1.0 (c6ece977a781)
=== DEPENDENCIES (17 transitive) ===
base-threads.base b7164ff76afe
base-unix.base 839dc585f12d
camlzip.1.07 dfddca21b4b7
conf-autoconf.0.2 b3cd190cf0b5
conf-gmp.5 61e3c79e0ddf
conf-pkg-config.5 64c6b37d622b
dune.3.23.1 5402470d931c
menhir.20211128 58c4ad093048
menhirLib.20211128 581f36ec2b3c
menhirSdk.20211128 ba9fa85c2874
num.1.6 480227ca99db
ocaml.4.14.4 cb826ea44eb2
ocaml-base-compiler.4.14.4 d2f775f983d7
ocaml-config.2 669e0fcf9e4d
ocamlfind.1.9.8 6025f4a8e98e
ocplib-simplex.0.4.1 e8755ec4bafa
zarith.1.14 cde7973b8292
=== STDOUT ===
Processing: [default: loading data]
[alt-ergo.2.1.0: dl]
[alt-ergo.2.1.0: extract]
[alt-ergo.2.1.0/compile-with-OCaml-4.04.patch: dl]
-> retrieved alt-ergo.2.1.0 (https://opam.ocaml.org/cache)
[alt-ergo: patch] applying compile-with-OCaml-4.04.patch
[alt-ergo: autoconf]
+ /usr/bin/autoconf (CWD=/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0)
- configure.in:315: warning: AC_OUTPUT should be used without arguments.
- configure.in:315: You should run autoupdate.
[alt-ergo: ./configure]
+ /home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/./configure "-prefix" "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0)
- checking for ocp-ocamlc... no
- checking for ocamlc... ocamlc
- ocaml version is 4.14.4
- ocaml library path is /home/opam/.opam/default/lib/ocaml
- checking for ocamlfind... yes
- ocamlfind found zarith in -I /home/opam/.opam/default/lib/zarith
- ocamlfind found num in -I /home/opam/.opam/default/lib/num
- ocamlfind found camlzip in -I /home/opam/.opam/default/lib/camlzip/../zip
- ocamlfind found ocplib-simplex in -I /home/opam/.opam/default/lib/ocplib-simplex
- checking for ocp-ocamlopt... no
- checking for ocamlopt... ocamlopt
- checking ocamlopt version... ok
- checking for ocp-ocamlc.opt... no
- checking for ocamlc.opt... ocamlc.opt
- checking ocamlc.opt version... ok
- checking for ocp-ocamlopt.opt... no
- checking for ocamlopt.opt... ocamlopt.opt
- checking ocamlc.opt version... ok
- checking for ocamldep... ocamldep
- checking for ocamllex... ocamllex
- checking for ocamllex.opt... ocamllex.opt
- checking for menhir... menhir
- ocamlfind: Package `lablgtk2.sourceview2' not found
- checking for /home/opam/.opam/default/lib/ocaml/lablgtk2/lablgtksourceview2.cma... no
- Will not be able to compile GUI. Please install the *liblablgtksourceview2-ocaml-dev* Debian package - or use the GODI caml package system *http://godi.ocaml-programming.de/* - or compile from sources *http://wwwfun.kurims.kyoto-u.ac.jp/soft/lsl/lablgtk.html*
- checking for ocamlweb... true
- checking platform... configure: creating ./config.status
- config.status: creating Makefile.configurable
- config.status: WARNING: 'Makefile.configurable.in' seems to ignore the --datarootdir setting
[alt-ergo: make]
+ /usr/bin/make (CWD=/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0)
- menhir -v parsers/why/why_parser.mly
- ocamllex.opt parsers/why/why_lexer.mll > /dev/null
- ocamldep -slash -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/util/*.ml* lib/structures/*.ml* lib/reasoners/*.ml* lib/frontend/*.ml* tools/text/*.ml* \
- tools/gui/*.ml* parsers/why/*.ml* plugins/fm-simplex/*ml* > .depend
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/util/config.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/util/config.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/util/version.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/util/version.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/util/emap.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/util/emap.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/util/myUnix.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/util/myUnix.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/util/myUnix.ml", line 19, characters 7-22:
- 19 | if Pervasives.(<>) timelimit 0. then
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/util/myDynlink.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/util/myDynlink.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/util/myZip.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/util/myZip.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/util/util.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/util/util.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/util/lists.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/util/lists.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/util/numbersInterface.mli
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/util/numsNumbers.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/util/numsNumbers.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/util/zarithNumbers.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/util/zarithNumbers.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/util/zarithNumbers.ml", line 156, characters 16-30:
- 156 | let abs_n = Pervasives.abs n in
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/util/numbers.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/util/numbers.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/util/numbers.ml", line 51, characters 13-27:
- 51 | if Pervasives.(<) v min_float then min_float
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/util/numbers.ml", line 52, characters 18-32:
- 52 | else if Pervasives.(>) v max_float then max_float
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/util/options.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/util/options.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/util/options.ml", line 611, characters 33-51:
- 611 | let compare (a: int) (b: int) = Pervasives.compare a b
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/util/vec.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/util/vec.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/util/cmdline_parser.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/util/cmdline_parser.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/util/timers.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/util/timers.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/util/gc_debug.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/util/gc_debug.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/util/loc.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/util/loc.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/util/hconsing.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/util/hconsing.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/util/hstring.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/util/hstring.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/structures/ty.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/structures/ty.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/structures/ty.ml", line 205, characters 33-51:
- 205 | | Tvar{v=v1} , Tvar{v=v2} -> Pervasives.compare v1 v2
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/structures/ty.ml", line 228, characters 17-35:
- 228 | | t1 , t2 -> Pervasives.compare t1 t2
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/structures/ty.ml", line 271, characters 52-70:
- 271 | module M = Map.Make(struct type t=int let compare = Pervasives.compare end)
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/structures/ty.ml", line 343, characters 30-48:
- 343 | let compare_subst = M.compare Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/structures/ty.ml", line 345, characters 26-40:
- 345 | let equal_subst = M.equal Pervasives.(=)
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/structures/ty.ml", line 386, characters 45-63:
- 386 | Set.Make(struct type t = int let compare = Pervasives.compare end)
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/structures/symbols.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/structures/symbols.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/structures/symbols.ml", line 117, characters 10-28:
- 117 | | _ -> Pervasives.compare s1 s2
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/structures/term.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/structures/term.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/structures/term.ml", line 273, characters 4-18:
- 273 | Pervasives.(=) (String.sub (Sy.to_string v.f) 0 4) "_sko"
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/structures/term.ml", line 341, characters 6-20:
- 341 | try Pervasives.(=) (String.sub (Hstring.view h) 0 6) "model:"
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/structures/literal.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/structures/literal.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/structures/literal.ml", line 98, characters 22-40:
- 98 | let compare a1 a2 = Pervasives.compare a1.tpos a2.tpos
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/structures/formula.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/structures/formula.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/structures/formula.ml", line 109, characters 10-28:
- 109 | let c = Pervasives.compare (size f1) (size f2) in
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/structures/formula.ml", line 110, characters 14-32:
- 110 | if c=0 then Pervasives.compare v1.tag v2.tag else c
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/structures/formula.ml", line 861, characters 6-20:
- 861 | try Pervasives.(=) (String.sub (Hstring.view h) 0 6) "model:"
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/structures/explanation.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/structures/explanation.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/structures/exception.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/structures/exception.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/structures/parsed.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/structures/parsed.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/structures/errors.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/structures/errors.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/structures/typed.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/structures/typed.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/structures/fpa_rounding.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/structures/fpa_rounding.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/structures/commands.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/structures/commands.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/structures/profiling.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/structures/profiling.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/structures/profiling.ml", line 89, characters 7-21:
- 89 | if Pervasives.(>) v 0. then v else -. v
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/structures/profiling.ml", line 629, characters 5-19:
- 629 | if Pervasives.(=) v 0. then fprintf fmt "-- "
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/structures/profiling.ml", line 630, characters 10-24:
- 630 | else if Pervasives.(<) v 10. then fprintf fmt "%0.5f" v
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/structures/profiling.ml", line 631, characters 10-24:
- 631 | else if Pervasives.(<) v 100. then fprintf fmt "%0.4f" v
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/reasoners/matching_types.mli
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/reasoners/sig.mli
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/reasoners/matching.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/matching.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/reasoners/use.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/use.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/reasoners/ac.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/ac.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/reasoners/uf.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/uf.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/reasoners/sum.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/sum.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/reasoners/records.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/records.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/reasoners/polynome.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/polynome.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/reasoners/bitv.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/bitv.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/reasoners/arrays.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/arrays.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/reasoners/intervals.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/intervals.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/reasoners/inequalities.mli
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/reasoners/inequalities.mli", line 79, characters 3-5:
- 79 | (Uf : Uf.S with type r = X.r)
- ^^
- Warning 67 [unused-functor-parameter]: unused functor parameter Uf.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/reasoners/inequalities.mli", line 86, characters 5-7:
- 86 | (Uf : Uf.S with type r = X.r)
- ^^
- Warning 67 [unused-functor-parameter]: unused functor parameter Uf.
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/inequalities.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/reasoners/inequalities.ml", line 87, characters 5-7:
- 87 | (Uf : Uf.S with type r = X.r)
- ^^
- Warning 67 [unused-functor-parameter]: unused functor parameter Uf.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/reasoners/inequalities.ml", line 96, characters 5-7:
- 96 | (Uf : Uf.S with type r = X.r)
- ^^
- Warning 60 [unused-module]: unused module Uf.
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/reasoners/intervalCalculus.mli
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/reasoners/intervalCalculus.mli", line 32, characters 3-4:
- 32 | (P : Polynome.EXTENDED_Polynome with type r = X.r)
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter P.
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/intervalCalculus.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/reasoners/arith.mli
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/reasoners/arith.mli", line 39, characters 3-4:
- 39 | (P : Polynome.EXTENDED_Polynome with type r = X.r)
- ^
- Warning 67 [unused-functor-parameter]: unused functor parameter P.
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/arith.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/reasoners/combine.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/combine.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/reasoners/ccx.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/ccx.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/reasoners/theory.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/theory.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/reasoners/instances.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/instances.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/reasoners/sat_solver_sig.mli
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/reasoners/fun_sat.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/fun_sat.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/reasoners/fun_sat.ml", line 72, characters 31-46:
- 72 | stable := !stable && Pervasives.(<=) w 1e100;
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/reasoners/fun_sat.ml", line 98, characters 18-36:
- 98 | let c = Pervasives.compare b2 b1 in
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/reasoners/fun_sat.ml", line 100, characters 15-33:
- 100 | else Pervasives.compare x2 x1
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/reasoners/fun_sat.ml", line 965, characters 4-19:
- 965 | Pervasives.(<>) (Options.interpretation_timelimit ()) 0. then
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/reasoners/satml.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/satml.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/reasoners/satml.ml", line 1417, characters 4-18:
- 1417 | Pervasives.(<) (Vec.get env.vars j).weight (Vec.get env.vars i).weight
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/reasoners/satml.ml", line 1431, characters 7-21:
- 1431 | if Pervasives.(>) v.weight 1e100 then begin
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/reasoners/satml.ml", line 1443, characters 7-21:
- 1443 | if Pervasives.(>) c.activity 1e20 then begin
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/reasoners/satml.ml", line 1930, characters 12-30:
- 1930 | let c = Pervasives.compare c1.activity c2.activity in
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/reasoners/satml.ml", line 288, characters 8-36:
- 288 | mutable atoms : atom Vec.t ;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field atoms is never mutated.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/reasoners/satml.ml", line 293, characters 8-24:
- 293 | form : Formula.t}
- ^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field form is never read.
- (However, this field is used to build or mutate values.)
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/reasoners/satml.ml", line 281, characters 8-39:
- 281 | mutable watched : clause Vec.t;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field watched is never mutated.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/reasoners/satml.ml", line 270, characters 9-31:
- 270 | mutable sweight : int;
- ^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field sweight is never read.
- (However, this field is used to build or mutate values.)
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/reasoners/satml.ml", line 1207, characters 8-31:
- 1207 | expensive_ccmin : bool;
- ^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field expensive_ccmin is never read.
- (However, this field is used to build or mutate values.)
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/reasoners/satml.ml", line 1210, characters 8-29:
- 1210 | polarity_mode : bool;
- ^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field polarity_mode is never read.
- (However, this field is used to build or mutate values.)
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/reasoners/satml_frontend.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/satml_frontend.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/reasoners/satml_frontend.ml", line 533, characters 16-34:
- 533 | let res = Pervasives.compare w2 w1 in
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/reasoners/satml_frontend.ml", line 917, characters 19-33:
- 917 | let aux mx f = Pervasives.max mx (F.max_term_depth f) in
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/reasoners/sat_solver.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/reasoners/sat_solver.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/frontend/triggers.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/frontend/triggers.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/frontend/triggers.ml", line 36, characters 54-72:
- 36 | module Vtype = Set.Make(struct type t=int let compare=Pervasives.compare end)
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/frontend/triggers.ml", line 53, characters 17-35:
- 53 | | x , y -> Pervasives.compare x y
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/frontend/triggers.ml", line 58, characters 9-27:
- 58 | let c = Pervasives.compare x y in if c=0 then compare_list l1 l2 else c
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/frontend/triggers.ml", line 78, characters 11-29:
- 78 | | _ -> Pervasives.compare c1 c2
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/frontend/triggers.ml", line 154, characters 28-46:
- 154 | if c <> 0 then c else Pervasives.compare (a1, b1, c1, d1) (a2, b2, c2, d2)
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/frontend/triggers.ml", line 192, characters 14-32:
- 192 | let c = Pervasives.compare a1 a2 in
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/frontend/cnf.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/frontend/cnf.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/frontend/typechecker.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/frontend/typechecker.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/frontend/typechecker.ml", line 39, characters 48-66:
- 39 | Map.Make(struct type t = string let compare = Pervasives.compare end)
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/frontend/typechecker.ml", line 81, characters 30-44:
- 81 | | PPTvarid (y, _) -> Pervasives.(=) x y
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/frontend/typechecker.ml", line 100, characters 35-49:
- 100 | | PPTexternal (l, s, loc) when Pervasives.(=) s "farray" ->
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/frontend/typechecker.ml", line 111, characters 28-42:
- 111 | | Some (id, vars, ty) when Pervasives.(=) s id &&
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/frontend/typechecker.ml", line 739, characters 7-21:
- 739 | if Pervasives.(=) p "<=" || Pervasives.(=) p "<" then
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/frontend/typechecker.ml", line 739, characters 32-46:
- 739 | if Pervasives.(=) p "<=" || Pervasives.(=) p "<" then
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/frontend/typechecker.ml", line 1735, characters 6-20:
- 1735 | try Pervasives.(=) (String.sub s 0 2) "@L" with Invalid_argument _ -> false
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/frontend/typechecker.ml", line 1738, characters 6-20:
- 1738 | try Pervasives.(=) (String.sub s 0 2) "@H" with Invalid_argument _ -> false
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/frontend/parsed_interface.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/frontend/parsed_interface.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/frontend/frontend.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/frontend/frontend.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/frontend/parsers.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/frontend/parsers.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/lib/frontend/parsers.ml", line 103, characters 9-24:
- 103 | if Pervasives.(<>) file "" then
- ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex parsers/why/why_parser.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo parsers/why/why_parser.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo parsers/why/why_lexer.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/parsers/why/why_lexer.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex lib/frontend/parsers_loader.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo lib/frontend/parsers_loader.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex tools/text/main_text.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo tools/text/main_text.ml
- ocamlopt.opt -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo -o alt-ergo.opt zarith.cmxa nums.cmxa unix.cmxa dynlink.cmxa str.cmxa zip.cmxa ocplibSimplex.cmxa lib/util/config.cmx lib/util/version.cmx lib/util/emap.cmx lib/util/myUnix.cmx lib/util/myDynlink.cmx lib/util/myZip.cmx lib/util/util.cmx lib/util/lists.cmx lib/util/numsNumbers.cmx lib/util/zarithNumbers.cmx lib/util/numbers.cmx lib/util/options.cmx lib/util/vec.cmx lib/util/cmdline_parser.cmx lib/util/timers.cmx lib/util/gc_debug.cmx lib/util/loc.cmx lib/util/hconsing.cmx lib/util/hstring.cmx lib/structures/exception.cmx lib/structures/symbols.cmx lib/structures/ty.cmx lib/structures/parsed.cmx lib/structures/errors.cmx lib/structures/typed.cmx lib/structures/term.cmx lib/structures/fpa_rounding.cmx lib/structures/literal.cmx lib/structures/formula.cmx lib/structures/explanation.cmx lib/structures/commands.cmx lib/structures/profiling.cmx lib/reasoners/matching.cmx lib/reasoners/instances.cmx lib/reasoners/polynome.cmx lib/reasoners/ac.cmx lib/reasoners/uf.cmx lib/reasoners/use.cmx lib/reasoners/intervals.cmx lib/reasoners/inequalities.cmx lib/reasoners/intervalCalculus.cmx lib/reasoners/arith.cmx lib/reasoners/records.cmx lib/reasoners/bitv.cmx lib/reasoners/arrays.cmx lib/reasoners/sum.cmx lib/reasoners/combine.cmx lib/reasoners/ccx.cmx lib/reasoners/theory.cmx lib/reasoners/fun_sat.cmx lib/reasoners/satml.cmx lib/reasoners/satml_frontend.cmx lib/reasoners/sat_solver.cmx lib/frontend/triggers.cmx lib/frontend/cnf.cmx lib/frontend/typechecker.cmx lib/frontend/parsed_interface.cmx lib/frontend/frontend.cmx lib/frontend/parsers.cmx parsers/why/why_parser.cmx parsers/why/why_lexer.cmx lib/frontend/parsers_loader.cmx tools/text/main_text.cmx
- gui compilation skipped (lablgtksourceview not detected)
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo plugins/fm-simplex/simplex.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/plugins/fm-simplex/simplex.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/plugins/fm-simplex/simplex.ml", line 350, characters 19-38:
- 350 | let subst_in_p ({a=a ; c=c} as pp) ((s,lhs), {a=rhs_a; c=rhs_c}) =
- ^^^^^^^^^^^^^^^^^^^
- Warning 68 [match-on-mutable-state-prevent-uncurry]: This pattern depends on mutable state.
- It prevents the remaining arguments from being uncurried, which will cause additional closure allocations.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/plugins/fm-simplex/simplex.ml", line 520, characters 23-34:
- 520 | let compact_poly_2 {a=a ; c=c} base new_len h_zsbt =
- ^^^^^^^^^^^
- Warning 68 [match-on-mutable-state-prevent-uncurry]: This pattern depends on mutable state.
- It prevents the remaining arguments from being uncurried, which will cause additional closure allocations.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/plugins/fm-simplex/simplex.ml", line 532, characters 21-32:
- 532 | let compact_poly {a=a ; c=c} base new_len h_zsbt =
- ^^^^^^^^^^^
- Warning 68 [match-on-mutable-state-prevent-uncurry]: This pattern depends on mutable state.
- It prevents the remaining arguments from being uncurried, which will cause additional closure allocations.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/plugins/fm-simplex/simplex.ml", line 637, characters 14-36:
- 637 | let subst ({a2=a2; c2=c2} as pp) lhs {a2=rhs_a2; c2=rhs_c2} =
- ^^^^^^^^^^^^^^^^^^^^^^
- Warning 68 [match-on-mutable-state-prevent-uncurry]: This pattern depends on mutable state.
- It prevents the remaining arguments from being uncurried, which will cause additional closure allocations.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/plugins/fm-simplex/simplex.ml", line 704, characters 27-54:
- 704 | let change_pivot ch_vr (old_vr, {a2=old_a; c2=c2}) distr order =
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 68 [match-on-mutable-state-prevent-uncurry]: This pattern depends on mutable state.
- It prevents the remaining arguments from being uncurried, which will cause additional closure allocations.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/plugins/fm-simplex/simplex.ml", line 894, characters 25-32:
- 894 | let infos_of distr q {c2=c2} ctx =
- ^^^^^^^
- Warning 68 [match-on-mutable-state-prevent-uncurry]: This pattern depends on mutable state.
- It prevents the remaining arguments from being uncurried, which will cause additional closure allocations.
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/plugins/fm-simplex/simplex.ml", line 970, characters 17-39:
- 970 | let subst_spec ({a2=a2; c2=c2} as pp) v {a2=rhs_a2; c2=rhs_c2} =
- ^^^^^^^^^^^^^^^^^^^^^^
- Warning 68 [match-on-mutable-state-prevent-uncurry]: This pattern depends on mutable state.
- It prevents the remaining arguments from being uncurried, which will cause additional closure allocations.
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo plugins/fm-simplex/simplex_cache.ml
- File "/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0/plugins/fm-simplex/simplex_cache.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex plugins/fm-simplex/fmSimplexIneqs.mli
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -w +A-45-27-4-9-44-32-48-41-6-22 -inline 100 -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -for-pack AltErgo plugins/fm-simplex/fmSimplexIneqs.ml
- ocamlopt.opt -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/zarith -I /home/opam/.opam/default/lib/camlzip/../zip -I /home/opam/.opam/default/lib/ocplib-simplex -I lib/util -I lib/structures -I lib/reasoners -I lib/frontend -I tools/text -I tools/gui -I parsers/why -I plugins/fm-simplex -shared -o fm-simplex-plugin.cmxs plugins/fm-simplex/simplex_cache.cmx plugins/fm-simplex/simplex.cmx plugins/fm-simplex/fmSimplexIneqs.cmx
-> compiled alt-ergo.2.1.0
[alt-ergo: make install]
+ /usr/bin/make "install" "MANDIR=/home/opam/.opam/default/man" (CWD=/home/opam/.opam/default/.opam-switch/build/alt-ergo.2.1.0)
- mkdir -p /home/opam/.opam/default/man/man1
- cp -f doc/alt-ergo.1 /home/opam/.opam/default/man/man1
- mkdir -p /home/opam/.opam/default/lib/alt-ergo/preludes
- cp -f preludes/fpa-theory-2017-01-04-16h00.why /home/opam/.opam/default/lib/alt-ergo/preludes/
- mkdir -p /home/opam/.opam/default/bin
- cp -f alt-ergo.opt /home/opam/.opam/default/bin/alt-ergo
- mkdir -p /home/opam/.opam/default/lib/alt-ergo/plugins
- cp -f fm-simplex-plugin.cmxs /home/opam/.opam/default/lib/alt-ergo/plugins
-> installed alt-ergo.2.1.0
[WARNING] Opam packages conf-autoconf.0.2, conf-gmp.5 and conf-pkg-config.5 depend on the following system packages that are no longer installed: autoconf libgmp-dev pkg-config
- conf-autoconf.0.2: depends on autoconf
- conf-gmp.5: depends on libgmp-dev
- conf-pkg-config.5: depends on pkg-config
=== STDERR ===
2026-06-16 12:55.07: OK: build alt-ergo.2.1.0 (runc: 35.2s, disk: 98KB)
2026-06-16 12:55.07: Job succeeded