Commit Graph

Select branches

Hide Pull Requests

24-sustained

24.2

25-sustained

25.0

25.1

25.2

@senier_cbor

@senier_igmp

@senier_pppoe

coap

devel

issue_1214

issue_215

issue_23

issue_50

issue_8

main

topic/reiher/1162-deploy-to-pypi

#1004

#1006

#1007

#1008

#1009

#1010

#1013

#1014

#1015

#1016

#1020

#1022

#1024

#1025

#1027

#1029

#1031

#1036

#1037

#1044

#1046

#1049

#1050

#1051

#1053

#1056

#1060

#1061

#1062

#1066

#1071

#1072

#1073

#1075

#1081

#1082

#1083

#1085

#1087

#1089

#1091

#1093

#1094

#1096

#1097

#1098

#1099

#1100

#1102

#1103

#1105

#1106

#1108

#1111

#1112

#1113

#1117

#1119

#112

#1125

#1128

#1129

#1134

#1136

#1138

#1139

#1140

#1143

#1145

#1147

#1148

#1149

#115

#1150

#1152

#1154

#1157

#1159

#1161

#1164

#1168

#1170

#1172

#1173

#1174

#1175

#1176

#1177

#1178

#1179

#118

#1180

#1181

#1182

#1187

#1189

#119

#1191

#1192

#1193

#1196

#1197

#1198

#1199

#120

#1201

#1202

#1205

#1206

#1209

#121

#1211

#1212

#1213

#123

#1230

#1231

#1232

#1233

#1234

#1237

#1238

#1239

#124

#1244

#1245

#1246

#1247

#1248

#1249

#125

#1252

#1253

#1258

#1260

#1261

#1262

#1264

#1265

#1266

#1270

#1271

#1272

#1273

#1274

#1277

#1278

#1279

#1280

#1282

#1283

#1284

#1285

#129

#1298

#1304

#1305

#131

#132

#140

#151

#156

#157

#158

#159

#162

#164

#166

#167

#172

#173

#179

#181

#183

#188

#195

#198

#201

#202

#203

#210

#211

#212

#213

#214

#216

#218

#219

#225

#226

#232

#233

#234

#236

#239

#241

#244

#246

#249

#250

#251

#255

#259

#264

#268

#269

#270

#271

#274

#278

#279

#280

#281

#283

#285

#286

#290

#294

#295

#296

#299

#300

#301

#302

#304

#306

#308

#318

#321

#323

#325

#326

#327

#330

#333

#337

#339

#341

#348

#350

#352

#354

#355

#358

#360

#361

#362

#363

#365

#367

#369

#370

#371

#373

#374

#376

#377

#378

#379

#381

#382

#385

#386

#390

#391

#392

#394

#402

#405

#408

#409

#411

#412

#415

#417

#418

#419

#424

#428

#429

#431

#434

#435

#436

#439

#440

#443

#445

#449

#450

#455

#457

#460

#461

#462

#464

#465

#466

#468

#469

#471

#472

#473

#474

#475

#477

#478

#481

#483

#493

#495

#498

#501

#509

#513

#515

#518

#519

#521

#523

#532

#537

#538

#539

#541

#542

#549

#551

#553

#556

#558

#565

#571

#578

#582

#585

#588

#592

#594

#596

#599

#605

#610

#613

#614

#616

#618

#619

#623

#626

#628

#630

#631

#639

#645

#648

#649

#652

#654

#656

#657

#661

#667

#672

#673

#680

#683

#685

#688

#693

#695

#696

#698

#704

#705

#711

#716

#719

#720

#722

#723

#725

#728

#73

#730

#731

#732

#733

#734

#735

#739

#74

#740

#741

#742

#744

#746

#747

#749

#75

#751

#753

#754

#756

#757

#76

#762

#765

#77

#772

#775

#777

#778

#779

#781

#785

#787

#789

#790

#791

#792

#793

#794

#797

#798

#800

#803

#805

#808

#809

#81

#811

#813

#820

#822

#826

#827

#830

#831

#832

#835

#837

#839

#84

#841

#842

#843

#848

#851

#853

#857

#858

#859

#864

#866

#867

#871

#872

#876

#877

#885

#886

#889

#89

#891

#893

#894

#898

#900

#901

#904

#906

#910

#918

#919

#922

#923

#924

#925

#928

#929

#930

#932

#938

#939

#940

#941

#942

#944

#945

#947

#948

#950

#952

#956

#963

#966

#967

#968

#969

#970

#976

#978

#980

#988

#99

#990

#992

#994

#997

#998

#999

v0.1.0

v0.10.0

v0.11.0

v0.11.1

v0.12.0

v0.13.0

v0.14.0

v0.15.0

v0.16.0

v0.17.0

v0.18.0

v0.19.0

v0.2.0

v0.20.0

v0.21.0

v0.22.0

v0.23.0

v0.24.0

v0.25.0

v0.26.0

v0.3.0

v0.4.0

v0.4.1

v0.5.0

v0.6.0

v0.7.0

v0.7.1

v0.8.0

v0.9.0

v0.9.1

Mono Color

• d13da982a2 Remove useless with clauses and use clauses main Tobias Reiher 2026-01-07 15:41:21 +01:00
• a07f337cda Rectify year of first publication Tobias Reiher 2026-01-02 11:54:09 +01:00
• e585d6a747 Update dependencies of VS Code extension Tobias Reiher 2026-01-02 11:04:33 +01:00
• 81632a0311 Fix packaging Tobias Reiher 2025-12-17 15:08:10 +01:00
• 3bbe0af7be Update Python dependencies Tobias Reiher 2025-12-16 09:05:21 +01:00
• bc5c6c57ab Drop support for Python 3.9 Tobias Reiher 2025-11-24 11:11:47 +01:00
• 3360b28ff4 Fix publishing to (Test)PyPI Tobias Reiher 2025-10-24 10:46:07 +02:00
• 0e0392b8d5 Fix selection of Python version when testing package Tobias Reiher 2025-10-24 10:45:42 +02:00
• dffc97c714 Add help message when reordering message aspects might fix parser error Tobias Reiher 2025-10-09 19:35:01 +02:00
• deed394a4d Update dependencies of VS Code extension to fix security vulnerability Tobias Reiher 2025-10-09 14:40:29 +02:00
• 0e2d8923aa Update dependencies of VS Code extension to fix security vulnerability Tobias Reiher 2025-07-28 18:51:11 +02:00
• d5cfea73ab Use public NPM registry Tobias Reiher 2025-06-23 14:18:14 +02:00
• 2a83656577 Update dependencies of VS Code extension to fix security vulnerability Tobias Reiher 2025-06-23 13:00:43 +02:00
• 4276f93b34 Update requests and urllib3 to fix security vulnerabilities Tobias Reiher 2025-06-23 12:59:16 +02:00
• 1426eee14b Prevent deprecation warnings caused by z3-solver Tobias Reiher 2025-06-03 14:50:27 +02:00
• b294b087e4 Update dependencies of VS Code extension to fix security vulnerability Tobias Reiher 2025-06-03 13:59:29 +02:00
• c954e10af1 Update setuptools to fix security vulnerability Tobias Reiher 2025-05-21 08:32:39 +02:00
• 488d0a760e Update dependencies of VS Code extension to fix security vulnerabilities Tobias Reiher 2025-03-31 09:43:50 +02:00
• 7597170662 Fix CodeQL Analysis Tobias Reiher 2025-03-10 11:53:32 +01:00
• eec0e379c2 Update jinja2 to fix security vulnerability Tobias Reiher 2025-03-07 09:51:08 +01:00
• 6e425ed1a8 Update dependencies of VS Code extension to fix security vulnerabilities Tobias Reiher 2025-02-13 13:29:53 +01:00
• 3c9f82d944 Update cryptography to fix security vulnerability Tobias Reiher 2025-02-12 11:02:50 +01:00
• 59caf45a96 Fix validity of null messages in PyRFLX Tobias Reiher 2025-02-04 11:29:40 +01:00
• bb6d375790 Update pypiserver for compatibility with Python 3.12 Tobias Reiher 2025-01-20 17:10:23 +01:00
• d6f7d6c567 Use Python 3.12 for creating Python wheels archive Tobias Reiher 2025-01-20 16:37:17 +01:00
• 4806578c9b Fix display of message graphs in VS Code Tobias Reiher 2025-01-07 09:12:00 +01:00
• 453373e799 Update Python dependencies Tobias Reiher 2025-01-02 18:12:50 +01:00
• 919a1625db Update jinja2 to fix security vulnerability Tobias Reiher 2025-01-02 17:14:40 +01:00
• 9412209ff9 Add logging to the CI simulation Andres Toom 2024-12-20 23:43:24 +02:00
• 06c26b169e Update copyright year Tobias Reiher 2025-01-02 17:08:36 +01:00
• 4596982a6c Run CI simulations with a clean setup by default Andres Toom 2024-12-20 18:20:52 +02:00
• 5238768e3f Add make target for simulating CI jobs Andres Toom 2024-12-01 23:28:50 +02:00
• 4b6dd32ea5 Add script for extracting CI job definitions Andres Toom 2024-12-01 22:17:48 +02:00
• 857ac277e2 Remove version in generated documentation v0.26.0 Tobias Reiher 2024-12-18 18:38:05 +01:00
• 3fb7aa8078 Add 0.26.0 to CHANGELOG Tobias Reiher 2024-12-18 12:00:15 +01:00
• 209664fb5b Rewrite binary expressions in Rust Tobias Reiher 2024-12-16 17:41:47 +01:00
• 4743adc348 Rewrite basic expressions in Rust Tobias Reiher 2024-12-06 18:55:22 +01:00
• 2f8a699600 Fix exit status of RapidFlux coverage testing Tobias Reiher 2024-11-29 18:48:20 +01:00
• 83044b7732 Add implicit elements in named aggregates as alternative to box notation Tobias Reiher 2024-12-09 13:29:06 +01:00
• ba393243da Further increase feature test proof timeout Alexander Senier 2024-12-02 14:44:42 +00:00
• 7480b80e1b Make ada_prefix.py Python 3.9 compatible Alexander Senier 2024-12-02 12:46:49 +00:00
• 72287292bc Add TODO for ada.Aggregate limitations Alexander Senier 2024-11-29 14:54:07 +00:00
• 469aa7671d Remove string caching from rflx.ada Alexander Senier 2024-11-29 14:41:48 +00:00
• 7fff13a9e5 Include lark as runtime dependency Alexander Senier 2024-11-29 15:37:50 +00:00
• 67ea9e3c9c Document Ada version support by the parser Alexander Senier 2024-11-25 15:02:30 +00:00
• ac67fdec10 Add method for creating optional parentheses to Expr Alexander Senier 2024-11-25 13:18:06 +00:00
• ccbcd4fea5 Separate unified procedure/function declaration Alexander Senier 2024-11-25 16:15:31 +00:00
• 57502b4111 Rename ada.Subprogram{Abstract|Separate}Declaration to ada {Abstract|Separate}SubprogramDeclaration Alexander Senier 2024-11-22 14:32:16 +00:00
• bad26c45de Test generic procedure instantiation w/o associations Alexander Senier 2024-11-22 14:10:03 +00:00
• 4358b4bd15 Rename SignedIntegerType and RangeType Alexander Senier 2024-11-22 13:55:16 +00:00
• 73822448ce Keep "is" keyword on same line if no aspects are present Alexander Senier 2024-11-22 13:41:11 +00:00
• 090740d004 Introduce ada.FormalTypeDeclaration Alexander Senier 2024-11-22 11:55:19 +00:00
• 48ece718b6 Use ada.String.escaped() instead of manually escaping strings Alexander Senier 2024-11-21 16:02:21 +00:00
• 95802a06a4 Ensure all generated files have a final newline Alexander Senier 2024-11-21 15:47:52 +00:00
• 53a878ce6c Put "is" keyword on separate line Alexander Senier 2024-11-19 12:28:58 +00:00
• 33312bc01e Put aspect-related withs onto separate line Alexander Senier 2024-11-19 14:01:29 +00:00
• a58fd42833 Implement license header through context items Alexander Senier 2024-11-07 12:57:46 +00:00
• 98e25765ea Test changing package prefix in Ada parser integration tests Alexander Senier 2024-11-05 15:35:52 +00:00
• d2ae78fca5 Use parsed template models for code generation Alexander Senier 2024-11-05 15:34:47 +00:00
• 2ab8d27551 Implement changing Ada package prefix Alexander Senier 2024-10-25 08:13:11 +00:00
• 46c62ef132 Replace prefix parameter by constant prefix Alexander Senier 2024-11-05 15:26:50 +00:00
• 21a6d5d9ec Make templates proper Ada packages Alexander Senier 2024-11-04 16:21:58 +00:00
• 803f3f3226 Check layout in integration tests Alexander Senier 2024-10-09 13:52:25 +00:00
• 9e17e20f75 Generate aggregates with > 2 elements in property tests Alexander Senier 2024-10-09 13:48:02 +00:00
• 01003936c2 Normalize templates Alexander Senier 2024-10-09 13:28:13 +00:00
• 8a49b03c34 Add function to parse Ada files Alexander Senier 2024-11-05 15:32:15 +00:00
• 845341cd9a Simplify parser, improve test coverage Alexander Senier 2024-09-27 11:52:10 +00:00
• df39e41571 Support record extension Alexander Senier 2024-09-25 13:17:12 +00:00
• 68ef3c1f8d Make SPARK_Mode parsing more robust Alexander Senier 2024-09-25 12:30:36 +00:00
• 96d8eb970c Support case statements Alexander Senier 2024-09-25 09:22:42 +00:00
• 5b36b076ba Support array assignments Alexander Senier 2024-09-24 15:25:03 +00:00
• af4ca48a83 Support for loops Alexander Senier 2024-09-24 14:38:57 +00:00
• 6b38a05fa6 Support declare blocks Alexander Senier 2024-09-24 14:07:00 +00:00
• 7ed1bc5674 Support formal package declaration Alexander Senier 2024-09-24 11:26:36 +00:00
• 0bc3653a0a Support range subtypes Alexander Senier 2024-09-24 10:43:18 +00:00
• e08c493c16 Support expression attributes Alexander Senier 2024-09-23 14:48:44 +00:00
• 8ffec59d93 Support named formal parameters in generic package instantiations Alexander Senier 2024-09-20 13:11:08 +00:00
• 99f314495f Unify declarations Alexander Senier 2024-09-10 13:58:02 +00:00
• 17f56c128c Support generic subprogram instantiation Alexander Senier 2024-09-18 13:27:27 +00:00
• 25de247af9 Support subprogram renaming declarations Alexander Senier 2024-08-16 14:53:14 +00:00
• 2c17351c42 Support operators and abstract subprogram declarations Alexander Senier 2024-08-16 13:56:33 +00:00
• f2343f322f Support subtypes Alexander Senier 2024-08-16 12:23:15 +00:00
• 6c0dbc76d3 Support formal access types Alexander Senier 2024-08-16 12:11:54 +00:00
• f84349aa5f Support constrained array type definitions Alexander Senier 2024-08-16 11:51:54 +00:00
• a505a40cfe Support signed integers Alexander Senier 2024-09-10 15:43:14 +00:00
• 9c2e929a82 Support formal object declaration Alexander Senier 2024-08-14 12:43:22 +00:00
• 7cae83fcdf Test procedure specification with preconditions. Alexander Senier 2024-09-10 15:42:05 +00:00
• 9cb6bdf931 Support use type with multiple items Alexander Senier 2024-08-14 09:49:51 +00:00
• 07d1b36136 Support slices Alexander Senier 2024-08-14 09:16:56 +00:00
• d2b8a51c08 Support named aggregates Alexander Senier 2024-08-13 14:10:11 +00:00
• 3ce76e2905 Simplify test case definition Alexander Senier 2024-08-13 11:24:55 +00:00
• f16d81cc49 Support assignments Alexander Senier 2024-08-13 10:13:28 +00:00
• 0b20897b72 Support procedure call statements Alexander Senier 2024-08-13 10:06:51 +00:00
• 223617cff1 Support Dynamic_Predicate Alexander Senier 2024-08-13 09:05:26 +00:00
• 70647024e1 Support records Alexander Senier 2024-08-12 15:33:17 +00:00
• 6db7463414 Support enumerations Alexander Senier 2024-08-12 14:22:57 +00:00
• f5d2712be7 Support private package declaration part Alexander Senier 2024-08-12 13:28:44 +00:00
• 4939a2dbd1 Refactor aspects Alexander Senier 2024-08-12 12:36:58 +00:00
• 2f59b65a62 Support qualified expressions Alexander Senier 2024-09-10 15:41:05 +00:00
• f728ccca97 Support indexed components Alexander Senier 2024-08-09 13:35:52 +00:00