rosenpass

gitea-mirror/rosenpass

Fork 0

mirror of https://github.com/rosenpass/rosenpass.git synced 2026-01-21 00:54:04 -08:00

Commit Graph

Select branches

Hide Pull Requests

alice/changelog

analyze_py

arabich/analyze_py/awk

bench

dependabot/cargo/anyhow-1.0.100

dependabot/cargo/base64ct-1.8.0

dependabot/cargo/clap-4.5.37

dependabot/cargo/clap_complete-4.5.48

dependabot/cargo/thiserror-2.0.11

dependabot/github_actions/actions/cache-5

dependabot/github_actions/actions/download-artifact-6

dependabot/github_actions/cachix/cachix-action-16

dependabot/github_actions/cachix/install-nix-action-31

dependabot/github_actions/stefanzweifel/git-auto-commit-action-7

dev/add-dev-container

dev/add-osx-ci

dev/add-uds

dev/blipp/build_with_experiment_api

dev/broker-architecture

dev/broker-architecture-2024-01-27-backup-pre-history-cleanup-with-initial-podman

dev/broker-architecture-hermit

dev/cve/dead-mockbrocker

dev/david/cargo-crev-and-dependabot

dev/flake-maintenance

dev/improve-logging

dev/karo/api

dev/karo/api-integration-test-coverage-reporting

dev/karo/api-transports

dev/karo/atomic-polyfill-fix

dev/karo/cli_config_docs

dev/karo/disable-benchmarks

dev/karo/docs_and_unit_tests

dev/karo/fix-mac-build

dev/karo/hash-based-retransmission

dev/karo/historical-symbolic-models-identity-hiding-dos-protection

dev/karo/keks-benchmarks-ci-fix

dev/karo/libcrux_chacha20poly1305

dev/karo/macos-fix

dev/karo/merge-cookie-mechanism

dev/karo/protocol-version-2

dev/karo/rollback-proofs

dev/karo/rp-smoke-test

dev/karo/sha3-and-crypto-trait-and-libcrux

dev/karo/test-pr/keks/benchmarks

dev/old-digital-phoenix-identity-hiding-pr

dev/redo-retransmission

dev/refine-logging

dev/rustify-rp

dev/update-cargolock

dev/wucke13

docu-tests-to

feat/improved-memfd-allocation

gh-pages

macos-runner

main

papers-pdf

regression-test

revert-431-cargo-fmt

systemd-unit-files

v0.2.x

#10

#101

#102

#103

#104

#107

#11

#110

#111

#113

#114

#115

#117

#119

#12

#123

#124

#126

#127

#128

#129

#13

#133

#134

#135

#136

#14

#140

#141

#142

#143

#145

#147

#148

#149

#150

#151

#154

#155

#158

#159

#16

#160

#161

#162

#165

#17

#171

#173

#174

#176

#177

#180

#181

#183

#184

#185

#186

#187

#188

#189

#190

#191

#192

#193

#195

#196

#197

#198

#199

#2

#22

#224

#225

#23

#230

#233

#234

#235

#238

#239

#24

#240

#244

#246

#25

#250

#251

#253

#254

#255

#257

#258

#259

#262

#263

#264

#265

#266

#267

#268

#269

#270

#271

#272

#273

#274

#275

#276

#278

#279

#28

#280

#281

#282

#283

#284

#285

#286

#288

#288

#289

#29

#290

#291

#292

#293

#294

#295

#296

#297

#298

#299

#30

#300

#301

#302

#303

#304

#305

#306

#307

#310

#311

#312

#313

#314

#315

#316

#317

#318

#321

#322

#323

#324

#325

#326

#326

#329

#332

#333

#334

#335

#336

#337

#337

#338

#340

#342

#343

#344

#347

#348

#349

#350

#351

#351

#352

#352

#354

#356

#357

#359

#360

#361

#362

#363

#364

#365

#366

#37

#370

#371

#373

#374

#375

#376

#377

#378

#38

#380

#383

#384

#387

#388

#390

#391

#392

#393

#394

#395

#396

#397

#398

#4

#40

#400

#401

#402

#403

#404

#405

#406

#407

#408

#409

#410

#411

#413

#414

#415

#416

#417

#418

#419

#42

#420

#421

#422

#423

#424

#425

#426

#427

#428

#429

#430

#430

#431

#432

#433

#434

#435

#436

#437

#438

#439

#440

#441

#442

#443

#446

#447

#449

#450

#453

#454

#455

#456

#457

#458

#459

#460

#461

#462

#463

#464

#465

#465

#466

#467

#468

#469

#470

#471

#472

#473

#474

#475

#476

#477

#478

#479

#480

#481

#482

#483

#484

#485

#486

#488

#489

#490

#491

#492

#493

#494

#495

#496

#497

#498

#499

#5

#500

#501

#502

#503

#505

#506

#507

#509

#510

#511

#512

#513

#514

#516

#517

#518

#519

#52

#520

#521

#523

#524

#525

#526

#527

#528

#529

#53

#530

#531

#532

#535

#537

#538

#54

#542

#543

#544

#545

#546

#547

#548

#549

#550

#551

#552

#553

#554

#555

#556

#557

#557

#558

#559

#56

#560

#563

#564

#565

#566

#567

#568

#569

#570

#571

#572

#573

#574

#575

#576

#577

#578

#579

#58

#580

#581

#582

#583

#584

#585

#586

#59

#595

#597

#598

#6

#604

#606

#607

#608

#609

#612

#613

#614

#615

#615

#616

#617

#619

#621

#621

#622

#622

#623

#624

#625

#626

#627

#628

#629

#630

#631

#632

#635

#636

#638

#640

#641

#642

#643

#644

#644

#645

#648

#649

#649

#651

#652

#653

#654

#655

#656

#657

#658

#659

#66

#660

#661

#662

#663

#664

#667

#668

#669

#670

#671

#671

#672

#673

#673

#674

#675

#676

#677

#678

#679

#680

#680

#681

#685

#686

#688

#69

#690

#691

#692

#693

#694

#695

#696

#698

#699

#7

#700

#705

#705

#706

#706

#707

#707

#708

#710

#710

#75

#78

#8

#84

#88

#89

#9

#90

#97

#99

rosenpass-v0.2.1-rc.1

rosenpass-v0.2.1-rc.2

v0.1.1

v0.1.1-rc.1

v0.1.1-rc.2

v0.1.1-rc.3

v0.1.1-rc.4

v0.1.1-rc.5

v0.1.1-rc.7

v0.1.2-rc.1

v0.1.2-rc.2

v0.1.2-rc.3

v0.1.2-rc.4

v0.2.0

v0.2.0-rc.1

v0.2.1

v0.2.1-rc.3

v0.2.2

whitepaper-release

fbe23f43c3 add Crypto Primitives Benchmarks benchmark result for 14b64f3825 gh-pages github-action-benchmark 2025-12-17 23:53:01 +00:00
3cde57fc7c add Protocol Benchmarks benchmark result for 14b64f3825 github-action-benchmark 2025-12-17 23:34:52 +00:00
a767ea491f add Crypto Primitives Benchmarks benchmark result for 14b64f3825 github-action-benchmark 2025-12-17 23:26:58 +00:00
7b156373ff add Protocol Benchmarks benchmark result for 14b64f3825 github-action-benchmark 2025-12-17 23:17:30 +00:00
14b64f3825 chore(deps): bump actions/cache from 4 to 5 dependabot/github_actions/actions/cache-5 dependabot[bot] 2025-12-17 23:12:23 +00:00
8f995ff635 add Crypto Primitives Benchmarks benchmark result for 8dfed280e3 github-action-benchmark 2025-12-17 20:33:23 +00:00
eb1f826c4d add Crypto Primitives Benchmarks benchmark result for b096cb1cc1 github-action-benchmark 2025-12-17 20:32:21 +00:00
fa8379d48d add Protocol Benchmarks benchmark result for b096cb1cc1 github-action-benchmark 2025-12-17 20:17:29 +00:00
eeb7fa9940 add Protocol Benchmarks benchmark result for 8dfed280e3 github-action-benchmark 2025-12-17 20:16:10 +00:00
ce03f6da03 add Crypto Primitives Benchmarks benchmark result for 8dfed280e3 github-action-benchmark 2025-12-17 20:06:47 +00:00
d434c0be43 add Crypto Primitives Benchmarks benchmark result for b096cb1cc1 github-action-benchmark 2025-12-17 20:06:43 +00:00
740e01ce0d add Protocol Benchmarks benchmark result for 8dfed280e3 github-action-benchmark 2025-12-17 19:58:02 +00:00
3b7a4778ae add Protocol Benchmarks benchmark result for b096cb1cc1 github-action-benchmark 2025-12-17 19:57:44 +00:00
4e1a82f64f deploy: b096cb1cc1 papers-pdf koraa 2025-12-17 19:54:13 +00:00
8dfed280e3 chore(deps): bump stefanzweifel/git-auto-commit-action from 6 to 7 dependabot/github_actions/stefanzweifel/git-auto-commit-action-7 dependabot[bot] 2025-10-13 23:11:55 +00:00
b096cb1cc1 Regenerate cargo vet exemptions main Rosenpass CI Bot 2025-10-24 23:13:06 +00:00
9c555f0c98 chore(deps): bump actions/upload-artifact from 4 to 5 dependabot[bot] 2025-10-24 23:10:07 +00:00
ac2d15c896 add Crypto Primitives Benchmarks benchmark result for 444e782854 github-action-benchmark 2025-12-15 17:44:06 +00:00
d5468a52fa add Protocol Benchmarks benchmark result for 444e782854 github-action-benchmark 2025-12-15 17:28:26 +00:00
4d2a9b0f12 add Crypto Primitives Benchmarks benchmark result for 444e782854 github-action-benchmark 2025-12-15 17:20:21 +00:00
75184efe53 add Protocol Benchmarks benchmark result for 444e782854 github-action-benchmark 2025-12-15 17:10:56 +00:00
444e782854 WIP: awk replacement arabich/analyze_py/awk Anja Rabich 2025-12-15 18:05:32 +01:00
bc49014a24 add Crypto Primitives Benchmarks benchmark result for 0a945aa152 github-action-benchmark 2025-12-08 17:33:44 +00:00
7082bfb36e add Protocol Benchmarks benchmark result for 0a945aa152 github-action-benchmark 2025-12-08 17:18:30 +00:00
728ba90798 add Crypto Primitives Benchmarks benchmark result for 0a945aa152 github-action-benchmark 2025-12-08 17:10:56 +00:00
998c12988d add Protocol Benchmarks benchmark result for 0a945aa152 github-action-benchmark 2025-12-08 17:01:11 +00:00
de09feb60e add Crypto Primitives Benchmarks benchmark result for 2c35c5b4ad github-action-benchmark 2025-12-08 16:35:30 +00:00
bbe7708a28 add Protocol Benchmarks benchmark result for 2c35c5b4ad github-action-benchmark 2025-12-08 16:19:42 +00:00
0a945aa152 feat: WIP awk rewrite Anja Rabich 2025-12-01 21:42:10 +01:00
8bf76acc46 add Crypto Primitives Benchmarks benchmark result for 2c35c5b4ad github-action-benchmark 2025-12-08 16:11:55 +00:00
e5e1100305 add Protocol Benchmarks benchmark result for 2c35c5b4ad github-action-benchmark 2025-12-08 16:02:40 +00:00
2c35c5b4ad chore: add script to test ProVerif example files Benjamin Lipp 2025-12-08 16:58:11 +01:00
3a1b981ce3 fix: errors in ProVerif grammar found by ProVerif example files Benjamin Lipp 2025-12-08 16:57:53 +01:00
481977510d feat: catch parser errors when using parse CLI Benjamin Lipp 2025-12-08 16:56:18 +01:00
4d4c214600 feat: add model name to log entries Benjamin Lipp 2025-12-08 16:55:45 +01:00
e7dcc23d1c add Crypto Primitives Benchmarks benchmark result for 6af6fb6b2a github-action-benchmark 2025-12-02 19:16:10 +00:00
7902e3bb27 add Protocol Benchmarks benchmark result for 6af6fb6b2a github-action-benchmark 2025-12-02 19:01:04 +00:00
621b04c66a add Crypto Primitives Benchmarks benchmark result for 6af6fb6b2a github-action-benchmark 2025-12-02 18:53:09 +00:00
656a7e806c add Protocol Benchmarks benchmark result for 6af6fb6b2a github-action-benchmark 2025-12-02 18:43:38 +00:00
e14fc12f88 fix: add missing defines for 04_dos model Benjamin Lipp 2025-12-01 15:11:10 +01:00
ede601b459 add Crypto Primitives Benchmarks benchmark result for 6af6fb6b2a github-action-benchmark 2025-11-25 16:32:11 +00:00
b6715c6357 add Protocol Benchmarks benchmark result for 6af6fb6b2a github-action-benchmark 2025-11-25 16:14:57 +00:00
7afc6f976b add Crypto Primitives Benchmarks benchmark result for 6af6fb6b2a github-action-benchmark 2025-11-25 16:07:05 +00:00
b531d24482 add Protocol Benchmarks benchmark result for 6af6fb6b2a github-action-benchmark 2025-11-25 15:57:49 +00:00
6af6fb6b2a fix: pterm can resolve to NAT analyze_py Benjamin Lipp 2025-11-25 16:00:16 +01:00
e3b43a59bf fix: transcription errors in grammar relating to processes Benjamin Lipp 2025-11-25 15:59:29 +01:00
3942bfa65e chore: add comment indicating CryptoVerif terms Benjamin Lipp 2025-11-25 15:58:45 +01:00
72317f808f add Crypto Primitives Benchmarks benchmark result for 7b1a62b6bb github-action-benchmark 2025-11-18 17:32:17 +00:00
420504a7c3 add Protocol Benchmarks benchmark result for 7b1a62b6bb github-action-benchmark 2025-11-18 17:17:45 +00:00
32e8c5c120 add Crypto Primitives Benchmarks benchmark result for 7b1a62b6bb github-action-benchmark 2025-11-18 17:09:39 +00:00
0261a4e1b2 add Protocol Benchmarks benchmark result for 7b1a62b6bb github-action-benchmark 2025-11-18 17:00:07 +00:00
7b1a62b6bb feat: do not try to reject reserved words Benjamin Lipp 2025-11-18 17:55:32 +01:00
10f9ab3af6 add Crypto Primitives Benchmarks benchmark result for d1a33981b1 github-action-benchmark 2025-11-18 15:53:20 +00:00
3be36cac74 add Protocol Benchmarks benchmark result for d1a33981b1 github-action-benchmark 2025-11-18 15:37:00 +00:00
8b092f3d68 add Crypto Primitives Benchmarks benchmark result for d1a33981b1 github-action-benchmark 2025-11-18 15:29:07 +00:00
676ddcd237 add Protocol Benchmarks benchmark result for d1a33981b1 github-action-benchmark 2025-11-18 15:19:38 +00:00
d1a33981b1 feat: add missing option terms Benjamin Lipp 2025-11-18 16:15:20 +01:00
b873c4b620 add Crypto Primitives Benchmarks benchmark result for c4eea31c5d github-action-benchmark 2025-11-02 14:39:50 +00:00
27ce0ac27c add Protocol Benchmarks benchmark result for c4eea31c5d github-action-benchmark 2025-11-02 14:23:45 +00:00
96a45b33d3 add Crypto Primitives Benchmarks benchmark result for c4eea31c5d github-action-benchmark 2025-11-02 14:16:05 +00:00
0bd2d9b498 add Protocol Benchmarks benchmark result for c4eea31c5d github-action-benchmark 2025-11-02 14:07:05 +00:00
c4eea31c5d stash dev/karo/api-transports Karolin Varner 2025-11-01 21:27:51 +01:00
9fd32086ea stash Karolin Varner 2025-11-01 21:14:08 +01:00
63511465de stash Karolin Varner 2025-11-01 20:49:47 +01:00
0c960d57bc stasg Karolin Varner 2025-11-01 20:49:38 +01:00
8f276f70a6 foo Karolin Varner 2025-11-01 20:35:10 +01:00
9580961dd9 stash Karolin Varner 2025-08-30 14:07:10 +02:00
fad00f80b7 add Crypto Primitives Benchmarks benchmark result for 3e111fa7ad851125f8e791238cf79a9a167508e6 github-action-benchmark 2025-10-25 11:38:42 +00:00
10e1b5e402 add Protocol Benchmarks benchmark result for 3e111fa7ad851125f8e791238cf79a9a167508e6 github-action-benchmark 2025-10-25 11:25:05 +00:00
b9040e4596 add Crypto Primitives Benchmarks benchmark result for 3e111fa7ad851125f8e791238cf79a9a167508e6 github-action-benchmark 2025-10-25 11:15:55 +00:00
69b8b434ee add Protocol Benchmarks benchmark result for 3e111fa7ad851125f8e791238cf79a9a167508e6 github-action-benchmark 2025-10-25 11:07:57 +00:00
34567c6e61 add Crypto Primitives Benchmarks benchmark result for 1510445c26 github-action-benchmark 2025-10-24 23:51:15 +00:00
de8f53f6fc add Crypto Primitives Benchmarks benchmark result for 77a5e3b700 github-action-benchmark 2025-10-24 23:50:52 +00:00
b6e382b960 add Protocol Benchmarks benchmark result for 1510445c26 github-action-benchmark 2025-10-24 23:35:09 +00:00
9ab5a79520 add Protocol Benchmarks benchmark result for 77a5e3b700 github-action-benchmark 2025-10-24 23:35:05 +00:00
3d885cf316 add Crypto Primitives Benchmarks benchmark result for 77a5e3b700 github-action-benchmark 2025-10-24 23:27:30 +00:00
e75cdeda74 add Crypto Primitives Benchmarks benchmark result for 1510445c26 github-action-benchmark 2025-10-24 23:27:23 +00:00
898a3ac0ff add Protocol Benchmarks benchmark result for 77a5e3b700 github-action-benchmark 2025-10-24 23:18:07 +00:00
98e3fd0ceb add Protocol Benchmarks benchmark result for 1510445c26 github-action-benchmark 2025-10-24 23:18:00 +00:00
77a5e3b700 Regenerate cargo vet exemptions dependabot/github_actions/actions/download-artifact-6 Rosenpass CI Bot 2025-10-24 23:13:05 +00:00
f2004fd0b3 chore(deps): bump actions/download-artifact from 5 to 6 dependabot[bot] 2025-10-24 23:10:03 +00:00
791dab5fd1 add Crypto Primitives Benchmarks benchmark result for 4736c40d84b03e13d487baaee95691029f083a3a github-action-benchmark 2025-10-19 14:10:25 +00:00
670513241a add Protocol Benchmarks benchmark result for 4736c40d84b03e13d487baaee95691029f083a3a github-action-benchmark 2025-10-19 13:55:40 +00:00
8a75405879 add Crypto Primitives Benchmarks benchmark result for 4736c40d84b03e13d487baaee95691029f083a3a github-action-benchmark 2025-10-19 13:46:56 +00:00
32d236b855 add Protocol Benchmarks benchmark result for 4736c40d84b03e13d487baaee95691029f083a3a github-action-benchmark 2025-10-19 13:37:50 +00:00
887074b890 add Crypto Primitives Benchmarks benchmark result for f20fd1acc3 github-action-benchmark 2025-10-14 16:40:57 +00:00
50e2d35ab3 add Protocol Benchmarks benchmark result for f20fd1acc3 github-action-benchmark 2025-10-14 16:24:06 +00:00
8f3d2a6aa0 add Crypto Primitives Benchmarks benchmark result for f20fd1acc3 github-action-benchmark 2025-10-14 16:16:23 +00:00
690b38d72d add Protocol Benchmarks benchmark result for f20fd1acc3 github-action-benchmark 2025-10-14 16:07:07 +00:00
f20fd1acc3 feat: module declaration, WIP: missing ProVerif option terms Benjamin Lipp 2025-10-14 18:01:13 +02:00
3ce0d262d9 feat: add parser for multi-line comments, without nesting Benjamin Lipp 2025-10-14 17:31:31 +02:00
dd83a9dc23 add Crypto Primitives Benchmarks benchmark result for 1e4316f7f8 github-action-benchmark 2025-10-13 23:53:45 +00:00
b23a2e2d57 add Protocol Benchmarks benchmark result for 1e4316f7f8 github-action-benchmark 2025-10-13 23:37:44 +00:00
3a1f9f1f3b add Crypto Primitives Benchmarks benchmark result for 1e4316f7f8 github-action-benchmark 2025-10-13 23:28:52 +00:00
3cfd794bc1 add Protocol Benchmarks benchmark result for 1e4316f7f8 github-action-benchmark 2025-10-13 23:20:13 +00:00
cc02c0568c add Crypto Primitives Benchmarks benchmark result for a389e3c222 github-action-benchmark 2025-09-30 16:25:09 +00:00
d171421c70 add Protocol Benchmarks benchmark result for a389e3c222 github-action-benchmark 2025-09-30 16:08:49 +00:00
5b0fe302e4 add Crypto Primitives Benchmarks benchmark result for a389e3c222 github-action-benchmark 2025-09-30 16:00:33 +00:00
f920ccfc6a add Protocol Benchmarks benchmark result for a389e3c222 github-action-benchmark 2025-09-30 15:51:05 +00:00
a389e3c222 WIP: lark parser for awk Anja Rabich 2025-09-30 17:46:33 +02:00

1 2 3 4 5 ...