Test merging main to develop#384

Draft

juaninf wants to merge 212 commits intomainfrom

test_merging_main_to_develop

Commits on Jan 30, 2024

FEATURE/Add: create bitwise impossible XOR differential trail search for SAT
ale-depi
committed

Commits on Feb 5, 2024

Commits on Feb 6, 2024

Fix pytests
ale-depi
committed

Commits on May 22, 2025

Merge branch 'fix/docker-environment' into feat/sat-impossible-xor-differential
francesca-valtorta
committed

Commits on May 27, 2025

Commits on May 28, 2025

Commits on Jun 2, 2025

Updating Makefile
juaninf
committed
Updating Makefile
juaninf
committed
adding clean reports to report_test.py
mattiaformenti
committed
skipping report_test.py::save_as_image
mattiaformenti
committed
skipping report_test.py::save_as_image
mattiaformenti
committed

Commits on Jun 18, 2025

Fix report test
mattiaformenti
committed
Fix report test
mattiaformenti
committed
implement precomputed results in report test
mattiaformenti
committed

Commits on Jun 30, 2025

Commits on Jul 2, 2025

Adding block cipher Kalyna
smalj
committed

Commits on Jul 11, 2025

Added find_one_impossible_xor_differential_trail_with_fully_automatic_model for cp
SimoPez
committed

Commits on Jul 14, 2025

Fixed parsing
SimoPez
committed

Commits on Jul 15, 2025

Merged develop
SimoPez
committed

Commits on Jul 16, 2025

remove precomputed results
mattiaformenti
committed
Code coverage
SimoPez
committed

Commits on Jul 22, 2025

Commits on Jul 23, 2025

fix test_show
mattiaformenti
committed
code coverage
SimoPez
committed

Commits on Jul 25, 2025

Fixed model reusing
SimoPez
committed

Commits on Jul 29, 2025

Commits on Jul 30, 2025

Merge branch 'develop' into fix/test_report_fix
mattiaformenti
committed

Commits on Jul 31, 2025

Commits on Aug 1, 2025

Merge branch 'develop' into fix/test_report_fix
mattiaformenti
committed
update unit tests that were not synced up with develop
mattiaformenti
committed
fix a51 and a52 unit tests
mattiaformenti
committed
remove comments and unused imports
mattiaformenti
committed
Merge pull request #350 from Crypto-TII/feature/refactor-sat-utils
peacker
authored
Merge pull request #351 from Crypto-TII/fix/test_report_fix
peacker
authored
merge main into develop
git merge action
committed
FEATURE/Refactor: reorganise Dockerfile
ale-depi
committed

Commits on Aug 4, 2025

Commits on Aug 6, 2025

Commits on Aug 8, 2025

Merge pull request #353 from Crypto-TII/feat/add_kalyna
peacker
authored
merge main into develop
git merge action
committed

Commits on Aug 13, 2025

Commits on Aug 14, 2025

FEATURE/Refactor: Lint the code
ale-depi
committed

Commits on Aug 19, 2025

Commits on Aug 21, 2025

Commits on Aug 22, 2025

Commits on Aug 25, 2025

Fix CP Mix Column constraints
ale-depi
committed

Commits on Sep 2, 2025

Moved call to sort_cipher() inside ChachaStreamCipher init
p-huynh
committed

Commits on Sep 8, 2025

FEATURE/Add: LED block cipher
Eleriga
committed

Commits on Sep 9, 2025

Commits on Sep 10, 2025

Commits on Sep 11, 2025

Commits on Sep 16, 2025

FEAT/Add: option for fixing equality between variables in CP, MILP and SAT
SimoPez
committed

Commits on Sep 22, 2025

Testing added
SimoPez
committed

Commits on Sep 23, 2025

Commits on Sep 30, 2025

handled review
smalj
committed

Commits on Oct 1, 2025

Commits on Oct 2, 2025

change import random by import secrets
SiMohamedRachidi
committed

Commits on Oct 3, 2025

Merge pull request #366 from Crypto-TII/add_sm4_block_cipher
peacker
authored

Commits on Oct 8, 2025

Commits on Oct 16, 2025

Commits on Oct 18, 2025

Commits on Oct 22, 2025

Merge pull request #368 from Crypto-TII/update_division_trail_search_module
peacker
authored

Commits on Oct 23, 2025

Commits on Oct 24, 2025

FEATURE/Add: add all parameters conf of LED cipher
ale-depi
committed

Commits on Oct 31, 2025

Commits on Nov 3, 2025

Merge pull request #378 from Crypto-TII/FEATURE/add-skipjack-block-cipher
peacker
authored

Commits on Nov 14, 2025

Update CryptoMiniSat version
ale-depi
committed

Commits on Nov 18, 2025

Upgraing minizinc to version 2.9.4
juaninf
committed

Commits on Nov 26, 2025

Upgrading minizinc to version 2.9.4
juaninf
committed

Commits on Dec 5, 2025

Commits on Dec 8, 2025

Merge branch develop into 379-bug-outdated-cryptominisat5
ale-depi
committed

Commits on Dec 9, 2025

Merge pull request #380 from Crypto-TII/379-bug-outdated-cryptominisat5
peacker
authored

Commits on Dec 18, 2025