Commits · main · ludwig10_masters_thesis / lp_nn_robustness_verification · GitLab

Snippets Groups Projects

Jan 31, 2023
- refactor(README): introduce link to thesis · f4ce1d18
  Björn Ludwig authored 2 years ago
  
  f4ce1d18
Jan 24, 2023
- style(examples): blacken notebooks · b84d28fb
  Björn Ludwig authored 2 years ago
  
  b84d28fb
- 0.8.0 · 59cd30f6
  Björn Ludwig authored 2 years ago
  59cd30f6
- feat(CITATION): introduce reference to PySCIPOpt and data · 4c1d4bb2
  Björn Ludwig authored 2 years ago
  
  4c1d4bb2
- docs(timing_evaluation notebook): introduce timing evaluation jupyter notebook · 56e7bcb5
  Björn Ludwig authored 2 years ago
  
  56e7bcb5
- feat(timing_evaluation notebook): introduce timing evaluation in jupyter notebook · a84e2cff
  Björn Ludwig authored 2 years ago
  
  a84e2cff
- refactor(linear_inclusion notebook): reexecute after fixing implementation · 507dc4d2
  Björn Ludwig authored 2 years ago
  
  507dc4d2
- test(pre_processing): adapt test suite to corrected implementation · cb038045
  Björn Ludwig authored 2 years ago
  
  cb038045
- refactor(pre_processing): correct equation numbers after refactoring of Thesis · 282f3bae
  Björn Ludwig authored 2 years ago
  
  282f3bae
- fix(pre_processing): replace z_i by theta_i in the calculation of xi_i · cc1d9c89
  Björn Ludwig authored 2 years ago
  
  cc1d9c89
- refactor(linear_program): rename theta to theta_is · 5bf81bc9
  Björn Ludwig authored 2 years ago
  
  5bf81bc9
- build(deps): recompile deps · 3e9232c6
  Björn Ludwig authored 2 years ago
  
  3e9232c6
- build(deps): introduce kaleido to example deps · eda9895a
  Björn Ludwig authored 2 years ago
  
  eda9895a
- chore(gitignore): correct ipynb checkpoint entry · 4dedfeeb
  Björn Ludwig authored 2 years ago
  
  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 2 years ago
  
  6807f6b9
- build(deps): recompile deps · 8f1056b5
  Björn Ludwig authored 2 years ago
  
  8f1056b5
Jan 20, 2023
- 0.7.0 · 54d7855c
  Björn Ludwig authored 2 years ago
  54d7855c
- refactor(tests): remove unused import · d22ead1d
  Björn Ludwig authored 2 years ago
  
  d22ead1d
- refactor(tests): remove this test for the parallel solution as it is to much work for the pipeline · f686a891
  Björn Ludwig authored 2 years ago
  
  f686a891
- refactor(tests): move file deleter to conftest.py · e27f8625
  Björn Ludwig authored 2 years ago
  
  e27f8625
- refactor(solve_instances_in_parallel): utilize new timing module · 9355a3aa
  Björn Ludwig authored 2 years ago
  
  9355a3aa
- refactor(solve_instances_in_parallel): remove unused proc_id parameter · 230cfe4f
  Björn Ludwig authored 2 years ago
  
  230cfe4f
- refactor(docs): change title of linear program docs page to Linear Program · 594df8c2
  Björn Ludwig authored 2 years ago
  
  594df8c2
- docs(timing): introduce timing module into docs · 5670c982
  Björn Ludwig authored 2 years ago
  
  5670c982
- test(timing): test timing module thoroughly · a13aae70
  Björn Ludwig authored 2 years ago
  
  a13aae70
- feat(pre_processing): utilize timing module in pre-processing · c7926cbe
  Björn Ludwig authored 2 years ago
  
  c7926cbe
- feat(timing): introduce module to time and store progress · dddd24d1
  Björn Ludwig authored 2 years ago
  
  dddd24d1
- chore(.gitignore): shorten filename for timings · f8aee652
  Björn Ludwig authored 2 years ago
  
  f8aee652
- refactor(solve_instances_in_parallel): fix input parameter · 0c93e1a0
  Björn Ludwig authored 2 years ago
  
  0c93e1a0
- refactor(solve_instances_in_parallel): change logic to run on less nodes · e98f4711
  Björn Ludwig authored 2 years ago
  
  e98f4711
- refactor(solve_instances_in_parallel): change logic to run on more nodes · 333f6e5e
  Björn Ludwig authored 2 years ago
  
  333f6e5e
Jan 19, 2023
- 0.6.1 · 3228b239
  Björn Ludwig authored 2 years ago
  3228b239
- refactor(test_examples): blacken · 7c16745d
  Björn Ludwig authored 2 years ago
  
  7c16745d
- refactor(solve_one_instance): remove unneeded type: ignore · 27a46ae5
  Björn Ludwig authored 2 years ago
  
  27a46ae5
- chore(pylint): introduce one setting to avoid false positives about missing members · 2dff2471
  Björn Ludwig authored 2 years ago
  
  2dff2471
- test(examples): introduce tests for examples · cfeea519
  Björn Ludwig authored 2 years ago
  
  cfeea519
- refactor(solve_one_instance): rename optimize and include refactor to function · 706a3ec6
  Björn Ludwig authored 2 years ago
  
  706a3ec6
- refactor(solve_instances_in_parallel): rename find_se... and include timings · 21afadbf
  Björn Ludwig authored 2 years ago
  
  21afadbf
- refactor(example datatypes): move data_types into tests because they are not used elsewhere · df76044a
  Björn Ludwig authored 2 years ago
  
  df76044a
- chore(.gitignore): introduce more experiment artifacts · 7efca652
  Björn Ludwig authored 2 years ago
  
  7efca652