Commits · cb03804509ebb1db4be5c6293684dffcb03a379d · ludwig10_masters_thesis / lp_nn_robustness_verification · GitLab

Snippets Groups Projects

Jan 24, 2023
- test(pre_processing): adapt test suite to corrected implementation · cb038045
  Björn Ludwig authored Jan 24, 2023
  
  Verified
  
  cb038045
- refactor(pre_processing): correct equation numbers after refactoring of Thesis · 282f3bae
  Björn Ludwig authored Jan 24, 2023
  
  Verified
  
  282f3bae
- fix(pre_processing): replace z_i by theta_i in the calculation of xi_i · cc1d9c89
  Björn Ludwig authored Jan 24, 2023
  
  Verified
  
  cc1d9c89
- refactor(linear_program): rename theta to theta_is · 5bf81bc9
  Björn Ludwig authored Jan 24, 2023
  
  Verified
  
  5bf81bc9
- build(deps): recompile deps · 3e9232c6
  Björn Ludwig authored Jan 24, 2023
  
  Verified
  
  3e9232c6
- build(deps): introduce kaleido to example deps · eda9895a
  Björn Ludwig authored Jan 24, 2023
  
  Verified
  
  eda9895a
- chore(gitignore): correct ipynb checkpoint entry · 4dedfeeb
  Björn Ludwig authored Jan 24, 2023
  
  Verified
  
  4dedfeeb
Jan 21, 2023
- fix: adapt all calls of ZeMASamples to most recent version v0.7.0 of zema_emc_annotated · 6807f6b9
  Björn Ludwig authored Jan 21, 2023
  
  Verified
  
  6807f6b9
- build(deps): recompile deps · 8f1056b5
  Björn Ludwig authored Jan 21, 2023
  
  Verified
  
  8f1056b5
Jan 20, 2023
- 0.7.0 · 54d7855c
  Björn Ludwig authored Jan 20, 2023
  Verified
  
  54d7855c
- refactor(tests): remove unused import · d22ead1d
  Björn Ludwig authored Jan 20, 2023
  
  Verified
  
  d22ead1d
- refactor(tests): remove this test for the parallel solution as it is to much work for the pipeline · f686a891
  Björn Ludwig authored Jan 20, 2023
  
  Verified
  
  f686a891
- refactor(tests): move file deleter to conftest.py · e27f8625
  Björn Ludwig authored Jan 20, 2023
  
  Verified
  
  e27f8625
- refactor(solve_instances_in_parallel): utilize new timing module · 9355a3aa
  Björn Ludwig authored Jan 20, 2023
  
  Verified
  
  9355a3aa
- refactor(solve_instances_in_parallel): remove unused proc_id parameter · 230cfe4f
  Björn Ludwig authored Jan 20, 2023
  
  Verified
  
  230cfe4f
- refactor(docs): change title of linear program docs page to Linear Program · 594df8c2
  Björn Ludwig authored Jan 20, 2023
  
  Verified
  
  594df8c2
- docs(timing): introduce timing module into docs · 5670c982
  Björn Ludwig authored Jan 20, 2023
  
  Verified
  
  5670c982
- test(timing): test timing module thoroughly · a13aae70
  Björn Ludwig authored Jan 20, 2023
  
  Verified
  
  a13aae70
- feat(pre_processing): utilize timing module in pre-processing · c7926cbe
  Björn Ludwig authored Jan 20, 2023
  
  Verified
  
  c7926cbe
- feat(timing): introduce module to time and store progress · dddd24d1
  Björn Ludwig authored Jan 20, 2023
  
  Verified
  
  dddd24d1
- chore(.gitignore): shorten filename for timings · f8aee652
  Björn Ludwig authored Jan 20, 2023
  
  Verified
  
  f8aee652
- refactor(solve_instances_in_parallel): fix input parameter · 0c93e1a0
  Björn Ludwig authored Jan 20, 2023
  
  Verified
  
  0c93e1a0
- refactor(solve_instances_in_parallel): change logic to run on less nodes · e98f4711
  Björn Ludwig authored Jan 20, 2023
  
  Verified
  
  e98f4711
- refactor(solve_instances_in_parallel): change logic to run on more nodes · 333f6e5e
  Björn Ludwig authored Jan 20, 2023
  
  Verified
  
  333f6e5e
Jan 19, 2023
- 0.6.1 · 3228b239
  Björn Ludwig authored Jan 19, 2023
  Verified
  
  3228b239
- refactor(test_examples): blacken · 7c16745d
  Björn Ludwig authored Jan 19, 2023
  
  Verified
  
  7c16745d
- refactor(solve_one_instance): remove unneeded type: ignore · 27a46ae5
  Björn Ludwig authored Jan 19, 2023
  
  Verified
  
  27a46ae5
- chore(pylint): introduce one setting to avoid false positives about missing members · 2dff2471
  Björn Ludwig authored Jan 19, 2023
  
  Verified
  
  2dff2471
- test(examples): introduce tests for examples · cfeea519
  Björn Ludwig authored Jan 19, 2023
  
  Verified
  
  cfeea519
- refactor(solve_one_instance): rename optimize and include refactor to function · 706a3ec6
  Björn Ludwig authored Jan 19, 2023
  
  Verified
  
  706a3ec6
- refactor(solve_instances_in_parallel): rename find_se... and include timings · 21afadbf
  Björn Ludwig authored Jan 19, 2023
  
  Verified
  
  21afadbf
- refactor(example datatypes): move data_types into tests because they are not used elsewhere · df76044a
  Björn Ludwig authored Jan 19, 2023
  
  Verified
  
  df76044a
- chore(.gitignore): introduce more experiment artifacts · 7efca652
  Björn Ludwig authored Jan 19, 2023
  
  Verified
  
  7efca652
- refactor(find_seeds_and_samples): correct file names · 75f342e7
  Björn Ludwig authored Jan 19, 2023
  
  Verified
  
  75f342e7
- chore(gitignore): introduce timing files · 35cb39ad
  Björn Ludwig authored Jan 19, 2023
  
  Verified
  
  35cb39ad
- refactor(INSTALL): improve description of what it's all about with the... · b7ccc087
  Björn Ludwig authored Jan 19, 2023
  Verified
  
  b7ccc087
- refactor(README): fix links to examples · 42653c0b
  Björn Ludwig authored Jan 19, 2023
  
  Verified
  
  42653c0b
- test(linear_program): strip test suite down to new implementation and streamline fixtures · a8dce196
  Björn Ludwig authored Jan 19, 2023
  
  Verified
  
  a8dce196
- fix(linear_program): remove any clutter from linear_program after finding same results in all cases · e4d1f2fa
  Björn Ludwig authored Jan 19, 2023
  
  Verified
  
  e4d1f2fa
- docs(examples): introduce all examples code into docs · 5d4ddd3c
  Björn Ludwig authored Jan 19, 2023
  
  Verified
  
  5d4ddd3c