Merge branch 'master' into feature/ivette/electron
Showing
- headers/header_spec.txt 2 additions, 0 deletionsheaders/header_spec.txt
- ptests/ptests.ml 1 addition, 1 deletionptests/ptests.ml
- share/Makefile.dynamic 4 additions, 4 deletionsshare/Makefile.dynamic
- src/kernel_internals/typing/cabs2cil.ml 12 additions, 6 deletionssrc/kernel_internals/typing/cabs2cil.ml
- src/kernel_services/analysis/bit_utils.ml 1 addition, 1 deletionsrc/kernel_services/analysis/bit_utils.ml
- src/kernel_services/ast_queries/cil.ml 15 additions, 4 deletionssrc/kernel_services/ast_queries/cil.ml
- src/kernel_services/ast_queries/cil.mli 8 additions, 1 deletionsrc/kernel_services/ast_queries/cil.mli
- src/kernel_services/ast_queries/file.ml 26 additions, 22 deletionssrc/kernel_services/ast_queries/file.ml
- src/kernel_services/ast_queries/json_compilation_database.ml 58 additions, 12 deletionssrc/kernel_services/ast_queries/json_compilation_database.ml
- src/kernel_services/ast_queries/json_compilation_database.mli 6 additions, 0 deletions...kernel_services/ast_queries/json_compilation_database.mli
- src/plugins/aorai/tests/ltl/oracle/goto.res.oracle 2 additions, 2 deletionssrc/plugins/aorai/tests/ltl/oracle/goto.res.oracle
- src/plugins/aorai/tests/ltl/oracle/test_boucle.res.oracle 2 additions, 2 deletionssrc/plugins/aorai/tests/ltl/oracle/test_boucle.res.oracle
- src/plugins/aorai/tests/ltl/oracle/test_boucle1.res.oracle 1 addition, 1 deletionsrc/plugins/aorai/tests/ltl/oracle/test_boucle1.res.oracle
- src/plugins/aorai/tests/ltl/oracle/test_boucle2.res.oracle 1 addition, 1 deletionsrc/plugins/aorai/tests/ltl/oracle/test_boucle2.res.oracle
- src/plugins/aorai/tests/ltl/oracle/test_boucle3.res.oracle 1 addition, 1 deletionsrc/plugins/aorai/tests/ltl/oracle/test_boucle3.res.oracle
- src/plugins/aorai/tests/ltl/oracle/test_factorial.res.oracle 1 addition, 1 deletionsrc/plugins/aorai/tests/ltl/oracle/test_factorial.res.oracle
- src/plugins/aorai/tests/ltl/oracle/test_recursion1.res.oracle 4 additions, 4 deletions...plugins/aorai/tests/ltl/oracle/test_recursion1.res.oracle
- src/plugins/aorai/tests/ltl/oracle/test_recursion2.0.res.oracle 1 addition, 1 deletion...ugins/aorai/tests/ltl/oracle/test_recursion2.0.res.oracle
- src/plugins/aorai/tests/ltl/oracle/test_recursion2.1.res.oracle 1 addition, 1 deletion...ugins/aorai/tests/ltl/oracle/test_recursion2.1.res.oracle
- src/plugins/aorai/tests/ltl/oracle/test_switch2.res.oracle 3 additions, 3 deletionssrc/plugins/aorai/tests/ltl/oracle/test_switch2.res.oracle
Loading
Please register or sign in to comment