Skip to content

Actions: Crypto-TII/claasp

Run pytest and SonarCloud Scan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,932 workflow runs
1,932 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Feature/Add: add input generator tools as a common api for other methods
Run pytest and SonarCloud Scan #2551: Commit 387fc0d pushed by c0s13
November 14, 2024 20:46 50m 48s feat/synchronize_evaluation_api
November 14, 2024 20:46 50m 48s
Feat/division property
Run pytest and SonarCloud Scan #2550: Pull request #291 opened by SiMohamedRachidi
November 14, 2024 18:01 50m 52s feat/division_property
November 14, 2024 18:01 50m 52s
add the modeling of linear_layer component
Run pytest and SonarCloud Scan #2549: Commit 2033b35 pushed by SiMohamedRachidi
November 14, 2024 11:42 54m 9s feat/division_property
November 14, 2024 11:42 54m 9s
add pytests
Run pytest and SonarCloud Scan #2548: Commit 98aeca1 pushed by SiMohamedRachidi
November 12, 2024 12:21 53m 19s feat/division_property
November 12, 2024 12:21 53m 19s
return monomials instead of printing them
Run pytest and SonarCloud Scan #2547: Commit a77bf7a pushed by SiMohamedRachidi
November 12, 2024 12:07 13m 50s feat/division_property
November 12, 2024 12:07 13m 50s
add PoolSolutions to check_presence_of_particular_monomial_in_specifi…
Run pytest and SonarCloud Scan #2546: Commit 5fdf7f3 pushed by SiMohamedRachidi
November 12, 2024 11:56 11m 25s feat/division_property
November 12, 2024 11:56 11m 25s
fix the issue that certain monomials might be counted twice
Run pytest and SonarCloud Scan #2545: Commit 711d141 pushed by SiMohamedRachidi
November 12, 2024 11:49 7m 47s feat/division_property
November 12, 2024 11:49 7m 47s
fix degree search, module can now find the 8 rounds distinguisher of …
Run pytest and SonarCloud Scan #2544: Commit 2d0215a pushed by SiMohamedRachidi
November 12, 2024 09:33 2h 16m 25s feat/division_property
November 12, 2024 09:33 2h 16m 25s
revise sat differential model
Run pytest and SonarCloud Scan #2543: Commit 8abf78e pushed by c0s13
November 12, 2024 00:55 6h 23m 37s feat/sat_solver_with_options_parameter
November 12, 2024 00:55 6h 23m 37s
Merge pull request #290 from Crypto-TII/feat/add_hybrid_impossible_xo…
Run pytest and SonarCloud Scan #2542: Commit 28d11dd pushed by peacker
November 11, 2024 07:43 49m 52s develop
November 11, 2024 07:43 49m 52s
Feat/add hybrid impossible xor differential model
Run pytest and SonarCloud Scan #2541: Pull request #290 synchronize by p-huynh
November 10, 2024 12:16 49m 52s feat/add_hybrid_impossible_xor_differential_model
November 10, 2024 12:16 49m 52s
Feat/add hybrid impossible xor differential model
Run pytest and SonarCloud Scan #2539: Pull request #290 synchronize by p-huynh
November 9, 2024 10:50 49m 33s feat/add_hybrid_impossible_xor_differential_model
November 9, 2024 10:50 49m 33s
Corrected whitespace in doctest
Run pytest and SonarCloud Scan #2538: Commit 2a5a1d4 pushed by p-huynh
November 9, 2024 10:50 50m 23s feat/add_hybrid_impossible_xor_differential_model
November 9, 2024 10:50 50m 23s
Feat/add hybrid impossible xor differential model
Run pytest and SonarCloud Scan #2537: Pull request #290 synchronize by p-huynh
November 9, 2024 07:04 52m 8s
Changed Doctest
Run pytest and SonarCloud Scan #2536: Commit ba4a339 pushed by p-huynh
November 9, 2024 07:04 50m 35s feat/add_hybrid_impossible_xor_differential_model
November 9, 2024 07:04 50m 35s
Feat/add hybrid impossible xor differential model
Run pytest and SonarCloud Scan #2535: Pull request #290 opened by p-huynh
November 8, 2024 13:47 6h 0m 43s feat/add_hybrid_impossible_xor_differential_model
November 8, 2024 13:47 6h 0m 43s
Added explanations
Run pytest and SonarCloud Scan #2534: Commit 65133a1 pushed by p-huynh
November 8, 2024 13:44 52m 23s feat/add_hybrid_impossible_xor_differential_model
November 8, 2024 13:44 52m 23s
Feature/ADD: add options and weight parameter for sat linear model
Run pytest and SonarCloud Scan #2532: Commit a687bb7 pushed by c0s13
November 7, 2024 23:21 50m 18s feat/sat_solver_with_options_parameter
November 7, 2024 23:21 50m 18s
Feature/ADD: add options and weight parameter for sat differential model
Run pytest and SonarCloud Scan #2531: Commit ed41e5d pushed by c0s13
November 7, 2024 10:33 6h 1m 0s feat/sat_solver_with_options_parameter
November 7, 2024 10:33 6h 1m 0s
Merge pull request #286 from Crypto-TII/feature/add-pypi-github-action
Run pytest and SonarCloud Scan #2530: Commit 6ae63d5 pushed by c0s13
November 7, 2024 08:47 1h 46m 25s feat/sat_solver_with_options_parameter
November 7, 2024 08:47 1h 46m 25s
Merge pull request #286 from Crypto-TII/feature/add-pypi-github-action
Run pytest and SonarCloud Scan #2529: Commit 6ae63d5 pushed by c0s13
November 6, 2024 19:39 6h 0m 41s other/revise_code_for_differential_linear
November 6, 2024 19:39 6h 0m 41s
Probabilistic key propagation (WIP)
Run pytest and SonarCloud Scan #2528: Commit ef769c7 pushed by p-huynh
November 5, 2024 19:52 6h 0m 42s feat/add_hybrid_impossible_xor_differential_model
November 5, 2024 19:52 6h 0m 42s
FIX/Fix: SBox deterministic truncated constraints
Run pytest and SonarCloud Scan #2527: Pull request #289 opened by SimoPez
October 29, 2024 16:21 51m 6s fix/cp_sbox_deterministic_constraints
October 29, 2024 16:21 51m 6s