Code

Fix/remove clean test report#238

Code

Closed

MFormenti wants to merge 75 commits intomainCrypto-TII/claasp:mainfrom fix/remove-clean-test-reportCrypto-TII/claasp:fix/remove-clean-test-reportCopy head branch name to clipboard

+2,827-1,028

Commits

Commits on Apr 3, 2024

• FEATURE/Add: CP solvers names and method

  SimoPez

  committed
  037aa74

  Copy full SHA for 037aa74

Commits on Apr 12, 2024

• FEATURE/Change: rearrange SAT solver specifications

  ale-depi

  committed
  85f74ad

  Copy full SHA for 85f74ad

Commits on Apr 15, 2024

• Add file for SAT solvers

  Show description for 961437e
  ale-depi

  committed
  961437e

  Copy full SHA for 961437e

• FEATURE/Change: rearrange SMT solver specifications

  ale-depi

  committed
  e792949

  Copy full SHA for e792949

• Fix SMT solver default and output

  ale-depi

  committed
  f3da2dc

  Copy full SHA for f3da2dc

• Fix SAT solver parameters

  ale-depi

  committed
  ae52441

  Copy full SHA for ae52441

• Fix Python tests

  ale-depi

  committed
  41807a0

  Copy full SHA for 41807a0

• Fix SAT solver name in report test

  ale-depi

  committed
  e4072bd

  Copy full SHA for e4072bd

Commits on Apr 16, 2024

• Merge branch 'develop' into feat/add-cp-solvers-dictionary

  SimoPez

  committed
  9da9b8c

  Copy full SHA for 9da9b8c

• FEATURE/Add: solvers options and modularity

  SimoPez

  committed
  4c91d1b

  Copy full SHA for 4c91d1b

Commits on Apr 17, 2024

• eliminating polynomials associated with rotation, not, and shift components from the polynomial system

  

  Sharwan Tiwari

  authored and

  Sharwan Tiwari

  committed
  5c0335c

  Copy full SHA for 5c0335c

• fixed an algebraic test assertion

  

  Sharwan Tiwari

  authored and

  Sharwan Tiwari

  committed
  c547552

  Copy full SHA for c547552

Commits on Apr 19, 2024

• Merge pull request #219 from Crypto-TII/fix/eliminate_rotate_shift_not_components_polynomials

  Show description for 7f3e79a
  peacker

  authored
  7f3e79a

  Copy full SHA for 7f3e79a

Commits on Apr 23, 2024

• Merge pull request #220 from Crypto-TII/feat/add-cp-solvers-dictionary

  Show description for 0fcf20c
  peacker

  authored
  0fcf20c

  Copy full SHA for 0fcf20c

• Merge branch develop

  ale-depi

  committed
  7e63e9c

  Copy full SHA for 7e63e9c

• Align strictly to MILP solvers template

  ale-depi

  committed
  57e0476

  Copy full SHA for 57e0476

Commits on Apr 24, 2024

• Fix: Remove concatenate component in Kasumi

  juaninf

  committed
  7380acc

  Copy full SHA for 7380acc

• FIX/Fix: OR component cp linear propagation declarations

  SimoPez

  committed
  87f03e6

  Copy full SHA for 87f03e6

• fixed test

  SimoPez

  committed
  108db95

  Copy full SHA for 108db95

• FIX/Change: processing of intermediate outputs fixed for partial cipher creation method

  p-huynh

  committed
  934f1d2

  Copy full SHA for 934f1d2

Commits on Apr 25, 2024

• FIX/Change: processing of intermediate outputs fixed for partial cipher creation method

  p-huynh

  committed
  767d19f

  Copy full SHA for 767d19f

Commits on Apr 26, 2024

• minor fix

  SimoPez

  committed
  618b5a7

  Copy full SHA for 618b5a7

Commits on Apr 27, 2024

• Fixed DES vectorized and added test

  

  davidgerault

  committed
  5c35ec3

  Copy full SHA for 5c35ec3

• Merge pull request #217 from Crypto-TII/feature/rearrange-sat-and-smt-solvers

  Show description for 96d0fb8
  peacker

  authored
  96d0fb8

  Copy full SHA for 96d0fb8

• Merge pull request #224 from Crypto-TII/fix/cp-linear-or-propagation-constraints-and-output-parsing

  Show description for 00973e0
  peacker

  authored
  00973e0

  Copy full SHA for 00973e0

• Merge pull request #223 from Crypto-TII/fix/cipher_partial_inversion

  Show description for 5f08498
  peacker

  authored
  5f08498

  Copy full SHA for 5f08498

• Added unit vectorized unit tests for all block ciphers and hash functions

  

  davidgerault

  committed
  e1750ad

  Copy full SHA for e1750ad

Commits on Apr 28, 2024

• work in progress

  

  davidgerault

  committed
  1b806a9

  Copy full SHA for 1b806a9

• Added fix for trail search and vectorized evaluation

  

  davidgerault

  committed
  ee0b981

  Copy full SHA for ee0b981

• Added missing condition in evaluate_vectorized

  

  davidgerault

  committed
  734b53d

  Copy full SHA for 734b53d

• Added test

  

  davidgerault

  committed
  166882c

  Copy full SHA for 166882c

• Merge pull request #225 from Crypto-TII/fix/fix_des_linear_trail_search

  peacker

  authored
  7d9a31f

  Copy full SHA for 7d9a31f

Commits on May 7, 2024

• Refactoring Kasumi

  juaninf

  committed
  c05046b

  Copy full SHA for c05046b

• Merge branch 'develop' into remove_concatenate_component_kasumi

  juaninf

  committed
  cc2e4b5

  Copy full SHA for cc2e4b5

Commits on May 9, 2024

• Merge pull request #226 from Crypto-TII/remove_concatenate_component_kasumi

  Show description for 54b89d9
  peacker

  authored
  54b89d9

  Copy full SHA for 54b89d9

• Change GitHub actions execution to use on push in branch instead of on pull request closed

  mariags803

  committed
  09013f7

  Copy full SHA for 09013f7

Commits on May 10, 2024

• Retired bit-based-vectorized; fixed bugs

  

  davidgerault

  committed
  ccf5372

  Copy full SHA for ccf5372

• Added support for SBoxes larger than 8 bits in evaluate_vectorized

  

  davidgerault

  committed
  0243d91

  Copy full SHA for 0243d91

• Fixed vectorized evaluation of mixcolumns with 4-bit words

  

  davidgerault

  committed
  a8db8dc

  Copy full SHA for a8db8dc

• Refactor: window size feature

  juaninf

  committed
  b737daa

  Copy full SHA for b737daa

Commits on May 11, 2024

• Removing vectorized bit-based stuff

  

  davidgerault

  committed
  131f21e

  Copy full SHA for 131f21e

• .

  

  davidgerault

  committed
  1bab236

  Copy full SHA for 1bab236

• Fix/Add: non rectangular S-Boxes support for MILP models

  p-huynh

  committed
  ade7a6d

  Copy full SHA for ade7a6d

• Refactoring window_size tests

  juaninf

  committed
  2d011be

  Copy full SHA for 2d011be

Commits on May 12, 2024

• Removing track_arx_carries

  juaninf

  committed
  79af78a

  Copy full SHA for 79af78a

Commits on May 13, 2024

• Polish code

  juaninf

  committed
  3ec5399

  Copy full SHA for 3ec5399

• Fix/Add: non rectangular S-Boxes support for MILP models

  p-huynh

  committed
  836544f

  Copy full SHA for 836544f

• Fix: Fix platform and Gurobi version for M1

  AnaCaceres

  committed
  30c21d8

  Copy full SHA for 30c21d8

• Remove armlinux architecture for Gurobi in Dockerfile

  AnaCaceres

  committed
  f7e983b

  Copy full SHA for f7e983b

Commits on May 14, 2024

• Fix: Fix create_bash_script.py for local installation after distribution change

  AnaCaceres

  committed
  0c941f7

  Copy full SHA for 0c941f7

Commits on May 15, 2024

• Vectorized working for all block ciphers except rc5, aes_4_3 (bugs in GRs) and qarmav2_with_mixcolumn

  

  davidgerault

  committed
  9ad1e55

  Copy full SHA for 9ad1e55

• Merge branch 'develop' into fix/fix_vectorized_evaluation_bug_for_des

  DavidGerault

  authored
  d4df777

  Copy full SHA for d4df777

• typo

  

  davidgerault

  committed
  3e46990

  Copy full SHA for 3e46990

• typo 2

  

  davidgerault

  committed
  f0a8c6f

  Copy full SHA for f0a8c6f

• fix one test

  

  davidgerault

  committed
  bd2d756

  Copy full SHA for bd2d756

• Merge pull request #227 from Crypto-TII/split-windows-size

  Show description for fcbc965
  peacker

  authored
  fcbc965

  Copy full SHA for fcbc965

• .

  

  davidgerault

  committed
  41c7526

  Copy full SHA for 41c7526

• .

  

  davidgerault

  committed
  122f031

  Copy full SHA for 122f031

• reverted aes change

  

  davidgerault

  committed
  9c08439

  Copy full SHA for 9c08439

• removed unused test

  

  davidgerault

  committed
  34f5d5b

  Copy full SHA for 34f5d5b

• .

  

  davidgerault

  committed
  0ff41ee

  Copy full SHA for 0ff41ee

• Merge pull request #229 from Crypto-TII/fix/closed-pull-request

  Show description for a506095
  peacker

  authored
  a506095

  Copy full SHA for a506095

• Merge pull request #230 from Crypto-TII/fix/docker-image-m1

  Show description for e1c9e25
  peacker

  authored
  e1c9e25

  Copy full SHA for e1c9e25

• .

  

  davidgerault

  committed
  88f6dde

  Copy full SHA for 88f6dde

Commits on May 16, 2024

• Merge branch 'develop' into fix/non_rectangular_sbox_support_for_MILP

  p-huynh

  committed
  612d911

  Copy full SHA for 612d911

• Add user specified trail weight precision

  p-huynh

  committed
  fe8bd3e

  Copy full SHA for fe8bd3e

• Add user specified trail weight precision

  p-huynh

  committed
  d9ad96c

  Copy full SHA for d9ad96c

• Merge remote-tracking branch 'origin/fix/non_rectangular_sbox_support_for_MILP' into fix/non_rectangular_sbox_support_for_MILP

  p-huynh

  committed
  8b1813e

  Copy full SHA for 8b1813e

• Remove sonarcloud warnings

  p-huynh

  committed
  e85459e

  Copy full SHA for e85459e

Commits on May 17, 2024

• Merge pull request #228 from Crypto-TII/fix/non_rectangular_sbox_support_for_MILP

  peacker

  authored
  9534624

  Copy full SHA for 9534624

Commits on May 20, 2024

• Merge branch 'develop' of github.com:Crypto-TII/claasp into fix/fix_vectorized_evaluation_bug_for_des

  

  davidgerault

  committed
  822dbb2

  Copy full SHA for 822dbb2

• .

  

  davidgerault

  committed
  2b8a6d7

  Copy full SHA for 2b8a6d7

• changed timeout for is_algebraically_secure

  

  davidgerault

  committed
  5c8e0d5

  Copy full SHA for 5c8e0d5

• Merge pull request #233 from Crypto-TII/fix/fix_vectorized_evaluation_bug_for_des

  Show description for f5d8f55
  peacker

  authored
  f5d8f55

  Copy full SHA for f5d8f55

Commits on May 21, 2024

• removed clean report test function

  MFormenti

  committed
  b3fd759

  Copy full SHA for b3fd759