Merge branch 'fix/machdep/make-machdep-install' into 'stable/cobalt'
Easier use of make_machdep.py in installed Frama-C See merge request frama-c/frama-c!4215
No related branches found
No related tags found
Showing
- bin/frama-c-script 5 additions, 0 deletionsbin/frama-c-script
- nix/frama-c.nix 4 additions, 0 deletionsnix/frama-c.nix
- nix/internal-tests.nix 4 additions, 0 deletionsnix/internal-tests.nix
- share/dune 27 additions, 2 deletionsshare/dune
- share/machdeps/machdep_avr_16.yaml 5 additions, 0 deletionsshare/machdeps/machdep_avr_16.yaml
- share/machdeps/machdep_avr_8.yaml 5 additions, 0 deletionsshare/machdeps/machdep_avr_8.yaml
- share/machdeps/make_machdep/make_machdep.py 20 additions, 16 deletionsshare/machdeps/make_machdep/make_machdep.py
- tests/fc_script/oracle/custom_machdep.yaml 183 additions, 0 deletionstests/fc_script/oracle/custom_machdep.yaml
- tests/fc_script/oracle/find_fun1.res 1 addition, 1 deletiontests/fc_script/oracle/find_fun1.res
- tests/fc_script/oracle/find_fun2.res 1 addition, 1 deletiontests/fc_script/oracle/find_fun2.res
- tests/fc_script/oracle/find_fun3.res 1 addition, 1 deletiontests/fc_script/oracle/find_fun3.res
- tests/fc_script/oracle/make_machdep.err.log 0 additions, 0 deletionstests/fc_script/oracle/make_machdep.err.log
- tests/fc_script/test_machdep.i 12 additions, 0 deletionstests/fc_script/test_machdep.i
- tools/ptests/ptests.ml 5 additions, 1 deletiontools/ptests/ptests.ml
- tools/ptests/wtests.ml 2 additions, 1 deletiontools/ptests/wtests.ml
Loading
Please register or sign in to comment