gg

gg:marabou

  1. Git
  2. lp:gg
  3. marabou
Last commit made on 2019-10-09
Get this branch:
git clone -b marabou https://git.launchpad.net/gg

Branch merges

Branch information

Name:
marabou
Repository:
lp:gg

Recent commits

1d26a82... by Sadjad Fouladi

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

21e706d... by Sadjad Fouladi

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

7f70afa... by Sadjad Fouladi

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

e298805... by Sadjad Fouladi

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

f505097... by Sadjad Fouladi

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

31e9f7f... by Sadjad Fouladi

Add 'futures' field to the thunk.

678b8a9... by Sadjad Fouladi

merge.cc: Fix a bug in is_thunk function.

a579e45... by Sadjad Fouladi

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

063a7bf... by Sadjad Fouladi

Add marabou example skeleton.

6f57eb1... by Sadjad Fouladi

s3.cc: Take out the unnecessary x-amz-acl header in S3 PUT requests.