INSTALL.md

ivette/Makefile.installation

opam

src/kernel_internals/parsing/dune

src/kernel_internals/parsing/logic_lexer.mll

src/kernel_internals/parsing/logic_parser.mly

src/kernel_services/ast_printing/cil_printer.ml

src/kernel_services/ast_queries/logic_utils.ml

src/plugins/e-acsl/tests/arith/oracle/gen_bitwise.c

src/plugins/e-acsl/tests/memory/oracle/gen_memalign.c

src/plugins/eva/dune

tests/libc/oracle/fc_libc.1.res.oracle

tests/spec/ghost_array.i

tests/spec/oracle/ghost_array.res.oracle

tests/spec/oracle/ghost_array_pretty.c

tests/spec/oracle/precedence.res.oracle

tests/spec/oracle/range.res.oracle

tests/spec/range.c