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

• 55f59addc1 Add fallback location for expressions Tobias Reiher 2024-09-06 13:16:38 +02:00
• d42c4540c5 Add fallback location for ID Tobias Reiher 2024-10-13 14:12:41 +02:00
• 4981cd565d Remove invalid successors invariant from context predicate Johannes Kanig 2024-09-24 17:15:12 +09:00
• 5c667469c5 Use shorthand unsigned type definitions in examples and tests Andres Toom 2024-08-30 17:50:48 +03:00
• 39d8be1ac0 Add shorthand syntax for unsigned integer types Andres Toom 2024-08-27 11:40:22 +03:00
• a603ffad3f Add switch to extract_packets.py to extract only the layer payload mgrojo 2024-10-20 21:15:08 +02:00
• e2905c581d Improve the simplification of Neg further Andres Toom 2024-09-19 00:32:03 +03:00
• 4e18a65a9c Fix __neg__ for all MathBinExprs Andres Toom 2024-09-18 17:52:18 +03:00
• 8b77148056 Refine __neg__ tests for all MathBinExprs and MathAssExprs Andres Toom 2024-09-18 20:07:28 +03:00
• 899b4bc45a Improve the simplification of expr.Neg Andres Toom 2024-09-18 10:34:56 +03:00
• 9b2bc5e791 Refine the tests for expr.Neg.simplified() Andres Toom 2024-08-29 13:40:10 +03:00
• f8fef61e61 Replace deprecated type annotations Tobias Reiher 2024-10-22 12:02:09 +02:00
• a751b4e7fe Add support for Python 3.12 Tobias Reiher 2024-10-18 17:51:42 +02:00
• f158f50e64 Drop support for Python 3.8 Tobias Reiher 2024-10-18 14:51:36 +02:00
• 23a2fe366d Improve proof time of feature test Tobias Reiher 2024-10-21 15:46:15 +02:00
• abc1dc6077 Remove Buffer argument when possible in helper functions Johannes Kanig 2024-09-25 18:06:50 +09:00
• bd21c3d759 Add documentation for type conversion functions Tobias Reiher 2024-10-17 18:36:28 +02:00
• 4e67acf7e3 Refactor handling of expression conversions in IR Tobias Reiher 2024-10-17 17:32:16 +02:00
• 696622b475 Fix fatal error caused by variable in case expression Tobias Reiher 2024-10-13 13:01:13 +02:00
• 8b010c9d00 Add a Make rule to touch the build tree Andres Toom 2024-10-09 12:59:01 +03:00
• 6dc6126bc9 Fix CI job artifacts Tobias Reiher 2024-09-13 18:00:28 +02:00
• 94b6399145 Fix rejection of variable declarations with type Opaque Tobias Reiher 2024-09-13 17:57:41 +02:00
• 6153b63cf4 Improve test documentation Tobias Reiher 2024-09-12 12:18:37 +02:00
• f6b60f478c Remove generator unit tests to improve maintainability Tobias Reiher 2024-09-11 14:43:08 +02:00
• 61c2f67c39 Replace generator unit tests to improve maintainability Tobias Reiher 2024-09-11 16:03:51 +02:00
• f90b5ab1e6 Consider Python-based compilation tests in test coverage Tobias Reiher 2024-09-11 15:36:44 +02:00
• ac3b004d17 Fix consequential errors caused by undefined variables Tobias Reiher 2024-09-13 17:55:52 +02:00
• 707ba0c2ab Update Rust dependencies Tobias Reiher 2024-09-03 18:58:59 +02:00
• f45946a9a7 Rewrite remaining parts of typing module in Rust Tobias Reiher 2024-09-03 18:48:10 +02:00
• 11d9924577 Revert "Rewrite remaining parts of typing module in Rust" 25.2 25.1 25.0 25-sustained Andres Toom 2024-09-23 17:26:52 +03:00
• ddb690d106 Revert "Update Rust dependencies" Andres Toom 2024-09-23 17:26:50 +03:00
• ca14a56ee5 Revert "Fix consequential errors caused by undefined variables" Andres Toom 2024-09-23 17:26:47 +03:00
• 9c1cd5cf7d Fix consequential errors caused by undefined variables Tobias Reiher 2024-09-13 17:55:52 +02:00
• f31143c380 Update Rust dependencies Tobias Reiher 2024-09-03 18:58:59 +02:00
• 479afc9bb6 Rewrite remaining parts of typing module in Rust Tobias Reiher 2024-09-03 18:48:10 +02:00
• ca8def73c0 Increase number of parallel jobs of cargo mutants Tobias Reiher 2024-09-03 18:23:11 +02:00
• 1ef5cc8e25 Fix location of function parameter type Tobias Reiher 2024-09-09 17:05:38 +02:00
• 3e32b848a7 Rename argument to parameter in function declaration Tobias Reiher 2024-09-06 18:49:51 +02:00
• 49f8edf1f9 Fix rejection of invalid parameter types and return types Tobias Reiher 2024-09-06 18:29:32 +02:00
• c26f0c9834 Remove requirements tool and references for feature coverage Tobias Reiher 2024-09-12 15:59:41 +02:00
• c1a2f37040 Improve maintainability of rflxlexer tests Tobias Reiher 2024-09-10 17:30:07 +02:00
• 88ac016386 Remove keep going after error in CI Tobias Reiher 2024-09-12 16:02:58 +02:00
• c911a7b153 Add 0.24.0 to CHANGELOG v0.24.0 Tobias Reiher 2024-09-12 14:33:16 +02:00
• f1519da74f Enable configuration of prover memory limit for feature tests Tobias Reiher 2024-09-10 17:01:47 +02:00
• bab3228df1 Fix fatal error for list comprehensions without condition or True condition Tobias Reiher 2024-09-06 09:38:48 +02:00
• 351c6d10a0 Include pytest in Python wheels archive Tobias Reiher 2024-09-05 17:19:59 +02:00
• 6a50525257 Add CI job for creating Python wheels archive Tobias Reiher 2024-09-04 15:06:48 +02:00
• f39134e80d Update Python dependencies Tobias Reiher 2024-09-04 13:12:55 +02:00
• cd5bb8c00c Update devutils Tobias Reiher 2024-09-04 13:12:38 +02:00
• 78c12bbad0 Update cryptography to fix security vulnerability Tobias Reiher 2024-09-04 11:22:13 +02:00
• 7a7daa4150 Fix cleaning of caches Tobias Reiher 2024-09-10 18:29:28 +02:00
• 80db1d7f05 Improve error messages for inconsistent identifiers Tobias Reiher 2024-09-10 16:19:27 +02:00
• b8dfd5503b Fix description of state machine representation in SPARK Tobias Reiher 2024-09-10 13:55:11 +02:00
• 24fdb9de8e Rename Session to State Machine Tobias Reiher 2024-09-09 17:27:47 +02:00
• 64a0df8f6c Fix fatal errors caused by missing locations after proof timeouts Tobias Reiher 2024-09-05 17:18:09 +02:00
• 6c0c94d688 Enable SPARK proofs for SPDM responder example Tobias Reiher 2024-08-21 14:04:22 +02:00
• 1677c46a85 Fix unused variables in SPDM responder example Tobias Reiher 2024-08-21 13:53:41 +02:00
• 551cdc929f Enable configuration of proof timeout for feature tests Tobias Reiher 2024-08-15 14:32:21 +02:00
• 58e0b1f422 Enable SPARK proofs for all feature tests Tobias Reiher 2024-08-12 15:33:00 +02:00
• f3e6a44285 Fix copying of sequence fields for external IO buffers Tobias Reiher 2024-08-14 17:42:30 +02:00
• d69b896ade Refactor suppression of warnings in generated code Tobias Reiher 2024-08-21 14:23:01 +02:00
• 26d8c3759b Fix missing checks in state machine Tobias Reiher 2024-08-01 15:53:43 +02:00
• ba9dceb998 Use type operators in generated state machine code Tobias Reiher 2024-08-14 14:03:20 +02:00
• ab170f1c6d Improve negation of Ada expressions Tobias Reiher 2024-08-14 11:07:58 +02:00
• 63738d1074 Fix initialization of SPDM responder Tobias Reiher 2024-08-29 14:07:45 +02:00
• 97d97a9fc8 Fix description in SPDM responder example Tobias Reiher 2024-08-29 11:23:44 +02:00
• 81b56d5c38 Rename *_Functions.Context to *_Environment.State Tobias Reiher 2024-08-28 19:43:31 +02:00
• 802c6baa46 Remove Initialize and Finalize functions for functions context Tobias Reiher 2024-08-28 17:30:18 +02:00
• fd28222876 Fix syntax highlighting for identifiers with numbers or keywords Tobias Reiher 2024-09-03 13:45:34 +02:00
• d7efdefed8 Fix creation of VS Code extension Tobias Reiher 2024-09-02 14:07:55 +02:00
• 75a788150b Rename function in code generator Tobias Reiher 2024-08-27 16:24:25 +02:00
• 6432c92ff8 Add documentation to code generator Tobias Reiher 2024-08-22 18:00:13 +02:00
• 9331e3cd2a Fix uncompilable code for messages with variable as field condition Tobias Reiher 2024-08-19 15:27:50 +02:00
• db4d5ad0ab Update error message guideline Corentin Machu 2024-08-27 16:00:19 +02:00
• ac0a783fde Correct typo in development guide Corentin Machu 2024-08-27 14:43:34 +02:00
• dfb53542ae Add support for project files to code optimizer Tobias Reiher 2024-08-22 18:27:31 +02:00
• 42ec1b0331 Add CI job for creating Rust crates archive Tobias Reiher 2024-08-29 08:43:41 +02:00
• ff15ab5ce0 Update Rust dependencies Tobias Reiher 2024-08-23 10:27:06 +02:00
• 4a1f85456b Deduplicate definition of constants Tobias Reiher 2024-08-16 17:49:40 +02:00
• 120d701fba Refactor macro for registering submodules Tobias Reiher 2024-08-16 14:24:21 +02:00
• a2dc745c03 Rewrite typing module in Rust Tobias Reiher 2024-07-19 19:50:07 +02:00
• 9f5ac97aab Add vim and neovim syntax Corentin Machu 2024-08-26 15:51:42 +02:00
• 90454fe661 Small optimization for messages with single field Johannes Kanig 2024-08-26 09:30:56 +09:00
• d2e047af57 Add 0.23.0 to CHANGELOG v0.23.0 Tobias Reiher 2024-08-22 19:33:07 +02:00
• a97e4eb7e2 Use PEP604 type annotations Alexander Senier 2024-08-13 15:12:14 +00:00
• d711731423 Add Rust installation instructions to user's guide Tobias Reiher 2024-08-15 16:13:03 +02:00
• f4962f12a1 Fix state machine contracts for external IO buffers Tobias Reiher 2024-08-07 13:12:36 +02:00
• 2e05a56fb5 Fix missing checks in state machine Tobias Reiher 2024-07-24 18:43:33 +02:00
• f5a9b046ff Fix finalization of state machine Tobias Reiher 2024-07-16 18:27:27 +02:00
• 489efe8d5c Add changelog entry for improve error message Corentin Machu 2024-08-02 11:57:31 +02:00
• 922c1e9b11 Improve fixed sized field with size aspect error Corentin Machu 2024-08-02 11:54:52 +02:00
• f1da68b835 Ensure deterministic checking in check_unit_test_file_coverage_test Andres Toom 2024-08-05 18:27:44 +03:00
• bca2e60adc Refactor SPDM responder specification and docstrings Tobias Reiher 2024-08-07 14:03:31 +00:00
• 7c29a5af02 Fix separation of externally defined functions from state machine Tobias Reiher 2024-07-24 18:32:36 +02:00
• 769f553ec1 Enable execution of assertions in development tools Tobias Reiher 2024-07-23 17:35:35 +02:00
• 55dbdbb521 Fix generic setters for opaque fields Tobias Reiher 2024-07-24 16:20:39 +02:00
• 825da89ad5 Adapt bug box for the GNAT release Andres Toom 2024-08-02 15:08:11 +03:00
• b5976403ef Ensure Consistent Python Version Usage Corentin Machu 2024-08-05 14:28:41 +02:00
• f3ec4e925d Rerun make after devutils has been checked out Alexander Senier 2024-08-02 10:46:19 +00:00
• 77f82a8b92 Work around installation issue Alexander Senier 2024-08-02 10:03:54 +00:00