Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: cps-sei/pladapt Loading
base: master
Choose a base ref
...
head repository: clayness/pladapt Loading
compare: master
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 11 commits
  • 33 files changed
  • 2 contributors

Commits on Jan 16, 2019

  1. Merge pull request #1 from cps-sei/master 

    add debug symbols
    @clayness
    clayness committed Jan 16, 2019
    Configuration menu
    Copy the full SHA
    66dda6e View commit details
    Browse the repository at this point in the history

  2. updated the reachability helper for Alloy 5.0

    @clayness
    clayness committed Jan 16, 2019
    Configuration menu
    Copy the full SHA
    8509f2a View commit details
    Browse the repository at this point in the history

  3. targeting java 1.8

    @clayness
    clayness committed Jan 16, 2019
    Configuration menu
    Copy the full SHA
    27d8d48 View commit details
    Browse the repository at this point in the history

Commits on Jan 19, 2019

  1. switched to DYLD_LIBRARY_PATH for MacOS

    @clayness
    clayness committed Jan 19, 2019
    Configuration menu
    Copy the full SHA
    43414d4 View commit details
    Browse the repository at this point in the history

  2. switched to getcwd from get_current_directory (for MacOS)

    @clayness
    clayness committed Jan 19, 2019
    Configuration menu
    Copy the full SHA
    25f94fa View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2019

  1. adding some IntelliJ things, fixed an issue w/ args

    @clayness
    clayness committed Jan 24, 2019
    Configuration menu
    Copy the full SHA
    d3ab478 View commit details
    Browse the repository at this point in the history

  2. adding .so files to the gitignore

    @clayness
    clayness committed Jan 24, 2019
    Configuration menu
    Copy the full SHA
    a9831ef View commit details
    Browse the repository at this point in the history

  3. swp to gitignore

    @clayness
    clayness committed Jan 24, 2019
    Configuration menu
    Copy the full SHA
    5cd5fe9 View commit details
    Browse the repository at this point in the history

  4. added some consts to track the YAML_FOLDER

    @clayness
    clayness committed Jan 24, 2019
    Configuration menu
    Copy the full SHA
    d8f266e View commit details
    Browse the repository at this point in the history

  5. adding support for passing a yaml file

    @clayness
    clayness committed Jan 24, 2019
    Configuration menu
    Copy the full SHA
    59ef082 View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2019

  1. adding tracking for the transitions evaluatedd

    @clayness
    clayness committed Aug 15, 2019
    Configuration menu
    Copy the full SHA
    33cb69f View commit details
    Browse the repository at this point in the history
Loading