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

f12bb0ceeb Langkit_Support.Lexical_Env: make Add a no-op for Empty_Env Pierre-Marie de Rodat 2016-04-21 12:44:32 +02:00
e3de10da85 libmanage.py: add params doc for PyCharm in ManageScript.check_call Pierre-Marie de Rodat 2016-04-21 12:25:48 +02:00
c60330ef51 Fix a PyCharm diagnostic Pierre-Marie de Rodat 2016-04-21 12:25:22 +02:00
efa6a69624 libmanage.py: log the commands we spawn in debug mode Pierre-Marie de Rodat 2016-04-14 10:18:58 +02:00
953eb75d73 Add a testcase for type consistency checks in properties overriding Pierre-Marie de Rodat 2016-04-20 18:05:54 +02:00
8c78b230b6 Properties: make error message more helpful for overriding type mismatch Pierre-Marie de Rodat 2016-04-20 18:07:19 +02:00
83b36ffee3 expressions.base.No: resolve the input type during the prepare pass Pierre-Marie de Rodat 2016-04-20 17:46:16 +02:00
2718b2607f expressions.envs: simplify EnvBind.Expr.render_pre Pierre-Marie de Rodat 2016-04-20 16:38:56 +02:00
5b5d60b0a8 libmanage.py: refactor message formatting to use langkit.utils.col Pierre-Marie de Rodat 2016-04-20 16:34:22 +02:00
4ca192e38a Diagnostics: refactor message formatting to use langkit.utils.col Pierre-Marie de Rodat 2016-04-20 16:32:51 +02:00
4717f7ed8f Fix a type annotation error Pierre-Marie de Rodat 2016-04-20 16:21:06 +02:00
5cd1da07f0 Minor cosmetic adjustments Pierre-Marie de Rodat 2016-04-20 16:17:25 +02:00
db2bb1319a compiled_types.AbstractNodeData: remove redundant docstring Pierre-Marie de Rodat 2016-04-20 16:08:02 +02:00
c6c7984e1c expressions.base.PropertyDef: swap "expr" and "prefix" args in constr. Pierre-Marie de Rodat 2016-04-20 16:05:23 +02:00
5a8dcc4bf1 P415-027: Make AbstractExpression.prepare smarter Raphael Amiard 2016-04-25 14:56:54 +02:00
ae95645ce5 P303-009: Unused grammar rules have a proper warning Raphael Amiard 2016-04-25 12:26:52 +02:00
09235d5c9c P303-009: PropertyDef - assert -> check_source Raphael Amiard 2016-04-22 18:26:13 +02:00
3189aa5951 P422-032: Rename PropertyDef passes Raphael Amiard 2016-04-22 18:16:31 +02:00
b479bc4f46 Minor: Fix typo Raphael Amiard 2016-04-22 15:52:41 +02:00
329ccd88c4 Minor: Simplify PropertyDef.bind_type ctx manager Raphael Amiard 2016-04-22 15:51:26 +02:00
3920383f9c Minor reformating Raphael Amiard 2016-04-22 15:46:25 +02:00
0d55360fec P303-009: Struct.set_types - assert -> check_source Raphael Amiard 2016-04-22 15:45:58 +02:00
0c1044b546 P422-032: Rework the property emission pipeline Raphael Amiard 2016-04-22 15:41:35 +02:00
94e9936807 Add an "orphan" lexical env. operation to the properties DSL Pierre-Marie de Rodat 2016-04-20 12:40:04 +02:00
3388373cfb Langkit_Support.Lexical_Env: fix memory leak for Empty_Env Pierre-Marie de Rodat 2016-04-21 12:20:22 +02:00
944558186d Move the Empty_Env constant to Langkit_Support.Lexical_Env Pierre-Marie de Rodat 2016-04-20 11:59:40 +02:00
ac45d0a24c Langkit_Support.Lexical_Env: fix a subprogram box Pierre-Marie de Rodat 2016-04-20 11:22:10 +02:00
775a461797 Turn internal maps in lexical environment into accesses Pierre-Marie de Rodat 2016-04-20 11:17:30 +02:00
9790db118f Langkit_Support.Lexical_Env: always create empty environment Pierre-Marie de Rodat 2016-04-20 11:11:16 +02:00
d38b768229 Polyfill: make --temp-dir imply --disable-cleanup Pierre-Marie de Rodat 2016-04-21 17:59:00 +02:00
4205de6e49 Remove pastos in Adalog's test driver Pierre-Marie de Rodat 2016-04-21 17:54:21 +02:00
dc2650b8b2 Adalog test driver: pass "-p" to GPRbuild so it works Pierre-Marie de Rodat 2016-04-21 17:56:48 +02:00
1344fc99ac Adjust properties/internal_use testcase after changes in code generation Pierre-Marie de Rodat 2016-04-20 18:10:09 +02:00
451be6ea34 O413-018: Fix&enhance docstrings for logic.Domain Raphael Amiard 2016-04-21 11:51:17 +02:00
8804eb130c O413-018: AbstractField.emit -> should_emit Raphael Amiard 2016-04-21 11:42:40 +02:00
80195e14bd OA27-034: Quantifier.construct, assert -> check_source_lang Raphael Amiard 2016-04-20 18:36:31 +02:00
95ecdb5889 OA27-034: Map.construct, assert -> check_source_lang Raphael Amiard 2016-04-20 18:34:16 +02:00
c828c224a0 OA27-034: CollectionExpr.construct_common, emit correct error msgs Raphael Amiard 2016-04-20 18:33:16 +02:00
23be09add8 Minor: CollectionExpression - Correct outdated docstring Raphael Amiard 2016-04-20 18:31:54 +02:00
6b41daccac OA27-034: Then.construct - Emit correct error message in error case Raphael Amiard 2016-04-20 18:30:51 +02:00
7ace47e45b OA27-034: Make OrderingTest.construct produce correct error messages Raphael Amiard 2016-04-20 18:29:04 +02:00
938f542e6a OA27-034: Refactor some code to better use construct/check_source Raphael Amiard 2016-04-20 18:27:28 +02:00
9aabb44940 expressions.construct: Use named template holes for custom_msg. Raphael Amiard 2016-04-20 18:00:47 +02:00
70a09c904f Minor: precommit - Ignore ada files in testsuite Raphael Amiard 2016-04-20 16:55:51 +02:00
3b2fd05cc2 Minor: Add TODO in docstring Raphael Amiard 2016-04-20 16:34:01 +02:00
c5a37f1e29 O413-018: Adalog - add testsuite Raphael Amiard 2016-04-19 19:19:09 +02:00
8bb5b9a5bd Minor: Remove illegal characters Raphael Amiard 2016-04-19 19:18:23 +02:00
d75aa76bac O413-018: Adalog - Fix a lot of bugs. Raphael Amiard 2016-04-19 19:17:45 +02:00
003bad633f O413-018: Add logic operations Raphael Amiard 2016-04-14 16:35:04 +02:00
54442e297f O413-018: Refactor fields emission in structs. Raphael Amiard 2016-04-14 16:21:20 +02:00
0febf72366 Minor: Minor refactor of FieldAccess.Expr.render_expr Raphael Amiard 2016-04-14 16:18:40 +02:00
44449d9c24 P303-009: bool.py - Refactor asserts into proper error diagnostic Raphael Amiard 2016-04-14 15:23:14 +02:00
06a5f6eefd Minor: Refactor string construction into expression Raphael Amiard 2016-04-14 15:20:15 +02:00
bdd79095fa O413-018: Add __eq__ operator to abstract expressions Raphael Amiard 2016-04-14 15:15:46 +02:00
b3a88a1b52 O413-018: Copy adalog files to generated source Raphael Amiard 2016-04-14 13:01:19 +02:00
a07418afc3 O413-018: Add adalog library. Raphael Amiard 2016-04-14 13:00:35 +02:00
6b5ac71238 Avoid overriding for lexical env internal properties Pierre-Marie de Rodat 2016-04-19 18:09:35 +02:00
83cbc8d768 Properties: turn assert into source check for overriding type mismatch Pierre-Marie de Rodat 2016-04-19 18:02:30 +02:00
0ee7cad14b Polyfill: handle the "env" arg for the gnatpython.ex.Run substitute Pierre-Marie de Rodat 2016-04-19 16:03:42 +02:00
0b9b809cdd Expression: add a builtin value to designate an empty lexical env. Pierre-Marie de Rodat 2016-04-19 15:56:54 +02:00
7d8ddbfab2 Bind LexicalEnv.node in the C and Python APIs Pierre-Marie de Rodat 2016-04-19 15:53:03 +02:00
1da53e1d34 Expressions: make Property and langkit_property use default privacy Pierre-Marie de Rodat 2016-04-19 15:51:29 +02:00
a391d26be9 expressions.structs.Match: allow defered types arguments Pierre-Marie de Rodat 2016-04-19 12:55:32 +02:00
4ecc59a633 Fix a GNAT warning in the generated code Pierre-Marie de Rodat 2016-04-18 12:59:22 +02:00
8b40e636eb Bind token sloc range access in the C and Python APIs Pierre-Marie de Rodat 2016-04-18 12:58:05 +02:00
df202541eb Analysis C API: create a token wrapping helper and use it for token_text Pierre-Marie de Rodat 2016-04-18 12:56:36 +02:00
8676194721 Remove a memory leak in environments creation Pierre-Marie de Rodat 2016-04-18 12:55:25 +02:00
c8e0739b27 Fix EnvBind expressions code generation Pierre-Marie de Rodat 2016-04-15 15:30:10 +02:00
84ac84a5c8 libmanage.py: put the "Errors, exiting" message in red Pierre-Marie de Rodat 2016-04-15 12:31:42 +02:00
bb12d763b1 Add colors to the diagnostics output Pierre-Marie de Rodat 2016-04-15 12:31:21 +02:00
0314ffb5df Disable colored output if stdout or stderr is not a TTY Pierre-Marie de Rodat 2016-04-15 12:18:31 +02:00
479b135c62 Refactor color palette so that all colors are available Pierre-Marie de Rodat 2016-04-15 12:15:00 +02:00
cba3580ce4 Add diagnostic context for field name checks in Struct subclassing Pierre-Marie de Rodat 2016-04-15 12:01:03 +02:00
4b82bd2dc7 Improve the diagnostics output Pierre-Marie de Rodat 2016-04-15 11:56:29 +02:00
2bc6a9f89a Make the add_to_env EnvSpec mechanism explicit Pierre-Marie de Rodat 2016-04-14 15:52:01 +02:00
d5c1f5ac39 FieldAccess: add a source language check that the prefix is a Struct Pierre-Marie de Rodat 2016-04-14 15:23:43 +02:00
bba3c17ae5 Add tests for internal fields user-protections Pierre-Marie de Rodat 2016-04-14 12:31:49 +02:00
5954295183 Embed env spec expressions into properties Pierre-Marie de Rodat 2016-04-14 12:07:43 +02:00
e17d54c51a Introduce the concept of internal property Pierre-Marie de Rodat 2016-04-14 11:54:14 +02:00
b093bf7215 Fix a typo Pierre-Marie de Rodat 2016-04-14 11:10:51 +02:00
0338bd1213 FieldAccess.Expr: fix docstring Pierre-Marie de Rodat 2016-04-14 11:10:13 +02:00
4996ed46cd Property: accept expressions that return subtypes of expected type Pierre-Marie de Rodat 2016-04-14 11:09:33 +02:00
e5f8b0b9e5 Make it possible for PropertyDef to have a name at instantiation time Pierre-Marie de Rodat 2016-04-14 10:46:26 +02:00
612e908bf9 PropertyDef: remove redundant attributes initialization Pierre-Marie de Rodat 2016-04-14 10:42:12 +02:00
390bb565aa libmanage.py: run post-mortem debugging for errors in context creation Pierre-Marie de Rodat 2016-04-14 10:33:56 +02:00
12e3e2ab03 AbstractNodeData.accessor_basename: simplify Name concatenation Pierre-Marie de Rodat 2016-04-13 15:38:41 +02:00
f4e95f25de Make it possible for properties to have different prefixes in code gen. Pierre-Marie de Rodat 2016-04-13 15:15:36 +02:00
39865431a9 Handle different sizes for System.Address and Hash_Type in symbol tables Pierre-Marie de Rodat 2016-04-18 16:31:48 +02:00
27a2ce9646 Use the testsuite-provided Python interpreter to use gen. libraries Pierre-Marie de Rodat 2016-04-14 13:16:40 +02:00
6ad6af61fa Add a Get_Token primitive in the public Ada API Pierre-Marie de Rodat 2016-04-13 16:53:30 +02:00
711372678c Langkit_Support: rename Token into Token_Type Pierre-Marie de Rodat 2016-04-14 12:55:53 +02:00
4f89a3effc Fix PyCharm diagnostics Pierre-Marie de Rodat 2016-04-14 16:09:49 +02:00
01cd1a14d5 P410-005: Fix transform's __repr__ Raphael Amiard 2016-04-12 21:54:04 +02:00
a6556a923d P410-005: Small enhancement in parsers.Row Raphael Amiard 2016-04-12 21:53:11 +02:00
3fbe4442fe P303-009: Enhance check in ASTNode typing Raphael Amiard 2016-04-12 21:50:05 +02:00
d692085d12 Langkit_Support.Tokens: fix a typo Pierre-Marie de Rodat 2016-04-13 16:53:16 +02:00
e02ce1dc91 names.py: fix a typo Pierre-Marie de Rodat 2016-04-13 12:16:44 +02:00
38893464f7 Rename "exported_field" to "library_public_field" Pierre-Marie de Rodat 2016-04-13 12:14:14 +02:00
79ffaf2842 Expressions: simplify comment Pierre-Marie de Rodat 2016-04-13 12:09:44 +02:00
fd44b8aa90 ASTdoc: restore private fields doc, tag them as private Pierre-Marie de Rodat 2016-04-13 12:03:17 +02:00

... 94 95 96 97 98 ...