Merge branch 'feature/llvm-19' into 'master'
LLVM 19 support See merge request frama-c/frama-clang!267
Showing
- .gitlab-ci.yml 2 additions, 2 deletions.gitlab-ci.yml
- framaCIRGen_src/ACSLLexer.h 1 addition, 0 deletionsframaCIRGen_src/ACSLLexer.h
- framaCIRGen_src/ACSLParser.cpp 1 addition, 1 deletionframaCIRGen_src/ACSLParser.cpp
- framaCIRGen_src/CMakeLists.txt 3 additions, 2 deletionsframaCIRGen_src/CMakeLists.txt
- framaCIRGen_src/Clang_utils.cpp 2 additions, 2 deletionsframaCIRGen_src/Clang_utils.cpp
- mangling.ml 18 additions, 14 deletionsmangling.ml
- nix/pkgs.nix 2 additions, 0 deletionsnix/pkgs.nix
- reorder_defs.ml 52 additions, 1 deletionreorder_defs.ml
- share/libc++/functional 2 additions, 2 deletionsshare/libc++/functional
- tests/stl/oracle/stl_algorithm.res.oracle 28 additions, 28 deletionstests/stl/oracle/stl_algorithm.res.oracle
- tests/stl/oracle/stl_functional.res.oracle 27 additions, 27 deletionstests/stl/oracle/stl_functional.res.oracle
- tests/stl/oracle/stl_iterator.res.oracle 4 additions, 4 deletionstests/stl/oracle/stl_iterator.res.oracle
- tests/stl/oracle/stl_memory.res.oracle 14 additions, 14 deletionstests/stl/oracle/stl_memory.res.oracle
- tests/stl/oracle/stl_shared_ptr_mistake10.res.oracle 5 additions, 5 deletionstests/stl/oracle/stl_shared_ptr_mistake10.res.oracle
- tests/stl/oracle/stl_shared_ptr_mistake5.res.oracle 5 additions, 5 deletionstests/stl/oracle/stl_shared_ptr_mistake5.res.oracle
- tests/stl/oracle/stl_shared_ptr_mistake6.res.oracle 5 additions, 5 deletionstests/stl/oracle/stl_shared_ptr_mistake6.res.oracle
- tests/stl/oracle/stl_system_error.res.oracle 5 additions, 5 deletionstests/stl/oracle/stl_system_error.res.oracle
- tests/stl/oracle/stl_unique_ptr.res.oracle 50 additions, 50 deletionstests/stl/oracle/stl_unique_ptr.res.oracle
- tests/stl/oracle/stl_utility.res.oracle 24 additions, 24 deletionstests/stl/oracle/stl_utility.res.oracle
- tests/template/instantiation_order.cpp 15 additions, 0 deletionstests/template/instantiation_order.cpp
Loading
Please register or sign in to comment