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

6fa9c5b7af Lkt unparsing: fix formatting for too long field declarations Pierre-Marie de Rodat 2024-09-27 13:47:22 +00:00
796807b0aa Lkt unparsing: fix formatting for too long function argument decls. Pierre-Marie de Rodat 2024-09-27 13:27:33 +00:00
6a47599c65 Lkt unparsing: add configuration for new logic expressions Pierre-Marie de Rodat 2024-09-27 13:24:20 +00:00
50fde8b3aa Lkt unparsing config: reorder node configurations Pierre-Marie de Rodat 2024-09-27 13:14:02 +00:00
c0628c6995 Lkt: rewrap the unparsing configuration to 80 columns Pierre-Marie de Rodat 2024-09-24 11:10:51 +00:00
0cf3595168 Merge branch 'mr/pmderodat/25.1-1-824' into '25.1' Pierre-Marie de Rodat 2024-11-28 09:12:23 +00:00
957c30bd93 Switch to property syntax all argument-less built in properties Pierre-Marie de Rodat 2024-09-23 07:41:36 +00:00
c37ca69c47 Lkt lowering: introduce the @property annotation for methods Pierre-Marie de Rodat 2024-09-23 07:11:06 +00:00
e420ae3342 lkt_lowering.py: minor refactoring Pierre-Marie de Rodat 2024-09-23 07:06:02 +00:00
ae72cc1fc0 Merge branch 'mr/pmderodat/25.1' into '25.1' Pierre-Marie de Rodat 2024-11-27 14:29:49 +00:00
2f9eda0168 Lkt: rework the %all/%any equation constructors Pierre-Marie de Rodat 2024-09-18 08:51:12 +00:00
1bf6b310eb Lkt lowering: remove useless generic type Pierre-Marie de Rodat 2024-09-18 08:27:51 +00:00
fca3617078 Lkt: rework the syntax for the logic DSL Pierre-Marie de Rodat 2024-09-13 11:54:31 +00:00
0c9235a436 Lkt: convey logic context/error location through builtin dynvars Pierre-Marie de Rodat 2024-09-05 14:00:00 +00:00
8a819ee086 Lkt: introduce the distinction between and/or binops and %and/%or Pierre-Marie de Rodat 2024-09-12 14:13:00 +00:00
0945fcdefe Merge branch 'mr/pmderodat/unparsing-trivias-bubble-up' into 'master' Pierre-Marie de Rodat 2024-11-27 10:18:44 +00:00
c9d984bfe1 Unparsing: allow unparsing configuration to tune bubbling up behavior Pierre-Marie de Rodat 2024-11-20 12:14:11 +00:00
dfbad78332 ada_api/unparsing: add arguments for debug convenience Pierre-Marie de Rodat 2024-11-20 10:24:25 +00:00
c400defbfb Unparsing: introduce the "bubble up" transformation pass Pierre-Marie de Rodat 2024-11-19 09:12:51 +00:00
d1200b74bd Unparsing: create deep copies for arg subst. during templ. instantation Pierre-Marie de Rodat 2024-11-18 15:09:37 +00:00
8be1971353 Unparsing: rename the FINAL_DOC to FINAL Pierre-Marie de Rodat 2024-11-22 12:35:20 +00:00
5da1fbb4f5 Unparsing: rename the BEFORE_SPACING trace to EXPANDED Pierre-Marie de Rodat 2024-11-18 09:24:57 +00:00
797db89df8 Merge branch 'mr/pmderodat/unparsing-autochecks' into 'master' Pierre-Marie de Rodat 2024-11-27 09:27:46 +00:00
ce476fdb8a Unparsing: add auto-check to the unparsing main Pierre-Marie de Rodat 2024-11-20 16:02:24 +00:00
40a8eb68aa Lkt unparsing: fix non-idempotency in TryExpr Pierre-Marie de Rodat 2024-11-21 13:08:09 +00:00
ff6ee62474 Merge branch 'mr/pmderodat/unparsing-max-empty-lines' into 'master' Pierre-Marie de Rodat 2024-11-27 09:27:34 +00:00
a8babffb7f Unparsing: fix application of the max_empty_lines configuration Pierre-Marie de Rodat 2024-11-13 13:15:44 +00:00
f806eb3235 langkit_support-generic_api-unparsing.adb: fix a typo in a comment Pierre-Marie de Rodat 2024-11-13 13:05:54 +00:00
493178296e Merge branch 'mr/pmderodat/25.1' into '25.1' Pierre-Marie de Rodat 2024-11-26 11:32:10 +00:00
78006f74a4 Update baseline after recent Prettier-Ada updates Pierre-Marie de Rodat 2024-10-08 15:58:31 +02:00
fd29cd92b1 Merge branch 'mr/pmderodat/unparsing-config-completeness' into 'master' Pierre-Marie de Rodat 2024-11-20 09:52:39 +00:00
f9326d1ffe Unparsing: add an option to complain when a node config is missing Pierre-Marie de Rodat 2024-11-19 13:29:19 +00:00
8cc3313c72 Lkt default config: add explicit default config for all nodes Pierre-Marie de Rodat 2024-11-19 13:39:12 +00:00
a36972f383 Merge branch 'topic/lkt/fix_logic_propagate_docstring' into 'master' Rémi Segard 2024-11-19 15:14:16 +00:00
e306393cc3 Lkt: fix LogicPropagateCall docstring Remi Segard 2024-11-19 15:53:43 +01:00
b7a4d5eb3c Merge branch 'topic/callexpr_refactor' into 'master' Raphaël Amiard 2024-11-19 14:41:24 +00:00
91308ae4c5 Refactor CallExpr like Lkt nodes Raphaël AMIARD 2024-11-19 12:48:03 +01:00
7800aa599b Merge branch 'mr/pmderodat/incremental' into 'master' Pierre-Marie de Rodat 2024-11-15 14:58:17 +00:00
3e9acf7e94 Add missing env cache invalidation on reparsing a root-less unit Pierre-Marie de Rodat 2024-11-15 13:39:37 +00:00
59915ffbf8 Merge branch 'mr/pmderodat/lkt-generic' into 'master' Pierre-Marie de Rodat 2024-11-13 14:08:27 +00:00
210d61db7b Lkt: add unparsing configuration for generic declarations Pierre-Marie de Rodat 2024-11-12 15:29:53 +00:00
f8c638cc38 Merge branch 'mr/pmderodat/lkt-add-to-env' into 'master' Pierre-Marie de Rodat 2024-11-06 19:02:10 +00:00
6279cdd541 Lkt: split add_to_env into all_(single|all)_to_env Pierre-Marie de Rodat 2024-11-05 15:26:57 +00:00
40700af339 Merge branch 'topic/855' into 'master' Rémi Segard 2024-11-06 15:53:33 +00:00
fc4a1f0c45 Remove promoting nodes to entities in LogicAssign Remi SEGARD 2024-10-22 11:50:49 +02:00
686895a3d9 Merge branch 'topic/lal_1491' into 'master' Romain Béguet 2024-11-05 16:28:33 +00:00
02797a0e17 Minor: Remove unused field. Romain Beguet 2024-11-05 14:59:11 +01:00
d1cabbf180 Merge branch 'mr/pmderodat/lkt-build-system' into 'master' Pierre-Marie de Rodat 2024-11-05 09:26:34 +00:00
767e26becd Refactor the source post-processing mechanism Pierre-Marie de Rodat 2024-10-18 12:08:29 +00:00
14943204de Unify the handling of plugin passes Pierre-Marie de Rodat 2024-10-18 09:37:26 +00:00
8cfcffd96a Rehaul the handling of optional passes Pierre-Marie de Rodat 2024-10-17 14:40:18 +00:00
f2a9c74d71 langkit/diagnostics.py: update file filtering logic Pierre-Marie de Rodat 2024-10-21 10:37:32 +00:00
9f28530e7a langkit.libmanage: remove the unused --no-gdb-hook option Pierre-Marie de Rodat 2024-10-17 12:47:24 +00:00
71b66e0335 langkit.libmanage: remove the unused --no-property-checks option Pierre-Marie de Rodat 2024-10-17 12:42:55 +00:00
ce893173bb Remove the unused pass to add types to parse fields in DSL code Pierre-Marie de Rodat 2024-10-17 12:40:18 +00:00
59968f6cdf Remove the unused pretty-printing feature for generated sources Pierre-Marie de Rodat 2024-10-17 12:37:34 +00:00
d3df67b642 Let language specs enable case insensitivity with a lexer annotation Pierre-Marie de Rodat 2024-10-16 14:40:21 +00:00
9514b56cf6 Let language specs enable unparsers with a grammar annotation Pierre-Marie de Rodat 2024-10-16 12:22:30 +00:00
8a5771940e Refactor computation of main programs Pierre-Marie de Rodat 2024-10-16 12:18:41 +00:00
e629df6628 langkit.libmanage: remove the unused --disable-mains option Pierre-Marie de Rodat 2024-10-16 12:16:49 +00:00
d1692afaf0 grammar/unparse_skip: remove unused Lkt sources Pierre-Marie de Rodat 2024-10-16 08:57:43 +00:00
2fc031f287 langkit.unparsers: remove dead code Pierre-Marie de Rodat 2024-10-16 08:48:56 +00:00
f7736b7f5f CompileCtx: remove unused constructor arguments Pierre-Marie de Rodat 2024-10-16 07:48:31 +00:00
ec516f47ca Merge branch 'topic/java/add_getunitfromfile_prototypes' into 'master' Rémi Segard 2024-10-25 08:38:48 +00:00
856d4bafd3 Add getUnitFromFile overloads Remi SEGARD 2024-10-17 10:19:38 +02:00
797a2a125e Merge branch 'mr/pmderodat/lkt-compile' into 'master' Pierre-Marie de Rodat 2024-10-21 13:20:12 +00:00
cf4dfdfffa lexical_envs/add_env_post: transition to lkt compile Pierre-Marie de Rodat 2024-10-14 13:17:13 +00:00
9ac515cd82 properties/call_graph_dispatch: transition to lkt_compile Pierre-Marie de Rodat 2024-10-14 13:14:17 +00:00
4bd5a0b574 properties/internal_decl: merge with other field name validation test Pierre-Marie de Rodat 2024-10-14 12:37:00 +00:00
1df9f9efb6 structs/invalid_field_name: transition to lkt_compile Pierre-Marie de Rodat 2024-10-14 12:30:37 +00:00
ef19046809 structs/struct_env_spec: transition to lkt_compile Pierre-Marie de Rodat 2024-10-14 12:28:04 +00:00
54be1661a7 grammar/two_roots: transition to lkt_compile Pierre-Marie de Rodat 2024-10-14 12:24:28 +00:00
be95fe9622 Testsuite: do not call langkit.reset() after emit_and_print_errors Pierre-Marie de Rodat 2024-10-14 13:14:17 +00:00
18d14a3729 Lkt lowering: reject homonym grammar rules Pierre-Marie de Rodat 2024-10-14 12:11:22 +00:00
89cc9217d0 Lkt lowering: fix error reporting when no root node decl. was found Pierre-Marie de Rodat 2024-10-14 12:01:19 +00:00
c9afaf434f Merge branch 'topic/lal_1472' into 'master' Romain Béguet 2024-10-18 13:05:16 +00:00
539d87bf60 Fix safety net of properties returning bare nodes. Romain Beguet 2024-10-16 16:14:10 +02:00
f9aad59151 Merge branch 'mr/pmderodat/python-3.11' into 'master' Pierre-Marie de Rodat 2024-10-18 12:51:31 +00:00
df84be5d5d python_api/app: fix testcase for Python <3.9 Pierre-Marie de Rodat 2024-10-18 12:24:06 +00:00
ab89308564 Merge branch 'mr/pmderodat/python-3.11' into 'master' Pierre-Marie de Rodat 2024-10-17 10:31:03 +00:00
45a57fee91 langkit.expressions.logic: remove mistakenly added line Pierre-Marie de Rodat 2024-10-17 10:20:08 +00:00
47ea9eb62d Merge branch 'mr/pmderodat/python-3.11' into 'master' Pierre-Marie de Rodat 2024-10-16 15:46:44 +00:00
54a7dd3a6c Modernize type annotations Pierre-Marie de Rodat 2024-09-25 13:06:35 +00:00
27aeff5488 dsl_unparse.py: fix locals/globals precedence in template evaluation Pierre-Marie de Rodat 2024-09-25 14:21:11 +00:00
7baf25714e Merge branch 'mr/pmderodat/python-3.11-settings' into 'master' Pierre-Marie de Rodat 2024-10-16 15:23:48 +00:00
ae43ef06db Bump minimal Python version requirement for Langkit to 3.11 Pierre-Marie de Rodat 2024-09-27 07:31:56 +00:00
a1b140aa53 Merge branch 'mr/pmderodat/lkt-build-and-run' into 'master' Pierre-Marie de Rodat 2024-10-15 14:13:15 +00:00
e1c4fe5804 Introduce the lkt_build_and_run test driver Pierre-Marie de Rodat 2024-10-14 09:47:37 +00:00
643b90f2cc grammar/case_rule: avoid non-ASCII Lkt code Pierre-Marie de Rodat 2024-10-14 09:46:12 +00:00
ccc32a9b42 lexical_envs/cache_invalidation: split the test in two parts Pierre-Marie de Rodat 2024-10-11 13:46:17 +00:00
f8e058fb44 misc/generic_list_type: split the test in two parts Pierre-Marie de Rodat 2024-10-11 13:28:56 +00:00
5a770f84e6 dsl_unparse/test_comments: do not build the generated library Pierre-Marie de Rodat 2024-10-11 12:52:36 +00:00
16975440d0 gdb_helpers: migrate testcase to pure Lkt Pierre-Marie de Rodat 2024-10-11 12:50:11 +00:00
1374e09c96 grammar/packrat_empty_list: fix testcase Pierre-Marie de Rodat 2024-10-11 12:10:14 +00:00
fa95c3e752 lexical_envs/cache_invalidation: minor reformatting Pierre-Marie de Rodat 2024-10-11 09:19:07 +02:00
415f9d1f82 lexical_envs/ref_order: switch to types_from_lkt=True Pierre-Marie de Rodat 2024-10-10 12:38:21 +00:00
84eda66749 Merge branch 'topic/java_api/setenv' into 'master' Hugo Guerrier 2024-10-15 13:56:47 +00:00
7bf43f5ba1 Always emit environment variables for Java bindings in 'setenv' Hugo Guerrier 2024-10-15 14:54:41 +02:00
c1cff0dd36 Merge branch 'mr/pmderodat/post_parsing_hook' into 'master' Pierre-Marie de Rodat 2024-10-11 13:34:39 +00:00
345b52a4f7 Sort diagnostics by sloc range after (re) parsing Pierre-Marie de Rodat 2024-10-11 09:18:32 +00:00

... 8 9 10 11 12 ...