[csmith-project/csmith] 4d961d: Add command line paramters to set integer and poin...

[Xuejun Yang <noreply@github.com>]

  Branch: refs/heads/master
  Home:   https://github.com/csmith-project/csmith
  Commit: 4d961da309bcfa9e01f0052c44a84deb9c88811f
      https://github.com/csmith-project/csmith/commit/4d961da309bcfa9e01f0052c44a84deb9c88811f
  Author: Johan Bengtsson <jo.github@joersios.se>
  Date:   2020-07-03 (Fri, 03 Jul 2020)

  Changed paths:
    M src/RandomProgramGenerator.cpp

  Log Message:
  -----------
  Add command line paramters to set integer and pointer size

This makes it possible to set the pointer and integer sizes without using a
platform.info file.


  Commit: 2841ae11e286d1702d394867110563db9842fe51
      https://github.com/csmith-project/csmith/commit/2841ae11e286d1702d394867110563db9842fe51
  Author: Johan Bengtsson <jo.github@joersios.se>
  Date:   2020-07-03 (Fri, 03 Jul 2020)

  Changed paths:
    M src/CGOptions.cpp

  Log Message:
  -----------
  Remove creation of platform.info file

Csmith will no longer create platform.info when it is not present in the
current directory. If will still look for the file and use the information if
one is found.


  Commit: 0bd545feec35013caa8fa8732f12f8da28fa35be
      https://github.com/csmith-project/csmith/commit/0bd545feec35013caa8fa8732f12f8da28fa35be
  Author: Xuejun Yang <nitsnow@gmail.com>
  Date:   2020-07-19 (Sun, 19 Jul 2020)

  Changed paths:
    M src/CGOptions.cpp
    M src/RandomProgramGenerator.cpp

  Log Message:
  -----------
  Merge pull request #95 from mortior/remove-platform-info

Add command line swithces for platform info and remove creation of platform.info file


Compare: https://github.com/csmith-project/csmith/compare/1d86f7c558c4...0bd545feec35