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

• c9638ad7cf Support SPARK dependency relation Alexander Senier 2024-08-08 11:43:57 +00:00
• 01a89123aa Support boolean negation Alexander Senier 2024-08-08 09:58:02 +00:00
• 5ccab340fe Support default parameters for discriminants Alexander Senier 2024-08-08 09:49:07 +00:00
• c5a1e7f909 Support private type declarations Alexander Senier 2024-08-08 09:40:37 +00:00
• f56522039d Support use clauses in declarative parts Alexander Senier 2024-08-08 09:10:56 +00:00
• 05c39b568c Support default parameters Alexander Senier 2024-08-08 09:06:02 +00:00
• 3cc77a5de4 Support formal generic functions Alexander Senier 2024-08-07 15:40:57 +00:00
• ab142171b1 Support generic formal procedures Alexander Senier 2024-08-07 15:04:35 +00:00
• 468225dc89 Drop use of Union/Optional Alexander Senier 2024-08-07 15:04:18 +00:00
• e4f8a4f783 Support generic packages Alexander Senier 2024-08-07 14:26:52 +00:00
• c665a2fa20 Support multiplication in expressions Alexander Senier 2024-08-05 14:42:12 +00:00
• 02e3b23005 Support access types Alexander Senier 2024-08-05 14:29:56 +00:00
• cd0094e426 Support unconstrained array type definitions Alexander Senier 2024-08-05 14:16:47 +00:00
• 9cd4e9dc42 Support derived types Alexander Senier 2024-09-10 15:39:27 +00:00
• 6e8d9532bd Fix string tests Alexander Senier 2024-09-10 15:37:59 +00:00
• d08f2b2687 Support case expressions Alexander Senier 2024-08-02 09:26:50 +00:00
• 90c99e80f1 Support generic package instantiations Alexander Senier 2024-09-10 15:36:30 +00:00
• 00bbb132cb Fix expression order Alexander Senier 2024-07-17 13:30:37 +00:00
• 60fcc92dab Support Convention aspect Alexander Senier 2024-09-10 15:30:56 +00:00
• e1e24b734f Support if statements Alexander Senier 2024-07-17 08:56:59 +00:00
• 9194076ba9 Support procedure bodies Alexander Senier 2024-07-16 14:53:51 +00:00
• d1d67208bf Refactor aspect specification Alexander Senier 2024-07-16 14:08:16 +00:00
• f876e69bd6 Support constant object declarations Alexander Senier 2024-07-16 13:45:39 +00:00
• 727494d0a9 Support object declarations Alexander Senier 2024-07-16 12:55:37 +00:00
• f11f2a11c7 Remove ambiguities between function spec/body/expression function Alexander Senier 2024-07-16 11:49:23 +00:00
• 651c06d4ba Fix type annotations Alexander Senier 2024-07-16 09:20:16 +00:00
• f9203a5a7f Support package body Alexander Senier 2024-07-12 12:09:19 +00:00
• 719250c5bb Support membership operator Alexander Senier 2024-07-11 12:48:34 +00:00
• 5c3b966387 Support procedure declarations, fix mode handling Alexander Senier 2024-07-11 12:16:45 +00:00
• 8fbfd1230d Fix expression handling Alexander Senier 2024-07-11 11:25:37 +00:00
• b852cf0808 Support function calls Alexander Senier 2024-07-11 10:26:40 +00:00
• 1b65224151 Support subprogram declaration Alexander Senier 2024-07-10 13:11:18 +00:00
• f0ce8ed462 Support logical connectives Alexander Senier 2024-07-10 11:58:32 +00:00
• f51f4dad75 Fix expression function Alexander Senier 2024-07-10 11:33:29 +00:00
• 449d659f5f Support attribute references Alexander Senier 2024-07-10 11:01:01 +00:00
• 54803f4467 Support pragmas in places where declarations are allowed Alexander Senier 2024-07-10 10:11:24 +00:00
• eb282afbcb Support binary operations for expressions Alexander Senier 2024-07-10 09:36:06 +00:00
• 8b3d92de81 Fix package declarations Alexander Senier 2024-07-09 14:37:47 +00:00
• b14c47d954 Support exponentiation Alexander Senier 2024-07-09 14:33:02 +00:00
• 67a3dba36f Add template parsing integration test Alexander Senier 2024-07-09 14:27:15 +00:00
• bbb57c2edb Support expression functions Alexander Senier 2024-07-09 13:49:16 +00:00
• 1ba08d3561 Support range integer Alexander Senier 2024-07-05 12:23:15 +00:00
• 3fea056355 Support pragma Annotate Alexander Senier 2024-07-05 12:07:01 +00:00
• e08bd49751 Support modular types Alexander Senier 2024-06-21 14:42:16 +00:00
• fc6783d0d1 Support aspects Alexander Senier 2024-06-21 13:10:46 +00:00
• a0a6ae1a70 Support pragma at the beginning of the file Alexander Senier 2024-09-10 15:30:10 +00:00
• bce9d6cf3e Initial Ada 2012 template parser Alexander Senier 2024-09-12 10:15:43 +00:00
• 63f5c584eb Normalize templates Alexander Senier 2024-09-10 15:41:42 +00:00
• 97bd7f0724 rflx.ada: Use StrID as parameters for AbstractState/Initialize Alexander Senier 2024-11-07 11:24:48 +00:00
• 4011df065f rflx.ada: Add context item/statement to create vertical space Alexander Senier 2024-11-07 12:48:58 +00:00
• 93fa1f252f rflx.ada: Allow use of comments as context items Alexander Senier 2024-11-07 12:46:19 +00:00
• 462b250e80 rflx.ada: more consistent newline handling Alexander Senier 2024-10-09 13:29:04 +00:00
• 34d6b6c921 rflx.ada: Support explicit in-mode parameter Alexander Senier 2024-09-27 13:25:23 +00:00
• 8755d66734 rflx.ada: call _update_str in __init__ to make models representation comparable Alexander Senier 2024-09-27 11:52:53 +00:00
• 6d758952b9 rflx.ada: Support on/off/empty for SPARK_Mode Alexander Senier 2024-09-25 12:24:35 +00:00
• 15963d19fb rflx.ada: Support <> and named parameters in formal package declaration Alexander Senier 2024-09-24 11:25:02 +00:00
• 752e6e270e rflx.ada: Use FormalSubprogramDeclaration for formal parameters in PackageUnit Alexander Senier 2024-09-20 13:07:47 +00:00
• f5623238b6 rflx.ada: Support named parameters in GenericPackageInstantiation Alexander Senier 2024-09-20 13:06:10 +00:00
• 4431a85131 rflx.ada: Support aspects in FormalSubprogramDeclaration Alexander Senier 2024-09-20 13:03:37 +00:00
• 84e1758429 rflx.ada: Support aspects in renaming declaration Alexander Senier 2024-09-19 11:47:53 +00:00
• 5ecb0869c7 rflx.ada: Support aspects in generic instantiation Alexander Senier 2024-09-19 11:47:18 +00:00
• 563545c755 rflx.ada: support overriding and null exclusion in function specification Alexander Senier 2024-09-19 11:46:17 +00:00
• bacb8ce723 rflx.ada: Refactor subprogram declarations Alexander Senier 2024-09-18 12:46:49 +00:00
• e8ddbe2e88 rflx.ada: Require data passed to ada.String to have quotation marks escaped Alexander Senier 2024-08-02 14:52:40 +00:00
• 3d1a094b3a rflx.ada: Refactor subprogram specification Alexander Senier 2024-09-10 15:43:46 +00:00
• 05325e7401 rflx.ada: Support signed integer type Alexander Senier 2024-09-10 15:42:39 +00:00
• 98ff3346b3 rflx.ada: Support derived range types Alexander Senier 2024-09-10 15:38:37 +00:00
• 559f0889d2 rflx.ada: Add newline in generic package instantiation Alexander Senier 2024-09-10 15:35:32 +00:00
• a29132f160 rflx.ada: Omit additional parentheses for if/case expressions Alexander Senier 2024-07-17 14:08:47 +00:00
• 6c0ea615d7 rflx.ada: Support Convention aspect Alexander Senier 2024-09-10 15:30:38 +00:00
• 59db9146aa rflx.ada: Support using multiple types in use type Alexander Senier 2024-08-14 09:49:34 +00:00
• f391cee822 rflx.ada: Support generic packages in rflx.ada Alexander Senier 2024-08-07 10:56:33 +00:00
• 9a62c9b56e Ignore RecordFlux cache Alexander Senier 2024-08-02 14:55:19 +00:00
• e1b876cf5a Include generated documentation in repo and dist package Alexander Senier 2024-11-21 11:17:28 +00:00
• f229b3a423 Extend documentation copyright to current year Alexander Senier 2024-11-29 13:47:46 +00:00
• 0488bd8136 CI: Use pe-base image for anod-based jobs Andres Toom 2024-11-27 22:27:27 +02:00
• fefccab169 CI: Install GNAT and SPARK directly from Cathod Andres Toom 2024-11-27 22:25:48 +02:00
• dcedccb11c CI: Avoid failing on existing venv link when reusing Python setup Andres Toom 2024-11-20 17:39:24 +02:00
• 15436705a7 Makefile: Check that source distribution and the expected wheels were built Andres Toom 2024-11-27 11:24:13 +02:00
• 0effa9d56b Makefile: Check python version during pypi_dist Andres Toom 2024-11-26 14:05:05 +02:00
• a61b4d9100 Update keyword highlighting Andres Toom 2024-11-05 15:05:39 +02:00
• ee8bcb9759 Document the RecordFlux definition and updates in the development guide Andres Toom 2024-11-05 14:13:59 +02:00
• fb0825338b Use SPARK Pro 24.2 in CI Tobias Reiher 2024-11-25 15:49:12 +01:00
• a8f88c5082 Add support for GNAT/SPARK Pro 25.0 Tobias Reiher 2024-11-14 16:19:22 +01:00
• 96615244d9 Remove name repetitions Tobias Reiher 2024-11-06 17:18:53 +01:00
• e4e3a6e840 Unify module names Tobias Reiher 2024-11-06 16:24:37 +01:00
• 2798a1d2b7 Reorder imports Tobias Reiher 2024-11-06 11:56:09 +01:00
• 52b1587f47 Remove wildcard imports Tobias Reiher 2024-11-06 11:45:30 +01:00
• c92d0b9d73 Simplify substitution method of expressions Tobias Reiher 2024-10-30 16:06:05 +01:00
• ede9593026 Remove immutable flag in expressions Tobias Reiher 2024-08-29 18:12:09 +02:00
• c880a8da9c Make integer syntax style check configurable Andres Toom 2024-10-14 21:47:32 +03:00
• 60dc679878 Add style check for unsigned integers specified as range integers Andres Toom 2024-10-10 14:44:23 +03:00
• ccf0857ecb Explain default annotations in the user guide Andres Toom 2024-11-03 19:45:38 +02:00
• 441ef016f1 Add 0.25.0 to CHANGELOG v0.25.0 Tobias Reiher 2024-11-05 07:47:50 +01:00
• 1820f90ac1 Improve representation of locations Tobias Reiher 2024-10-18 16:10:50 +02:00
• 44177b85f8 Fix doc comment for location merging Tobias Reiher 2024-10-15 14:11:59 +02:00
• 403ee0b39d Ensure that end of location is always present Tobias Reiher 2024-10-15 14:03:37 +02:00
• 23b68fbe30 Add fallback location for IR Tobias Reiher 2024-10-14 17:14:52 +02:00
• d556989df6 Add fallback location for models Tobias Reiher 2024-10-14 17:05:55 +02:00
• 4c193a654f Add fallback location for types Tobias Reiher 2024-10-13 14:46:43 +02:00