Skip to content
GitLab
Explore
Sign in
Register
Primary navigation
Search or go to…
Project
L
lp_nn_robustness_verification
Manage
Activity
Members
Code
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Model registry
Analyze
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
ludwig10_masters_thesis
lp_nn_robustness_verification
Repository graph
Repository graph
You can move around the graph by using the arrow keys.
cfeea5199b0a09c7bedaaecf1e15d528878f384b
Select Git revision
Branches
2
introduce_citation_cff
main
default
protected
Tags
6
v0.5.0
v0.4.0
v0.3.0
v0.2.1
v0.2.0
v0.1.0
8 results
Begin with the selected commit
Created with Raphaël 2.2.0
31
Jan
24
21
20
19
18
17
16
7
28
Dec
27
26
22
21
refactor(README): introduce link to thesis
main
main
style(examples): blacken notebooks
0.8.0
feat(CITATION): introduce reference to PySCIPOpt and data
docs(timing_evaluation notebook): introduce timing evaluation jupyter notebook
feat(timing_evaluation notebook): introduce timing evaluation in jupyter notebook
refactor(linear_inclusion notebook): reexecute after fixing implementation
test(pre_processing): adapt test suite to corrected implementation
refactor(pre_processing): correct equation numbers after refactoring of Thesis
fix(pre_processing): replace z_i by theta_i in the calculation of xi_i
refactor(linear_program): rename theta to theta_is
build(deps): recompile deps
build(deps): introduce kaleido to example deps
chore(gitignore): correct ipynb checkpoint entry
fix: adapt all calls of ZeMASamples to most recent version v0.7.0 of zema_emc_annotated
build(deps): recompile deps
0.7.0
refactor(tests): remove unused import
refactor(tests): remove this test for the parallel solution as it is to much work for the pipeline
refactor(tests): move file deleter to conftest.py
refactor(solve_instances_in_parallel): utilize new timing module
refactor(solve_instances_in_parallel): remove unused proc_id parameter
refactor(docs): change title of linear program docs page to Linear Program
docs(timing): introduce timing module into docs
test(timing): test timing module thoroughly
feat(pre_processing): utilize timing module in pre-processing
feat(timing): introduce module to time and store progress
chore(.gitignore): shorten filename for timings
refactor(solve_instances_in_parallel): fix input parameter
refactor(solve_instances_in_parallel): change logic to run on less nodes
refactor(solve_instances_in_parallel): change logic to run on more nodes
0.6.1
refactor(test_examples): blacken
refactor(solve_one_instance): remove unneeded type: ignore
chore(pylint): introduce one setting to avoid false positives about missing members
test(examples): introduce tests for examples
refactor(solve_one_instance): rename optimize and include refactor to function
refactor(solve_instances_in_parallel): rename find_se... and include timings
refactor(example datatypes): move data_types into tests because they are not used elsewhere
chore(.gitignore): introduce more experiment artifacts
Loading