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: StanfordSNR/gg
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: master
Choose a base ref
...
head repository: StanfordSNR/gg
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: marabou
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 9 commits
  • 20 files changed
  • 1 contributor

Commits on Oct 8, 2019

  1. Add marabou example skeleton.

    @sadjad
    sadjad committed Oct 8, 2019
    Configuration menu
    Copy the full SHA
    063a7bf View commit details
    Browse the repository at this point in the history

  2. examples/marabou: Create a script to generate an example.

    @sadjad
    sadjad committed Oct 8, 2019
    Configuration menu
    Copy the full SHA
    a579e45 View commit details
    Browse the repository at this point in the history

  3. merge.cc: Fix a bug in is_thunk function.

    @sadjad
    sadjad committed Oct 8, 2019
    Configuration menu
    Copy the full SHA
    678b8a9 View commit details
    Browse the repository at this point in the history

  4. Add 'futures' field to the thunk.

    @sadjad
    sadjad committed Oct 8, 2019
    Configuration menu
    Copy the full SHA
    31e9f7f View commit details
    Browse the repository at this point in the history

  5. marabou/make-test.sh: Add sleep thunks as futures.

    @sadjad
    sadjad committed Oct 8, 2019
    Configuration menu
    Copy the full SHA
    f505097 View commit details
    Browse the repository at this point in the history

  6. thunk.cc: Make update_data to take futures into consideration.

    @sadjad
    sadjad committed Oct 8, 2019
    Configuration menu
    Copy the full SHA
    e298805 View commit details
    Browse the repository at this point in the history

  7. graph.cc: Add the future dependencies in add_thunk().

    @sadjad
    sadjad committed Oct 8, 2019
    Configuration menu
    Copy the full SHA
    7f70afa View commit details
    Browse the repository at this point in the history

  8. ggutils.cc: Don't insert self-cycles into the cache.

    @sadjad
    sadjad committed Oct 8, 2019
    Configuration menu
    Copy the full SHA
    21e706d View commit details
    Browse the repository at this point in the history

Commits on Oct 9, 2019

  1. graph.cc: Handle force_thunk in case of self-cycles.

    @sadjad
    sadjad committed Oct 9, 2019
    Configuration menu
    Copy the full SHA
    1d26a82 View commit details
    Browse the repository at this point in the history
Loading