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.

Sign up for GitHub

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

Jump to bottom

WiP: nightly versioning for distinct symbol archiving by version #6534

Draft
wants to merge 11 commits into
base: master
Choose a base branch
from
Draft

WiP: nightly versioning for distinct symbol archiving by version #6534

wants to merge 11 commits into from

Commits on Aug 22, 2022

  1. WiP: test build specific version number

    @jfleisher
    jfleisher committed Aug 22, 2022
    Configuration menu
    Copy the full SHA
    9f78eae View commit details
    Browse the repository at this point in the history

  2. update mk_win_dist for assembly-version

    @jfleisher
    jfleisher committed Aug 22, 2022
    Configuration menu
    Copy the full SHA
    07def0c View commit details
    Browse the repository at this point in the history

  3. Add print statements for version

    @jfleisher
    jfleisher committed Aug 22, 2022
    Configuration menu
    Copy the full SHA
    2891c70 View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2022

  1. remove stray semicolon

    @jfleisher
    jfleisher committed Aug 23, 2022
    Configuration menu
    Copy the full SHA
    d4ba667 View commit details
    Browse the repository at this point in the history

  2. undo quote change in projectstr

    @jfleisher
    jfleisher committed Aug 23, 2022
    Configuration menu
    Copy the full SHA
    1e3709d View commit details
    Browse the repository at this point in the history

  3. nit fixes

    @jfleisher
    jfleisher committed Aug 23, 2022
    Configuration menu
    Copy the full SHA
    5854bcb View commit details
    Browse the repository at this point in the history

  4. revert print formatting for Mac build

    @jfleisher
    jfleisher committed Aug 23, 2022
    Configuration menu
    Copy the full SHA
    9901391 View commit details
    Browse the repository at this point in the history

  5. fix spaces

    @jfleisher
    jfleisher committed Aug 23, 2022
    Configuration menu
    Copy the full SHA
    b685ddb View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2022

  1. Merge branch 'master' of https://github.com/Z3Prover/z3 into jfleishe… 

    …r/nightlyversion
    @jfleisher
    jfleisher committed Aug 31, 2022
    Configuration menu
    Copy the full SHA
    9c7a3e4 View commit details
    Browse the repository at this point in the history

  2. collect symbols to architecture folder

    @jfleisher
    jfleisher committed Aug 31, 2022
    Configuration menu
    Copy the full SHA
    1080a9d View commit details
    Browse the repository at this point in the history

Commits on Jan 12, 2023

  1. Merge branch 'master' into jfleisher/nightlyversion

    @jfleisher
    jfleisher committed Jan 12, 2023
    Configuration menu
    Copy the full SHA
    3720541 View commit details
    Browse the repository at this point in the history