Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add formalism to make ledgers for BACKUP targets #681

Merged
merged 10 commits into from Mar 13, 2021
Merged

Commits on Mar 11, 2021

  1. change details of the output Gaia-only files to backup instead of sup…

    …p to better reflect the chosen name of this program
    geordie666 committed Mar 11, 2021
    Copy the full SHA
    e4b2c08 View commit details
    Browse the repository at this point in the history
  2. Copy the full SHA
    1969115 View commit details
    Browse the repository at this point in the history

Commits on Mar 12, 2021

  1. Copy the full SHA
    3d2727f View commit details
    Browse the repository at this point in the history
  2. Copy the full SHA
    4fe242b View commit details
    Browse the repository at this point in the history
  3. Copy the full SHA
    236ac59 View commit details
    Browse the repository at this point in the history
  4. Copy the full SHA
    82779a7 View commit details
    Browse the repository at this point in the history

Commits on Mar 13, 2021

  1. treat BACKUP sources as if they are an independent program rather tha…

    …n filler. Use existing tools to write PRIORITY_INIT, NUMOBS_INIT for BACKUPs
    geordie666 committed Mar 13, 2021
    Copy the full SHA
    e44c0c8 View commit details
    Browse the repository at this point in the history
  2. Copy the full SHA
    ef639bf View commit details
    Browse the repository at this point in the history
  3. update the changes docs

    geordie666 committed Mar 13, 2021
    Copy the full SHA
    85306eb View commit details
    Browse the repository at this point in the history
  4. Copy the full SHA
    0c63ec2 View commit details
    Browse the repository at this point in the history