Merge remote-tracking branch 'origin/feature/bobot/jbuilder' into feature/bobot/jbuilder
No related branches found
No related tags found
Showing
- Makefile 3 additions, 2 deletionsMakefile
- ptests/dune 1 addition, 2 deletionsptests/dune
- ptests/ptests.ml 10 additions, 5 deletionsptests/ptests.ml
- tests/builtins/Longinit_sequencer.i 0 additions, 5 deletionstests/builtins/Longinit_sequencer.i
- tests/builtins/Longinit_sequencer.ml 0 additions, 67 deletionstests/builtins/Longinit_sequencer.ml
- tests/cil/change_formals.c 4 additions, 4 deletionstests/cil/change_formals.c
- tests/cil/cpu_a.c 1 addition, 1 deletiontests/cil/cpu_a.c
- tests/cil/merge.c 1 addition, 1 deletiontests/cil/merge.c
- tests/cil/merge2.c 1 addition, 1 deletiontests/cil/merge2.c
- tests/float/oracle/math_builtins.res.oracle 104 additions, 104 deletionstests/float/oracle/math_builtins.res.oracle
- tests/idct/ieee_1180_1990.c 1 addition, 1 deletiontests/idct/ieee_1180_1990.c
- tests/misc/add_assigns.i 2 additions, 1 deletiontests/misc/add_assigns.i
- tests/misc/bts0990_link.i 1 addition, 1 deletiontests/misc/bts0990_link.i
- tests/misc/bts1347.i 1 addition, 0 deletionstests/misc/bts1347.i
- tests/misc/cpp-extra-args-per-file1.c 1 addition, 1 deletiontests/misc/cpp-extra-args-per-file1.c
- tests/misc/global_decl_loc.i 1 addition, 1 deletiontests/misc/global_decl_loc.i
- tests/misc/log_twice.i 1 addition, 1 deletiontests/misc/log_twice.i
- tests/misc/long_ident.c 1 addition, 1 deletiontests/misc/long_ident.c
- tests/misc/mergestruct2.i 1 addition, 1 deletiontests/misc/mergestruct2.i
- tests/misc/obfuscate.c 1 addition, 1 deletiontests/misc/obfuscate.c
Loading
Please register or sign in to comment