1. 22 Jan, 2022 2 commits
  2. 17 Jan, 2022 1 commit
  3. 07 Dec, 2020 1 commit
  4. 03 Dec, 2020 3 commits
  5. 16 Nov, 2020 1 commit
  6. 14 Nov, 2020 2 commits
  7. 09 Nov, 2020 1 commit
  8. 08 Nov, 2020 1 commit
  9. 07 Nov, 2020 1 commit
  10. 06 Nov, 2020 2 commits
  11. 01 Nov, 2020 1 commit
  12. 30 Oct, 2020 1 commit
    • Xavier Leroy's avatar
      Add -main option to specify entrypoint function in interpreter mode (#374) · b1b853a2
      Xavier Leroy authored
      When running unit tests with the CompCert reference interpreter, it's nice to be able to start execution at a given test function instead of having to write a main function.
      
      This PR adds a -main command-line option to give the name of the entry point function. The default is still main. Frama-C has a similar option.
      
      The function specified with -main is called with no arguments. If its return type is int, its return value is the exit status of the program. Otherwise, its return value is ignored and the program exits with status 0.
      b1b853a2
  13. 12 Oct, 2020 2 commits
  14. 05 Oct, 2020 1 commit
    • Xavier Leroy's avatar
      Support Cygwin 64 bits · 26ddb902
      Xavier Leroy authored
      - Add support for the Win64 ABI to the x86_64 port
      - Update vararg support to handle Win64 conventions
      - Configure support for x86_64-cygwin64
      26ddb902
  15. 22 Sep, 2020 3 commits
  16. 21 Sep, 2020 2 commits
  17. 20 Sep, 2020 1 commit
  18. 18 Sep, 2020 1 commit
  19. 04 Aug, 2020 1 commit
  20. 30 Jul, 2020 2 commits
  21. 29 Jul, 2020 1 commit
    • Xavier Leroy's avatar
      Remove support for x86-32 under macOS · 338509ae
      Xavier Leroy authored
      32-bit executables cannot be built since XCode 10.0 (sep 2018).
      32-bit executables cannot be executed since MacOS 10.15 (oct 2019).
      Better remove x86-32 support and fail at configuration time instead of
      at the end of the build.
      338509ae
  22. 27 Jul, 2020 9 commits