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

• 6b77f136e8 Add error messages improvement to changelog Corentin Machu 2024-07-23 10:02:40 +02:00
• 86850c8587 Remove all "in" suffix usages Corentin Machu 2024-07-22 11:37:33 +02:00
• 35678bd2d6 Allow clippy::trivially_copy_pass_by_ref for rapidflux Corentin Machu 2024-08-01 16:00:04 +02:00
• ac93474c75 Add anod testing to the CI Andres Toom 2024-07-17 19:05:42 +03:00
• 7bddb42d78 Fix usage of reserved keyword in condition Corentin Machu 2024-07-02 11:24:50 +02:00
• 9fd96014c7 Add rapidflux macros documentation Corentin Machu 2024-07-26 13:23:23 +02:00
• 072ee01a27 Format big numbers with power of two Corentin Machu 2024-07-19 11:28:46 +02:00
• 9ef7278b67 Improve message when opaque size is aggregate Corentin Machu 2024-07-05 16:38:41 +02:00
• 636619fdec Add enhanced non scalar parameter diagnostics to changelog Corentin Machu 2024-07-24 13:51:08 +02:00
• 47c7fb7170 Improve non scalar parameter error message Corentin Machu 2024-07-23 13:44:28 +02:00
• 18dff5ee4c Improve cleaning of caches Tobias Reiher 2024-07-18 14:01:48 +02:00
• 3f2946f07e Add restoring of cache from main and local branch in CI Tobias Reiher 2024-07-18 13:53:49 +02:00
• c239ddba95 Refactor caching in CI Tobias Reiher 2024-07-18 13:48:40 +02:00
• 63d3a475b7 Fix GNATprove caching for SPDM responder example Tobias Reiher 2024-07-17 18:04:34 +02:00
• b4dcd38cb8 Add 0.22.0 to CHANGELOG v0.22.0 Tobias Reiher 2024-07-17 16:53:38 +02:00
• d7db7d677c Define "IO state" in the LR Andres Toom 2024-07-16 18:14:24 +03:00
• b64b3bebb4 Refine the cross-reference style in LR Andres Toom 2024-07-16 18:12:47 +03:00
• fc96bb2a56 Separate function for each field for Field_First Johannes Kanig 2024-07-15 09:21:34 +09:00
• 7c2d2ed32f Add logging of number of GNATprove cache files in CI Tobias Reiher 2024-07-17 12:49:29 +02:00
• 8c5b7d748e Fix network access for GNAT wavefront compatibility job Tobias Reiher 2024-07-15 18:25:23 +02:00
• 4da09c9e60 Update setuptools to fix security vulnerability Tobias Reiher 2024-07-16 16:47:08 +02:00
• 5ddd9a3366 Add documentation for external IO buffers Tobias Reiher 2024-06-25 17:12:48 +02:00
• e0a70f83cf Fix SPARK proofs Tobias Reiher 2024-06-25 16:45:22 +02:00
• 339d647f53 Refactor integration Tobias Reiher 2024-02-12 14:49:06 +01:00
• 07da59c837 Enable use of external IO buffers in state machines Tobias Reiher 2024-06-25 16:44:09 +02:00
• 6e7495fb62 Use the latest available GNAT in the CI Andres Toom 2024-07-16 11:00:47 +03:00
• 32972a9cd8 Update development guide Tobias Reiher 2024-07-11 14:27:12 +02:00
• 6515e1cec7 Update devutils Tobias Reiher 2024-07-11 14:25:32 +02:00
• 7083155fc8 Add removal of unused temporary variables Tobias Reiher 2024-06-28 19:24:08 +02:00
• 3ecdfd0053 Fix removal of unnecessary checks Tobias Reiher 2024-06-21 18:51:23 +02:00
• 5806f2b5d2 Use Base_Integer as common type of integer operations Tobias Reiher 2024-06-21 15:17:40 +02:00
• dc9093c125 Make AnyInteger abstract Tobias Reiher 2024-06-14 14:42:47 +02:00
• 89fb782aa7 Rename BaseInteger to AnyInteger Tobias Reiher 2024-06-14 13:58:33 +02:00
• dd207d0578 Fix strong compatibility between integers and universal integers Tobias Reiher 2024-06-13 15:49:28 +02:00
• 221445c705 Rewrite Bounds in Rust Tobias Reiher 2024-06-11 17:52:42 +02:00
• b3517c7f93 Improve format of error when type is not compatible Corentin Machu 2024-07-04 16:55:50 +02:00
• e48f7821b8 Add artifacts for anod CI jobs Tobias Reiher 2024-07-08 12:41:20 +02:00
• cfb1d589f4 Update certifi to fix security vulnerability Tobias Reiher 2024-07-08 09:53:55 +02:00
• a2011f1ba6 Rephrase message if aggregate is present in type range Corentin Machu 2024-07-03 17:46:36 +02:00
• 7deb36d658 Configure network access for all CI jobs Tobias Reiher 2024-07-09 18:49:12 +02:00
• ca5a9d0495 Disable internet access for Anod CI jobs Tobias Reiher 2024-07-09 12:04:23 +02:00
• e9b123fb7a Update zipp to fix security vulnerability Tobias Reiher 2024-07-10 09:25:27 +02:00
• 41fbbd3eba Remove old path notation usage Corentin Machu 2024-06-27 17:02:57 +02:00
• 242ccec772 Add extend method for ErrorEntry Corentin Machu 2024-06-27 17:01:48 +02:00
• 4044e2119b Use lock file when installing Rust tools Tobias Reiher 2024-07-08 18:51:23 +02:00
• 5acacd615d Add info message for skipped verifications Tobias Reiher 2024-07-04 12:00:52 +02:00
• a9d7c65fae Add caching for tests of example apps and specs in CI Tobias Reiher 2024-07-03 19:56:16 +02:00
• b9d3571abe Use cache directory in current working directory Tobias Reiher 2024-07-03 19:28:38 +02:00
• d0d430e2ec Include fingerprint when caching verification result Tobias Reiher 2024-07-03 19:19:33 +02:00
• 224e8cf207 Improve annotation when a condition is always true Corentin Machu 2024-06-10 14:32:29 +02:00
• 052be24b37 Fix TOCTOU bug in cache file lock Tobias Reiher 2024-07-04 18:13:36 +02:00
• 1c219cbbcd Allow failures in audit CI job Tobias Reiher 2024-07-08 13:25:43 +02:00
• b6b58be9df Replace Severity.INFO by Severity.NOTE Corentin Machu 2024-06-19 14:54:09 +02:00
• 1b6d60d4c3 Update help message in user guide Corentin Machu 2024-06-18 11:34:00 +02:00
• 0b9eb50135 Update changelog for legacy-errors flag Corentin Machu 2024-06-17 15:32:35 +02:00
• f0fee26178 Update gnatstudio plugin for new error system Corentin Machu 2024-06-17 15:25:28 +02:00
• 5ecb41739a Introduce legacy error message cli flag Corentin Machu 2024-06-17 15:24:54 +02:00
• f5d5e5fdb9 Improve refinement error messages Corentin Machu 2024-07-01 14:10:24 +02:00
• 6bbbee9790 Use unsat_core error as annotation Corentin Machu 2024-06-25 17:22:54 +02:00
• 4f5ae1ae95 Improve scalar type error location Corentin Machu 2024-06-28 12:33:45 +02:00
• 6dc8c11bdf Prevent unnecessary initialization of language server Tobias Reiher 2024-07-02 17:17:32 +02:00
• cb3c3d6613 Display content if verification cache is invalid Tobias Reiher 2024-07-02 17:16:47 +02:00
• 59de12bb43 Optimize identical expressions in Field_First_Internal Johannes Kanig 2024-06-28 07:55:32 +09:00
• 15e4b6ab47 Fix prerequisites of package tests Tobias Reiher 2024-07-02 13:52:33 +02:00
• 6e94495cde Add path annotation to negative size based errors Corentin Machu 2024-06-24 14:06:15 +02:00
• 9f39f54fc2 Adjust severity to HELP when it makes sense Corentin Machu 2024-06-24 17:24:42 +02:00
• c29c8b511f Forbid usage of unsafe code Corentin Machu 2024-06-27 15:27:35 +02:00
• 8a6f295c6a Unify testing of packages Tobias Reiher 2024-06-27 09:33:57 +02:00
• b1734263a3 Ensure that package.json and package-lock.json are in sync Tobias Reiher 2024-07-01 12:31:45 +02:00
• 49e74a90b6 Update package-lock.json Tobias Reiher 2024-06-27 09:31:32 +02:00
• d430df321a Rephrase "unreachable field" message Corentin Machu 2024-06-26 15:10:08 +02:00
• 24ed420e6e Reset error count and maximum error count before each test Tobias Reiher 2024-06-25 15:01:27 +02:00
• ce749ed450 Add Rust testing documentation Corentin Machu 2024-06-18 15:58:06 +02:00
• 49fc5b5243 Improve error message when field are not alignes to 8 bits Corentin Machu 2024-06-07 12:16:52 +02:00
• 7fc42bfe1b Upgrade SPARK and GNAT to 24.2 in the CI Andres Toom 2024-06-19 23:20:26 +03:00
• 9d3697539e Revise the supported GNAT and SPARK versions in the UG Andres Toom 2024-06-19 23:11:27 +03:00
• c102350f55 Update langkit-related dependencies to 24.2 Andres Toom 2024-06-21 13:33:12 +03:00
• 043c08783e Keep going on error when invoking tests with make Corentin Machu 2024-06-17 13:04:27 +02:00
• 44fa12d8e1 Mention changed severities in CHANGELOG Corentin Machu 2024-06-21 15:09:21 +02:00
• 79937ba0a8 Change severity of suggestion to add condition to all outgoing links Corentin Machu 2024-06-21 13:28:46 +02:00
• 2a97de2641 Disable quiet mode when testing by default Corentin Machu 2024-06-21 14:32:36 +02:00
• 70d01c70f4 Increase GNATprove timeout for DCCP example Tobias Reiher 2024-06-20 16:38:44 +02:00
• e41f2c656e Update rust attribute order check tests Corentin Machu 2024-06-19 16:29:38 +02:00
• fef6580c91 Upgrade annotate_snippets to the latest version Corentin Machu 2024-06-18 11:45:39 +02:00
• bd1c001f47 Add error message test when package name isn't correct Corentin Machu 2024-06-13 16:36:39 +02:00
• 11bb0e0b37 Update ws to fix security issue Tobias Reiher 2024-06-18 17:27:06 +02:00
• 5c1fbd9fdb Add rust attribute order check tool Corentin Machu 2024-06-07 16:42:51 +02:00
• 0cef5f26ab Correct flaky logging tests Corentin Machu 2024-06-07 11:19:35 +02:00
• 6ab59c49e9 Update urllib3 to fix security issue Tobias Reiher 2024-06-18 15:25:14 +02:00
• c3b72519a5 Add support for FSF GNAT 14 Tobias Reiher 2024-06-10 15:44:49 +02:00
• 21396eed7d Prevent incompletely defined bounds Tobias Reiher 2024-06-06 18:16:10 +02:00
• 25211dd400 Remove BoundedInteger Tobias Reiher 2024-06-06 18:16:04 +02:00
• 693b25bf83 Rename AnyInteger to BaseInteger Tobias Reiher 2024-06-06 15:52:13 +02:00
• 9c5e3388fe Remove UndefinedInteger Tobias Reiher 2024-06-06 14:55:44 +02:00
• 3a15b3a9eb Remove icontract Tobias Reiher 2024-06-06 08:43:26 +02:00
• d5d65edb45 Update CHANGELOG Alexander Senier 2024-06-05 13:56:30 +00:00
• 4cd81c1565 Check for duplicate message declarations Alexander Senier 2024-06-04 15:16:55 +00:00
• 959d3bbc88 Unify installation procedure Tobias Reiher 2024-06-07 11:59:53 +02:00
• 3b19db936c Don't retrieve source code when location is stdin Corentin Machu 2024-06-03 14:19:46 +02:00
• 76bc2666a1 Do not format message is there's no source attach to it Corentin Machu 2024-06-03 12:38:28 +02:00