Merge branch 'feature/andre/machdep-generator' into 'master'
[kernel] first attempt at machdep generator Closes #1124 See merge request frama-c/frama-c!4024
Showing
- .gitattributes 3 additions, 1 deletion.gitattributes
- .gitignore 2 additions, 0 deletions.gitignore
- doc/developer/advance.tex 159 additions, 128 deletionsdoc/developer/advance.tex
- doc/developer/changes.tex 5 additions, 4 deletionsdoc/developer/changes.tex
- doc/userman/user-changes.tex 1 addition, 0 deletionsdoc/userman/user-changes.tex
- doc/userman/user-sources.tex 5 additions, 2 deletionsdoc/userman/user-sources.tex
- nix/frama-c.nix 6 additions, 0 deletionsnix/frama-c.nix
- nix/pkgs.nix 2 additions, 1 deletionnix/pkgs.nix
- nix/ppx_deriving_yaml.nix 27 additions, 0 deletionsnix/ppx_deriving_yaml.nix
- nix/yaml.nix 32 additions, 0 deletionsnix/yaml.nix
- opam 1 addition, 0 deletionsopam
- share/dune 61 additions, 2 deletionsshare/dune
- share/libc/__fc_define_sigset_t.h 0 additions, 1 deletionshare/libc/__fc_define_sigset_t.h
- share/libc/__fc_machdep_linux_shared.h 0 additions, 3 deletionsshare/libc/__fc_machdep_linux_shared.h
- share/libc/__fc_machdep_old.c 4 additions, 0 deletionsshare/libc/__fc_machdep_old.c
- share/libc/errno.h 2 additions, 0 deletionsshare/libc/errno.h
- share/libc/inttypes.h 88 additions, 89 deletionsshare/libc/inttypes.h
- share/libc/limits.h 80 additions, 23 deletionsshare/libc/limits.h
- share/libc/signal.h 10 additions, 4 deletionsshare/libc/signal.h
- share/libc/stdint.h 5 additions, 5 deletionsshare/libc/stdint.h
Loading
Please register or sign in to comment