langkit

ada/langkit

Fork 0

mirror of https://github.com/AdaCore/langkit.git synced 2026-02-12 12:28:12 -08:00

Commit Graph

Select branches

Hide Pull Requests

18-sustained

18.0

18.1

18.2

19-sustained

19.0

19.1

19.2

20-sustained

20.0

20.1

20.2

21-sustained

21.0

21.1

21.2

22-sustained

22.0

22.1

22.2

23-sustained

23.0

23.1

23.2

24-sustained

24.0

24.1

24.2

25-sustained

25.0

25.1

25.2

26.0

26.1

26.2

a2c2-2020-stable

dependabot/pip/mako-1.2.2

gpl-2017

lts-18

lts-19

lts-20

lts-21

lts-22

master

#100

#101

#102

#103

#104

#105

#106

#107

#108

#109

#110

#111

#112

#113

#114

#115

#116

#117

#118

#119

#12

#120

#121

#122

#123

#124

#125

#126

#127

#128

#129

#13

#130

#131

#132

#133

#134

#135

#136

#137

#138

#139

#14

#140

#141

#142

#143

#144

#145

#146

#147

#148

#15

#150

#151

#152

#153

#154

#155

#156

#157

#158

#159

#16

#160

#161

#162

#163

#164

#165

#166

#167

#168

#169

#17

#170

#171

#172

#173

#174

#175

#176

#177

#178

#179

#18

#180

#181

#182

#183

#184

#185

#186

#187

#188

#189

#19

#190

#192

#193

#194

#195

#196

#197

#198

#199

#2

#2

#20

#200

#201

#202

#203

#204

#205

#206

#207

#208

#209

#21

#210

#211

#212

#213

#214

#215

#216

#217

#218

#219

#22

#220

#221

#222

#223

#224

#225

#226

#227

#228

#229

#23

#230

#231

#232

#233

#234

#236

#237

#238

#239

#24

#240

#241

#242

#243

#244

#245

#246

#247

#248

#249

#25

#250

#251

#252

#253

#254

#255

#256

#257

#258

#259

#26

#260

#261

#262

#263

#264

#265

#266

#267

#268

#269

#27

#270

#271

#272

#273

#274

#275

#276

#277

#278

#279

#28

#280

#281

#282

#283

#284

#285

#286

#287

#288

#289

#29

#290

#291

#292

#293

#294

#295

#296

#297

#298

#299

#3

#3

#30

#300

#301

#302

#303

#304

#305

#306

#307

#308

#309

#31

#310

#311

#312

#313

#314

#315

#316

#317

#318

#319

#32

#320

#321

#322

#323

#324

#325

#326

#327

#328

#329

#33

#330

#331

#332

#333

#334

#335

#336

#337

#338

#339

#34

#340

#341

#342

#343

#344

#345

#346

#347

#348

#349

#35

#350

#351

#352

#354

#355

#356

#357

#358

#359

#36

#360

#361

#363

#364

#365

#366

#367

#368

#369

#37

#370

#371

#372

#373

#374

#375

#376

#377

#378

#379

#38

#380

#381

#382

#383

#384

#385

#386

#387

#388

#389

#39

#390

#392

#393

#394

#395

#396

#397

#398

#399

#40

#400

#401

#402

#403

#404

#405

#406

#407

#408

#409

#41

#410

#411

#412

#413

#414

#415

#416

#417

#418

#419

#42

#420

#421

#422

#423

#424

#425

#426

#427

#428

#429

#43

#431

#432

#433

#434

#435

#436

#438

#439

#44

#440

#441

#442

#443

#444

#445

#446

#447

#448

#449

#45

#450

#451

#453

#454

#455

#456

#457

#458

#459

#46

#460

#461

#462

#463

#464

#465

#466

#467

#468

#469

#47

#471

#472

#473

#474

#475

#476

#477

#478

#479

#48

#480

#481

#482

#483

#484

#486

#487

#488

#489

#49

#490

#491

#493

#494

#495

#496

#497

#498

#499

#50

#500

#502

#503

#504

#505

#506

#507

#509

#51

#510

#511

#512

#513

#514

#515

#516

#517

#518

#519

#52

#520

#521

#522

#523

#524

#525

#526

#527

#528

#529

#53

#530

#531

#532

#533

#534

#535

#536

#537

#538

#539

#54

#540

#541

#542

#543

#544

#545

#546

#547

#548

#549

#55

#550

#551

#552

#553

#554

#555

#556

#557

#558

#559

#56

#560

#561

#562

#563

#564

#565

#566

#567

#568

#569

#57

#570

#571

#572

#573

#574

#575

#576

#577

#578

#58

#58

#581

#582

#583

#584

#585

#585

#586

#587

#588

#589

#59

#590

#591

#592

#593

#594

#595

#596

#597

#598

#599

#60

#600

#601

#602

#603

#604

#605

#606

#607

#608

#609

#61

#611

#612

#613

#614

#615

#616

#617

#618

#619

#62

#620

#621

#622

#623

#624

#625

#626

#627

#628

#629

#63

#630

#631

#632

#633

#634

#635

#636

#637

#638

#639

#64

#640

#641

#642

#644

#645

#646

#648

#648

#649

#65

#650

#651

#651

#652

#655

#655

#66

#67

#68

#69

#70

#71

#72

#73

#74

#75

#76

#77

#78

#79

#80

#81

#82

#83

#84

#85

#86

#87

#88

#89

#9

#90

#91

#92

#93

#94

#95

#96

#97

#98

#99

dsl_unparse

v21.0.0

v22.0.0

v23.0.0

v24.0.0

v25.0.0

v26.0.0

1fc6469f10 Langkit_Support.Slocs: add support for sloc ranges's "<" primitive Pierre-Marie de Rodat 2024-10-11 09:17:49 +00:00
9721050954 Merge branch 'mr/pmderodat/diag-no-sloc' into 'master' Pierre-Marie de Rodat 2024-10-11 08:21:39 +00:00
57774de236 Langkit_Support.Diagnostics.Output: fix handling of missing location Pierre-Marie de Rodat 2024-10-09 14:49:47 +00:00
71bc565e5c Merge branch 'mr/pmderodat/custom-node-sloc' into 'master' Pierre-Marie de Rodat 2024-10-11 08:16:30 +00:00
2ffa687707 Allow generated libs to override how node slocs are included in Image Pierre-Marie de Rodat 2024-10-09 14:08:55 +00:00
a004dd013e Merge branch 'mr/pmderodat/post_parsing_hook' into 'master' Pierre-Marie de Rodat 2024-10-10 15:06:21 +00:00
922c5958db Introduce an extension point to trigger after a unit has been (re)parsed Pierre-Marie de Rodat 2024-10-10 09:38:48 +00:00
c1f7c1041c Merge branch 'topic/rework_java_tests' into 'master' Hugo Guerrier 2024-10-10 10:22:03 +00:00
3080f208d3 Limit the number of threads taken by native-image to 1 Hugo Guerrier 2024-09-27 16:35:31 +02:00
f5c19813ee Melt the Java 'node_identity' test into the 'general' one Hugo Guerrier 2024-09-27 15:48:24 +02:00
4d573c6a8c Melt the Java 'event_handler' test into the 'general' one Hugo Guerrier 2024-09-27 14:25:22 +02:00
623c051c44 Melt the Java 'array_exc' test into the 'general' one Hugo Guerrier 2024-09-27 12:13:39 +02:00
04fcdc4b91 Merge branch 'mr/pmderodat/unparsing-ifkind-factor' into 'master' Pierre-Marie de Rodat 2024-10-10 08:38:30 +00:00
22366abead Lkt unparsing config: merge identical ifKind matchers Pierre-Marie de Rodat 2024-09-24 14:59:34 +00:00
33f0768b64 Unparsing: allow list of kinds in each ifKind matchers Pierre-Marie de Rodat 2024-09-24 14:54:00 +00:00
4d94845718 Merge branch 'mr/pmderodat/generic_api' into 'master' Pierre-Marie de Rodat 2024-10-09 09:35:06 +00:00
2cba8e5a39 Generic API: add a Compare primitive for Lk_Node Pierre-Marie de Rodat 2024-09-19 14:17:33 +00:00
1af5dcd970 Generic API: add a Children_And_Trivia primitive for Lk_Node Pierre-Marie de Rodat 2024-09-19 14:09:53 +00:00
c66e97c5c9 Generic API: add a Print debug primitive for Lk_Unit Pierre-Marie de Rodat 2024-09-19 13:24:05 +00:00
2d8a68daed Generic API: add a Lookup_Token primitive for Lk_Unit Pierre-Marie de Rodat 2024-09-19 13:12:33 +00:00
caf24efa4b Generic API: add a Charset primitive for Lk_Unit Pierre-Marie de Rodat 2024-09-19 12:46:40 +00:00
721788f56b Generic API: protect Previous_Sibling against invalid input values Pierre-Marie de Rodat 2024-09-19 12:38:08 +00:00
c6eb573084 Generic API: bind the analysis unit reparsing primitives Pierre-Marie de Rodat 2024-09-19 12:18:29 +00:00
e832112f97 Generic_API: add a Has_With_Trivia primitive for Lk_Context Pierre-Marie de Rodat 2024-09-19 08:00:58 +00:00
8eb2de3f8b Generic_API: add a Is_Synthetic primitive for Type_Ref Pierre-Marie de Rodat 2024-09-18 15:53:24 +00:00
2078fe6baf Generic API: add a Language primitive for Struct_Member_Ref Pierre-Marie de Rodat 2024-09-18 15:39:55 +00:00
8b8b1bbbe0 $.Analysis: remove the Get_Symbol_Table context primitive Pierre-Marie de Rodat 2024-09-19 08:02:04 +00:00
52bac0fdca Merge branch 'mr/pmderodat/lkt-reformat' into 'master' Pierre-Marie de Rodat 2024-10-09 09:19:12 +00:00
cffff1c4f4 Enable style checks for Lkt and fix existing issues Pierre-Marie de Rodat 2024-09-27 14:19:52 +00:00
2ba937be03 Lkt: enhance handling of comments in lambda expressions Pierre-Marie de Rodat 2024-09-26 16:53:47 +02:00
99644f8f68 Lkt unparsing: fix formatting for too long field declarations Pierre-Marie de Rodat 2024-09-27 13:47:22 +00:00
aca698bafc Lkt unparsing: fix formatting for too long function argument decls. Pierre-Marie de Rodat 2024-09-27 13:27:33 +00:00
7fc5c3e3d8 Lkt unparsing: add configuration for new logic expressions Pierre-Marie de Rodat 2024-09-27 13:24:20 +00:00
0ce92a1e59 Lkt unparsing config: reorder node configurations Pierre-Marie de Rodat 2024-09-27 13:14:02 +00:00
3a92da3ff8 Merge branch 'mr/pmderodat/prettier' into 'master' Pierre-Marie de Rodat 2024-10-08 14:37:07 +00:00
5db62347e7 Update baseline after recent Prettier-Ada updates Pierre-Marie de Rodat 2024-10-08 15:58:31 +02:00
53d23d2b1b Merge branch 'mr/pmderodat/unparsing-fill-break' into 'master' Pierre-Marie de Rodat 2024-09-27 15:21:22 +00:00
0b51c2bac4 Unparsing: fix broken group detection with "fill" documents Pierre-Marie de Rodat 2024-09-25 09:02:41 +00:00
b129504617 Merge branch 'mr/pmderodat/unparsing' into 'master' Pierre-Marie de Rodat 2024-09-27 11:40:20 +00:00
d7ad475170 Unparsing: introduce the "flush_before_children" list setting Pierre-Marie de Rodat 2024-09-24 13:58:43 +00:00
7be9b7afe4 Merge branch 'mr/pmderodat/8-property-syntax' into 'master' Pierre-Marie de Rodat 2024-09-27 11:13:37 +00:00
35d5d6a4b8 Switch to property syntax all argument-less built in properties Pierre-Marie de Rodat 2024-09-23 07:41:36 +00:00
d99f936247 Lkt lowering: introduce the @property annotation for methods Pierre-Marie de Rodat 2024-09-23 07:11:06 +00:00
cad13f0fc0 lkt_lowering.py: minor refactoring Pierre-Marie de Rodat 2024-09-23 07:06:02 +00:00
9a2ff7abc3 Merge branch 'mr/pmderodat/master' into 'master' Pierre-Marie de Rodat 2024-09-27 10:25:03 +00:00
a42d038567 Lkt: rewrap the unparsing configuration to 80 columns Pierre-Marie de Rodat 2024-09-24 11:10:51 +00:00
04eb693ce8 Merge branch 'mr/pmderodat/lkt-dsl-revamp' into 'master' Pierre-Marie de Rodat 2024-09-27 10:22:26 +00:00
2620832290 Lkt: rework the %all/%any equation constructors Pierre-Marie de Rodat 2024-09-18 08:51:12 +00:00
f6731c0fe7 Lkt lowering: remove useless generic type Pierre-Marie de Rodat 2024-09-18 08:27:51 +00:00
928e4358fc Lkt: rework the syntax for the logic DSL Pierre-Marie de Rodat 2024-09-13 11:54:31 +00:00
0e6d6e5009 Lkt: convey logic context/error location through builtin dynvars Pierre-Marie de Rodat 2024-09-05 14:00:00 +00:00
5c67e3cc0d Lkt: introduce the distinction between and/or binops and %and/%or Pierre-Marie de Rodat 2024-09-12 14:13:00 +00:00
ebd3f59336 Merge branch 'topic/845' into 'master' v25.0.0 25.0 Romain Béguet 2024-09-17 09:18:15 +00:00
ee8b0a8c8b Fix uninitialized memory when using %domain construct. Romain Beguet 2024-09-16 17:18:52 +02:00
0fe6e6cca8 Merge branch 'mr/pmderodat/3-pred-type-check' into 'master' Pierre-Marie de Rodat 2024-09-16 09:22:23 +00:00
37e930456f Predicate: type check nodes that come from logic variables Pierre-Marie de Rodat 2024-09-06 14:04:35 +00:00
77dd3ca018 Merge branch 'mr/pmderodat/2-bind-arg-order' into 'master' Pierre-Marie de Rodat 2024-09-13 08:24:16 +00:00
3e30be2dcc Refactor the order of arguments for Bind (Python DSL) and %eq (Lkt) Pierre-Marie de Rodat 2024-09-06 13:13:06 +00:00
a6337eaa13 Merge branch 'mr/pmderodat/mypy' into 'master' Pierre-Marie de Rodat 2024-09-13 07:47:28 +00:00
847e0c431c Add type annotations for langkit.compiled_types.Argument Pierre-Marie de Rodat 2024-09-11 14:29:13 +00:00
7007ee0002 Merge branch 'mr/pmderodat/dynvar-local-name-clash' into 'master' Pierre-Marie de Rodat 2024-09-13 07:29:46 +00:00
c4297e400e Properties: fix Ada local vars name clashes with dynamic vars/arguments Pierre-Marie de Rodat 2024-09-11 13:44:01 +00:00
2eb7f03cd5 Merge branch 'mr/pmderodat/lkt-positional-after-kwargs' into 'master' Pierre-Marie de Rodat 2024-09-13 07:25:56 +00:00
970a49cb42 Lkt: forbid positional argument that come after keyword arguments Pierre-Marie de Rodat 2024-09-11 14:29:25 +00:00
7428ba4a23 Merge branch 'mr/pmderodat/lkt-ref-var' into 'master' Pierre-Marie de Rodat 2024-09-13 07:12:06 +00:00
b5c2bd1028 Enhance error messages for literals/builtin values Pierre-Marie de Rodat 2024-09-10 10:23:04 +00:00
26549faf4b Merge branch 'daniel/fix_array_of_array' into 'master' Daniel Mercier 2024-09-12 16:55:54 +00:00
605d20be93 [ocaml api] Avoid calling dec_ref for array items Daniel Mercier 2024-08-13 15:12:24 +02:00
baa95a7900 Merge branch 'topic/lkt_unparse' into 'master' Raphaël Amiard 2024-09-12 07:32:55 +00:00
c0f3936c7c Amend configuration for lkt_unparse Raphaël AMIARD 2024-08-22 17:40:54 +02:00
bac46c66c2 Merge branch 'topic/libadalang/1451' into 'master' Laurent Thévenoux 2024-09-11 15:10:34 +00:00
41f2b280d8 Avoid C++ keyword in C bindings Laurent Thévenoux 2024-09-11 15:03:54 +02:00
f25b344946 Merge branch 'mr/pmderodat/types_from_lkt' into 'master' Pierre-Marie de Rodat 2024-09-11 13:22:45 +00:00
18fa52f05a Transition to leftovers tests to types_from_lkt=True Pierre-Marie de Rodat 2024-09-11 12:59:03 +00:00
68290f2522 Merge branch 'mr/pmderodat/parser-debug' into 'master' Pierre-Marie de Rodat 2024-09-11 11:24:26 +00:00
e029b963ad Parsers: add generated code to DSL traceability comments Pierre-Marie de Rodat 2024-09-09 12:18:00 +00:00
1f5032b58f Parsers: make Parser.__repr__ more informative for _Transform/_Token Pierre-Marie de Rodat 2024-09-09 12:16:25 +00:00
ba170ceba6 Parsers: remove hack to compute location of kwargs Pierre-Marie de Rodat 2024-09-09 12:12:30 +00:00
25cf7bb752 Merge branch 'mr/pmderodat/lkt-ref-var' into 'master' Pierre-Marie de Rodat 2024-09-11 11:24:12 +00:00
b1e8a33f04 Enhance error message locations for variable references Pierre-Marie de Rodat 2024-09-09 20:16:52 +00:00
e2d2b46d84 Merge branch 'topic/e3testsuite-requirement' into 'master' Laurent Thévenoux 2024-09-11 06:49:16 +00:00
5321b7bdaa requirements-pypi.txt: add e3-testsuite Laurent Thévenoux 2024-09-10 18:06:24 +02:00
83547c2016 Merge branch 'mr/pmderodat/introspection-node-member-leak' into 'master' Pierre-Marie de Rodat 2024-09-06 13:25:50 +00:00
833d724482 Generic API: fix a memory leak when node member eval raises Pierre-Marie de Rodat 2024-09-05 20:28:37 +00:00
c8ea23eac5 Merge branch 'mr/pmderodat/abc' into 'master' Pierre-Marie de Rodat 2024-09-05 08:43:26 +00:00
100f92cce4 Fix CompiledType.has_nullexpr Pierre-Marie de Rodat 2024-09-05 07:57:20 +00:00
d51db3df07 Merge branch 'mr/pmderodat/unparsing-join' into 'master' Pierre-Marie de Rodat 2024-09-04 15:06:09 +00:00
f1b30f3bca Unparsing: introduce the table row "join" feature Pierre-Marie de Rodat 2024-08-27 15:05:38 +00:00
18c2aa413e Unparsing: fix broken group computation for fill/ifBreak/table Pierre-Marie de Rodat 2024-08-30 12:14:06 +00:00
4f87b82186 Generic API: add Eval_(Node_)Member overloads for managed exceptions Pierre-Marie de Rodat 2024-08-27 14:44:56 +00:00
811e940495 Unparsing: make it possible to use empty table separators Pierre-Marie de Rodat 2024-08-27 13:42:46 +00:00
a27fa929c9 Generic API: add the List_Element_Type introspection accessor Pierre-Marie de Rodat 2024-08-27 10:09:03 +00:00
4533c6862c Merge branch 'mr/pmderodat/abc' into 'master' Pierre-Marie de Rodat 2024-09-04 15:05:54 +00:00
1b0cb2f84a langkit.compiled_types: switch abstract methods/properties to abc Pierre-Marie de Rodat 2024-08-23 19:41:19 +00:00
e8d70971f1 langkit.lkt_lowering: do not rely on issubclass for field validation Pierre-Marie de Rodat 2024-08-23 19:32:32 +00:00
8ffd5cbc25 langkit.utils.types: clarify when not_implemented_error is needed Pierre-Marie de Rodat 2024-08-23 19:18:36 +00:00
03765ac69d langkit.parsers: switch abstract methods/properties to abc Pierre-Marie de Rodat 2024-08-23 19:09:30 +00:00
81b8ddd2f9 langkit.expressions: switch abstract methods/properties to abc Pierre-Marie de Rodat 2024-08-23 19:06:08 +00:00
e0cc9c9745 langkit.libmanage: switch abstract methods/properties to abc Pierre-Marie de Rodat 2024-08-23 19:01:07 +00:00
e3af3e4277 langkit.stylechecks: switch abstract methods/properties to abc Pierre-Marie de Rodat 2024-08-23 18:33:32 +00:00

... 9 10 11 12 13 ...