Jakub/iid node algorithm dependencies#8

Draft

Exoodes wants to merge 146 commits intojakub/node_chosing_visualizationfrom

jakub/iid_node_algorithm_dependencies

Commits on Sep 12, 2024

Ignore development benchmark
trtikm
committed

Commits on Sep 15, 2024

feat: creating equation matrix
Jakub Máca
committed

Commits on Sep 16, 2024

Commits on Sep 17, 2024

Updated json of one benchmark
trtikm
committed
Reducing randomness in fuzzer.
trtikm
committed
feat: updating matrix with one equation
Jakub Máca
committed
feat: equation approximation
Jakub Máca
committed
feat: struct refactoring
Jakub Máca
committed

Commits on Sep 18, 2024

feat: small changes
Jakub Máca
committed

Commits on Sep 22, 2024

feat: doxygen comment for new functions
Jakub Máca
committed
feat: doxygen comment for new functions
Jakub Máca
committed
feat: small changes and output operator
Jakub Máca
committed
feat: add timings
Jakub Máca
committed

Commits on Sep 24, 2024

feat: gradient descent
Jakub Máca
committed
fix: changed add_equation to update best_values correctly
Jakub Máca
committed
chore: formatting and docstring
Jakub Máca
committed

Commits on Sep 25, 2024

feat: compute iid_dependance only for iid_node
Jakub Máca
committed

Commits on Sep 26, 2024

feat: refactoring of gradient descent computation
Jakub Máca
committed
feat: added docstring
Jakub Máca
committed

Commits on Sep 27, 2024

feat: compute mean depth for every best_value
Jakub Máca
committed

Commits on Sep 29, 2024

feat: move iid_node_dependencies to separate file
Jakub Máca
committed
feat: get possible depth
Jakub Máca
committed

Commits on Sep 30, 2024

feat: compute node counts
Jakub Máca
committed

Commits on Oct 1, 2024

feat: better mean computation
Jakub Máca
committed

Commits on Oct 2, 2024

feat: path creation
Jakub Máca
committed

Commits on Oct 3, 2024

feat: path following
Jakub Máca
committed

Commits on Oct 12, 2024

feat: update depth
Jakub Máca
committed
feat: change names
Jakub Máca
committed

Commits on Oct 15, 2024

feat: add momentum parameter
Jakub Máca
committed
feat: mini-batch gradient descent
Jakub Máca
committed

Commits on Oct 16, 2024

feat: changes from meeting
Jakub Máca
committed

Commits on Nov 1, 2024

feat: some changes
Jakub Máca
committed

Commits on Nov 4, 2024

feat: dependencies_by_loading
Jakub Máca
committed

Commits on Nov 5, 2024

feat: more outputting
Jakub Máca
committed
feat: return if the gradient descent converged
Jakub Máca
committed

Commits on Nov 15, 2024

feat: new gradient descent
Jakub Máca
committed
feat: new gradient descent
Jakub Máca
committed
feat: gradient descent convergence computation
Jakub Máca
committed

Commits on Nov 17, 2024

feat: gradient descent convergence computation
Jakub Máca
committed

Commits on Nov 18, 2024

feat: add locked columns
Jakub Máca
committed
feat: print gradient descent information
Jakub Máca
committed

Commits on Nov 26, 2024

feat: outputing
Jakub Máca
committed

Commits on Nov 27, 2024

feat: vector
Jakub Máca
committed

Commits on Dec 3, 2024

feat: vector computation
Jakub Máca
committed

Commits on Dec 21, 2024

feat: new file for analysis
Jakub Máca
committed

Commits on Dec 22, 2024

feat: node processing
Jakub Máca
committed
feat: loop processing
Jakub Máca
committed
feat: matrix methods
Jakub Máca
committed
feat: vector computation
Jakub Máca
committed

Commits on Dec 23, 2024

feat: enhance equation operations and add new path computation
Jakub Máca
committed
feat: add node_counts structure and compute_path_counts method for path analysis
Jakub Máca
committed
feat: improve path count handling
Jakub Máca
committed

Commits on Dec 27, 2024

feat: remove probabilities with both zeros
Jakub Máca
committed
feat: add new IID testing benchmarks and update existing benchmark configurations
Jakub Máca
committed

Commits on Jan 8, 2025

feat: add new IID testing benchmarks and update existing condition checks
Jakub Máca
committed
feat: add new benchmark for input cycle and update execution counts
Jakub Máca
committed
feat: update loop thresholds and execution counts in IID testing benchmarks
Jakub Máca
committed

Commits on Jan 10, 2025

feat: update execution counts and add original execution values in IID testing benchmarks
Jakub Máca
committed
feat: add new IID testing benchmarks for non-IID conditions
Jakub Máca
committed
feat: add new IID testing benchmark for condition checks with execution results
Jakub Máca
committed
feat: implement path_node_props and possible_path structures with direction handling
Jakub Máca
committed

Commits on Jan 11, 2025

Commits on Jan 19, 2025

Commits on Jan 21, 2025

feat: update after merge
Jakub Máca
committed
feat: update output statistics in benchmark JSON files for improved analysis accuracy
Jakub Máca
committed

Commits on Jan 22, 2025

feat: add double scalar multiplication and update vector handling in iid_vector_analysis - use branching predicate
Jakub Máca
committed
feat: add new benchmarks for different predicates in IID testing
Jakub Máca
committed
refactor: rename loop_head_direction to loop_head_end_direction and update related logic for clarity
Jakub Máca
committed
refactor: renaming functions
Jakub Máca
committed

Commits on Jan 23, 2025

feat: add support for programs with loops inside loops
Jakub Máca
committed

Commits on Jan 25, 2025

Commits on Jan 26, 2025

feat: use namespace
Jakub Máca
committed

Commits on Jan 27, 2025

feat: add new benchmark for nested big values condition testing
Jakub Máca
committed

Commits on Jan 31, 2025

feat: add new benchmarks for loading loop tests with varied conditions
Jakub Máca
committed
feat: update execution counts in loading loop benchmark JSON files
Jakub Máca
committed
feat: changed dependencies by loading to handle to use loaded bits and sensitive bits
Jakub Máca
committed
refactor: remove old dependencies_by_loading, that did not use sensitive bits
Jakub Máca
committed

Commits on Feb 1, 2025

feat: add new benchmarks for input cycle tests with nested loops
Jakub Máca
committed
feat: update execution counts in benchmark JSON files for input cycle tests
Jakub Máca
committed
feat: add generation if there are not enough data
Jakub Máca
committed
feat: update execution counts in benchmark JSON files for IID testing
Jakub Máca
committed
feat: feat: update leaf computation and state management
Jakub Máca
committed

Commits on Feb 8, 2025

feat: support for multiple loop heads in one loop
Jakub Máca
committed

Commits on Feb 9, 2025

feat: add benchmarks for computation in loop and multiple loop heads
Jakub Máca
committed
feat: update conditions in multiple loop heads benchmark
Jakub Máca
committed
feat: update location_id usage to id_type in loop and dependency structures
Jakub Máca
committed

Commits on Feb 12, 2025

feat: add output of statistics
Jakub Máca
committed
feat: remove two definitions of loop properties
Jakub Máca
committed
feat: renamed methods and types
Jakub Máca
committed
feat: update num_executions in benchmark input files
Jakub Máca
committed
feat: add saving data to json file
Jakub Máca
committed
feat: update compute_loading_loops to include loop_endings parameter
Jakub Máca
committed

Commits on Feb 26, 2025

feat: correctly update ignored_nodes
Jakub Máca
committed

Commits on Mar 1, 2025

feat: change the code to be more efficient - collect on whole trace, dependencies only once, compute matrix on demand
Jakub Máca
committed

Commits on Mar 6, 2025

feat: make computation of loading loops more efficient
Jakub Máca
committed

Commits on Mar 11, 2025

feat: change computation to start only if iid is present
Jakub Máca
committed

Commits on Mar 12, 2025

feat: use context
Jakub Máca
committed
Merge branch 'jakub/iid_use_context' into jakub/iid_node_algorithm_dependencies
Jakub Máca
committed
feat: computation of path little bit more efficient
Jakub Máca
committed
feat: better integration into `select_iid_coverage_target`
Jakub Máca
committed

Commits on Mar 15, 2025

feat: compute only when needed
Jakub Máca
committed
feat: better dumping
Jakub Máca
committed
feat: better dumping
Jakub Máca
committed

Commits on Mar 16, 2025

feat: compute vector with hits and submatrix only once
Jakub Máca
committed

Commits on Mar 18, 2025

feat: improvement of path_id_direction_count
Jakub Máca
committed

Commits on Mar 28, 2025

feat: add FloatComparator and enhance generation state management
Jakub Máca
committed
temp changes
Jakub Máca
committed

Commits on Apr 12, 2025

feat: update executions counts
Jakub Máca
committed
feat: add ai generated benchmarks and benchmarks from testcomp
Jakub Máca
committed
feat: better node choosing
Jakub Máca
committed
feat: formatter
Jakub Máca
committed

Commits on Apr 13, 2025

fix: json properties
Jakub Máca
committed
feat: implement better handling of loading loops
Jakub Máca
committed

Commits on Apr 21, 2025

feat: added more benchmarks
Jakub Máca
committed

Commits on May 10, 2025

feat: remove bad benchmarks
Jakub Máca
committed
feat: select best configuration
Jakub Máca
committed
feat: remove old files from development
Jakub Máca
committed
feat: rename and remove benchmarks
Jakub Máca
committed
feat: rename benchmarks for clear description
Jakub Máca
committed
feat: update executions with the final version of IID Vector analysis
Jakub Máca
committed
feat: remove include
Jakub Máca
committed