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

Merge SRI Commits #22

Open
wants to merge 16 commits into
base: master
Choose a base branch
from
Open

Merge SRI Commits #22

wants to merge 16 commits into from

Commits on Oct 21, 2021

  1. Support JDK 17 rather than JDK 16

    @mernst
    mernst authored Oct 21, 2021
    Configuration menu
    Copy the full SHA
    096063c View commit details
    Browse the repository at this point in the history

Commits on Jan 28, 2022

  1. fix error related to zip files (#54)

    @kelloggm
    kelloggm authored Jan 28, 2022
    Configuration menu
    Copy the full SHA
    ec783a4 View commit details
    Browse the repository at this point in the history

Commits on Apr 22, 2022

  1. reuses changes from python3 branch plus ... (SRI-CSL#29) 

    * code cleanup

* python3 and augmaker graphtool and code cleanup

* closes Issue#22

* updates log file name

* removes unused imports

* more formatting changes and additional comments
    @hsanchez
    hsanchez authored Apr 22, 2022
    Configuration menu
    Copy the full SHA
    18df446 View commit details
    Browse the repository at this point in the history

  2. Only use ajava files produced in last iteration during WPI (#56)

    @kelloggm
    kelloggm authored Apr 22, 2022
    Configuration menu
    Copy the full SHA
    65fac19 View commit details
    Browse the repository at this point in the history

Commits on Jan 5, 2023

  1. merge with updated master

    @kelloggm
    kelloggm committed Jan 5, 2023
    Configuration menu
    Copy the full SHA
    e722240 View commit details
    Browse the repository at this point in the history

  2. remove cruft

    @kelloggm
    kelloggm committed Jan 5, 2023
    Configuration menu
    Copy the full SHA
    d5c9ce7 View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2023

  1. remove all CF CI logic

    @kelloggm
    kelloggm committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    a368d2f View commit details
    Browse the repository at this point in the history

  2. Merge pull request SRI-CSL#31 from kelloggm/merge-with-sri-csl 

    Unify my fork and this project
    @tim-mccarthy
    tim-mccarthy authored Jan 10, 2023
    Configuration menu
    Copy the full SHA
    5900dc7 View commit details
    Browse the repository at this point in the history

Commits on Jun 15, 2023

  1. Merge remote-tracking branch 'SRI/master' into merge-commits

    @al3xliu
    al3xliu committed Jun 15, 2023
    Configuration menu
    Copy the full SHA
    269f7ba View commit details
    Browse the repository at this point in the history

  2. refine code

    @al3xliu
    al3xliu committed Jun 15, 2023
    Configuration menu
    Copy the full SHA
    a1f0433 View commit details
    Browse the repository at this point in the history

Commits on Jun 19, 2023

  1. remove duplicated import

    @al3xliu
    al3xliu committed Jun 19, 2023
    Configuration menu
    Copy the full SHA
    4ed0a77 View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2023

  1. refine code

    @al3xliu
    al3xliu committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    db2d25c View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2023

  1. tests

    @al3xliu
    al3xliu committed Jul 29, 2023
    Configuration menu
    Copy the full SHA
    2587474 View commit details
    Browse the repository at this point in the history

  2. refine code

    @al3xliu
    al3xliu committed Jul 29, 2023
    Configuration menu
    Copy the full SHA
    21b559d View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2023

  1. refine code

    @al3xliu
    al3xliu committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    9c1160e View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2023

  1. refine code

    @al3xliu
    al3xliu committed Aug 29, 2023
    Configuration menu
    Copy the full SHA
    471ab13 View commit details
    Browse the repository at this point in the history