Commits · 6807f6b919a18b38f6b3c826faff8116ca5b3ba4 · ludwig10_masters_thesis / lp_nn_robustness_verification · GitLab

Snippets Groups Projects

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
  
  6807f6b9
- build(deps): recompile deps · 8f1056b5
  Björn Ludwig authored Jan 21, 2023
  
  8f1056b5
Jan 20, 2023
- 0.7.0 · 54d7855c
  Björn Ludwig authored Jan 20, 2023
  54d7855c
- refactor(tests): remove unused import · d22ead1d
  Björn Ludwig authored Jan 20, 2023
  
  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
  
  f686a891
- refactor(tests): move file deleter to conftest.py · e27f8625
  Björn Ludwig authored Jan 20, 2023
  
  e27f8625
- refactor(solve_instances_in_parallel): utilize new timing module · 9355a3aa
  Björn Ludwig authored Jan 20, 2023
  
  9355a3aa
- refactor(solve_instances_in_parallel): remove unused proc_id parameter · 230cfe4f
  Björn Ludwig authored Jan 20, 2023
  
  230cfe4f
- refactor(docs): change title of linear program docs page to Linear Program · 594df8c2
  Björn Ludwig authored Jan 20, 2023
  
  594df8c2
- docs(timing): introduce timing module into docs · 5670c982
  Björn Ludwig authored Jan 20, 2023
  
  5670c982
- test(timing): test timing module thoroughly · a13aae70
  Björn Ludwig authored Jan 20, 2023
  
  a13aae70
- feat(pre_processing): utilize timing module in pre-processing · c7926cbe
  Björn Ludwig authored Jan 20, 2023
  
  c7926cbe
- feat(timing): introduce module to time and store progress · dddd24d1
  Björn Ludwig authored Jan 20, 2023
  
  dddd24d1
- chore(.gitignore): shorten filename for timings · f8aee652
  Björn Ludwig authored Jan 20, 2023
  
  f8aee652
- refactor(solve_instances_in_parallel): fix input parameter · 0c93e1a0
  Björn Ludwig authored Jan 20, 2023
  
  0c93e1a0
- refactor(solve_instances_in_parallel): change logic to run on less nodes · e98f4711
  Björn Ludwig authored Jan 20, 2023
  
  e98f4711
- refactor(solve_instances_in_parallel): change logic to run on more nodes · 333f6e5e
  Björn Ludwig authored Jan 20, 2023
  
  333f6e5e
Jan 19, 2023
- 0.6.1 · 3228b239
  Björn Ludwig authored Jan 19, 2023
  3228b239
- refactor(test_examples): blacken · 7c16745d
  Björn Ludwig authored Jan 19, 2023
  
  7c16745d
- refactor(solve_one_instance): remove unneeded type: ignore · 27a46ae5
  Björn Ludwig authored Jan 19, 2023
  
  27a46ae5
- chore(pylint): introduce one setting to avoid false positives about missing members · 2dff2471
  Björn Ludwig authored Jan 19, 2023
  
  2dff2471
- test(examples): introduce tests for examples · cfeea519
  Björn Ludwig authored Jan 19, 2023
  
  cfeea519
- refactor(solve_one_instance): rename optimize and include refactor to function · 706a3ec6
  Björn Ludwig authored Jan 19, 2023
  
  706a3ec6
- refactor(solve_instances_in_parallel): rename find_se... and include timings · 21afadbf
  Björn Ludwig authored Jan 19, 2023
  
  21afadbf
- refactor(example datatypes): move data_types into tests because they are not used elsewhere · df76044a
  Björn Ludwig authored Jan 19, 2023
  
  df76044a
- chore(.gitignore): introduce more experiment artifacts · 7efca652
  Björn Ludwig authored Jan 19, 2023
  
  7efca652
- refactor(find_seeds_and_samples): correct file names · 75f342e7
  Björn Ludwig authored Jan 19, 2023
  
  75f342e7
- chore(gitignore): introduce timing files · 35cb39ad
  Björn Ludwig authored Jan 19, 2023
  
  35cb39ad
- refactor(INSTALL): improve description of what it's all about with the... · b7ccc087
  Björn Ludwig authored Jan 19, 2023
  b7ccc087
- refactor(README): fix links to examples · 42653c0b
  Björn Ludwig authored Jan 19, 2023
  
  42653c0b
- test(linear_program): strip test suite down to new implementation and streamline fixtures · a8dce196
  Björn Ludwig authored Jan 19, 2023
  
  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
  
  e4d1f2fa
- docs(examples): introduce all examples code into docs · 5d4ddd3c
  Björn Ludwig authored Jan 19, 2023
  
  5d4ddd3c
- build(deps): recompile deps · 428a36ad
  Björn Ludwig authored Jan 19, 2023
  
  428a36ad
- build(deps): introduce nbsphinx into deps · 3703c5fa
  Björn Ludwig authored Jan 19, 2023
  
  3703c5fa
- chore(gitignore): introduce new examples subfolder in docs · cb0eaa1a
  Björn Ludwig authored Jan 19, 2023
  
  cb0eaa1a
- refactor(find_seeds_and_samples): adapt script again to finally hopefully solve those instances · 3980ed26
  Björn Ludwig authored Jan 19, 2023
  
  3980ed26
- refactor(README): correct link to examples · 0564ea88
  Björn Ludwig authored Jan 19, 2023
  
  0564ea88
- refactor(README): remove remark on plans to move docs to ReadTheDocs, as we will not do this · b1b384d4
  Björn Ludwig authored Jan 19, 2023
  
  b1b384d4
- refactor(CITATION.cff): adapt misleading message as it is prominently displayed on Zenodo · b56c8b1a
  Björn Ludwig authored Jan 19, 2023
  
  b56c8b1a