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

further results from integrating cooperative optimization #152

Merged
merged 18 commits into from
Nov 22, 2023

Commits on Nov 21, 2023

  1. improve objective logging

    cherusk committed Nov 21, 2023
    Configuration menu
    Copy the full SHA
    3a4925b View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    1c389fe View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    5c711ec View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    2a71461 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    24c6e6d View commit details
    Browse the repository at this point in the history
  6. repair archive db env vars

    cherusk committed Nov 21, 2023
    Configuration menu
    Copy the full SHA
    fbc9385 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    ae0d4c1 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    2895f67 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    e69b957 View commit details
    Browse the repository at this point in the history
  10. migrate archive db insert to objective

    Simplifies effectuation even further, the push step.  Also it's not
    adding to any critical path and the setting preprocessing had happened
    already anyway in the objective function.
    cherusk committed Nov 21, 2023
    Configuration menu
    Copy the full SHA
    151e066 View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    3b55b3b View commit details
    Browse the repository at this point in the history
  12. preen archive db objective interaction

    Correct insert types from effectuation. And also adjust the connected
    result parsing in case of already explored setting.
    cherusk committed Nov 21, 2023
    Configuration menu
    Copy the full SHA
    9c2957a View commit details
    Browse the repository at this point in the history

Commits on Nov 22, 2023

  1. drop flowgrind dockerfile

    cherusk committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    43ef09c View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    378f916 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    af5ad3d View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    e3f4b55 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    83eafa9 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    8de501a View commit details
    Browse the repository at this point in the history