1. 09 Nov, 2020 1 commit
  2. 08 Nov, 2020 1 commit
  3. 07 Nov, 2020 1 commit
  4. 06 Nov, 2020 2 commits
  5. 01 Nov, 2020 1 commit
  6. 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
  7. 12 Oct, 2020 2 commits
  8. 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
  9. 22 Sep, 2020 3 commits
  10. 21 Sep, 2020 2 commits
  11. 20 Sep, 2020 1 commit
  12. 18 Sep, 2020 1 commit
  13. 04 Aug, 2020 1 commit
  14. 30 Jul, 2020 2 commits
  15. 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
  16. 27 Jul, 2020 9 commits
  17. 21 Jul, 2020 6 commits
  18. 20 Jul, 2020 1 commit
  19. 15 Jul, 2020 3 commits