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

54bdc49123 AST: rename the Find primitive that returns a node into Find_First Pierre-Marie de Rodat 2016-05-23 15:04:07 -04:00
b16dc27f7a compiled_types.CompiledTypeMetaclass: simplify comment for _internal Pierre-Marie de Rodat 2016-05-23 14:24:06 -04:00
66e7c21365 Langkit_Support.Iterators: turn a declare block into a return stmt. Pierre-Marie de Rodat 2016-05-23 14:15:37 -04:00
42e361c8b3 EnvBind: add a comment to explain why we need an extra temporary Pierre-Marie de Rodat 2016-05-23 14:10:01 -04:00
25f2319f97 Propagate REQUIREMENTS.dev to setup.py Pierre-Marie de Rodat 2016-05-23 13:57:20 -04:00
15cd6eaa2b Properties: add new local variables to current scope by default Pierre-Marie de Rodat 2016-05-23 13:50:03 -04:00
40fa3ef958 expressions.LocalVars: update obsolete "create" method docstring Pierre-Marie de Rodat 2016-05-23 12:37:00 -04:00
347c66a755 Refactor enumeration for all scopes to use funcy.tree_nodes Pierre-Marie de Rodat 2016-05-23 12:17:57 -04:00
f11ce47a76 Fix various typos in comments Pierre-Marie de Rodat 2016-05-23 12:15:21 -04:00
1294a70584 Fix a minor style issue Pierre-Marie de Rodat 2016-05-23 12:14:31 -04:00
3fcfa0e7a3 REQUIREMENTS: add funcy Pierre-Marie de Rodat 2016-05-23 12:10:24 -04:00
5c271186b0 Reword documentation to talk about "ownership shares" Pierre-Marie de Rodat 2016-05-23 11:48:52 -04:00
24316ccb93 Lexical environments: introduce a constant for no ref-counting Pierre-Marie de Rodat 2016-05-23 11:11:45 -04:00
842a0b8853 Replace "static vs dynamic" vocabulary for lexical envs Pierre-Marie de Rodat 2016-05-23 11:08:29 -04:00
9742732723 Fix a style issue Pierre-Marie de Rodat 2016-05-23 10:58:38 -04:00
ebea8b0e56 Testsuite: build Adalog during the tear_up phase Pierre-Marie de Rodat 2016-05-25 18:00:45 -04:00
b13d8a6c15 Polyfill: make it possible for Run not to redirect stdout Pierre-Marie de Rodat 2016-05-25 17:57:08 -04:00
5c44e6d896 Internal doc: reword as suggested in code review Pierre-Marie de Rodat 2016-05-20 18:02:56 +02:00
de6e4e5ae8 Generate conveniency wrappers for properties that return array types Pierre-Marie de Rodat 2016-05-20 12:15:41 +02:00
684b44bf56 Minor properties code emission refactoring Pierre-Marie de Rodat 2016-05-20 12:14:12 +02:00
4f85b4f937 Move Free for array types from Dec_Ref to the private part Pierre-Marie de Rodat 2016-05-20 12:12:55 +02:00
2277a5e45f AST: add a Find primitive that returns the first matched node Pierre-Marie de Rodat 2016-05-20 11:19:18 +02:00
e357e13af5 Add missing documentation for the Find primitive that returns an array Pierre-Marie de Rodat 2016-05-20 11:05:40 +02:00
f910d8fdbb Fix typographic issues Pierre-Marie de Rodat 2016-05-17 16:49:42 +02:00
d676513865 Use the default TypeRepo instance in testcases Pierre-Marie de Rodat 2016-05-17 16:47:27 +02:00
b0482b3fe1 CompiledTypes: do not let subclasses inherit _internal Pierre-Marie de Rodat 2016-05-17 16:40:48 +02:00
853afbf206 Minor comment adjustments in the public Ada API Pierre-Marie de Rodat 2016-05-17 16:32:57 +02:00
4373c0cc7a Fix style issues Pierre-Marie de Rodat 2016-05-17 16:31:28 +02:00
324ad1665e Properties: fix typing recursion detection Pierre-Marie de Rodat 2016-05-17 16:19:47 +02:00
4fb9a03d3c Fix a memory leak in Langkit_Support.Iterator_Interfaces.Consume Pierre-Marie de Rodat 2016-05-17 16:19:47 +02:00
2e95f5bc12 Bind ref-couting for lexical environments in the C and Python APIs Pierre-Marie de Rodat 2016-05-17 16:02:23 +02:00
57efdd88de Bind ref-couting for structure types in the C and Python APIs Pierre-Marie de Rodat 2016-05-17 15:57:17 +02:00
a726b32efc Bind ref-couting for array types in the C and Python APIs Pierre-Marie de Rodat 2016-05-17 15:38:03 +02:00
808715d843 Make it clear that CAPISettings.get_name returns mere strings Pierre-Marie de Rodat 2016-05-17 15:08:44 +02:00
397462c2ca Fix a PyCharm diagnostic Pierre-Marie de Rodat 2016-05-17 13:37:43 +02:00
a469fd4810 Fix style issues Pierre-Marie de Rodat 2016-05-17 13:33:19 +02:00
d1cd6327bd Properties: generate scope finalizers and call them Pierre-Marie de Rodat 2016-05-11 18:14:38 +02:00
2e5cdb8d8c Properties: add inc-ref operations in code generation Pierre-Marie de Rodat 2016-05-11 18:35:27 +02:00
cb0228a4dd EnvGroupArray: introduce a temporary to hold the result Pierre-Marie de Rodat 2016-05-16 18:44:19 +02:00
9af24aced6 EnvGroup: introduce a temporary to hold the result Pierre-Marie de Rodat 2016-05-16 18:43:56 +02:00
d52fac5af9 EnvOrphan: introduce a temporary to hold the result Pierre-Marie de Rodat 2016-05-12 11:53:41 +02:00
b7a4ce202c EnvBind: create an owning reference for the bound environment Pierre-Marie de Rodat 2016-05-12 11:34:42 +02:00
517640f877 EnvGet: introduce a temporary to hold the result Pierre-Marie de Rodat 2016-05-12 11:30:56 +02:00
7d34591558 CollectionGet: introduce a temporary to hold the result Pierre-Marie de Rodat 2016-05-11 16:31:27 +02:00
616773822e Templates: add a helper to increment ref-count on temporaries Pierre-Marie de Rodat 2016-05-12 11:36:48 +02:00
3dc9817c5b FieldAccess: create a temporary to hold the result for this expression Pierre-Marie de Rodat 2016-05-12 09:37:36 +02:00
825db67bee BuiltinCallExpr: add an option to create a temporary for the result Pierre-Marie de Rodat 2016-05-12 11:53:14 +02:00
d3f10e0e64 Properties: organize property local variables into scopes Pierre-Marie de Rodat 2016-05-11 16:20:35 +02:00
d34c7bd433 Make properties return the ownership of their result Pierre-Marie de Rodat 2016-05-11 12:26:52 +02:00
c5851a9f2d Add reference counting primitives for array types Pierre-Marie de Rodat 2016-05-11 11:13:45 +02:00
decb442c2b Add reference counting primitives for structure types Pierre-Marie de Rodat 2016-05-11 11:13:12 +02:00
8025f57f4e Langkit_Support.Lexical_Env: introduce a ref-counting mechanism for envs Pierre-Marie de Rodat 2016-05-10 18:49:24 +02:00
afec11717b Property: introduce the basis for the reference counting mechanism Pierre-Marie de Rodat 2016-05-11 11:10:42 +02:00
f1c9e1eda3 Documentation: remove unintended blockquotes around lists Pierre-Marie de Rodat 2016-05-14 15:14:25 +02:00
adde9da677 setup.py: fix the set of adalog files in the package_data section Pierre-Marie de Rodat 2016-05-15 17:35:12 +02:00
ece84c3c7a create-project.py: do not pass main grammar rule name to CompileContext() Pierre-Marie de Rodat 2016-05-15 17:26:51 +02:00
f7829744cf setup.py: add the langkit.expressions package Pierre-Marie de Rodat 2016-05-15 17:25:32 +02:00
facf669579 OA27-034: Add a pass that will automatically annotate Field's types Raphael Amiard 2016-05-16 16:32:46 +02:00
104ff28add OA28-063: Provide a default instantiation of TypeRepo Raphael Amiard 2016-05-16 16:30:49 +02:00
0cc770c577 Minor: Fix pycharm warning via assert_type Raphael Amiard 2016-05-16 15:33:48 +02:00
645cd48c4a OA28-063: Allow Fields to have defered type annotations Raphael Amiard 2016-05-16 15:33:21 +02:00
0de9dce801 OA28-063: Make BasicType internal.. Raphael Amiard 2016-05-16 15:29:18 +02:00
c1dde0ec62 OA28-063: Make the TypeRepo mechanism more powerful Raphael Amiard 2016-05-16 15:23:58 +02:00
d62ab9dce7 O413-018: Correct logic.Domain expression Raphael Amiard 2016-05-14 18:30:59 +02:00
d4c665a71a OA28-063: Remove type props in expressions.structs Raphael Amiard 2016-05-14 14:37:59 +02:00
0158fc82cc OA28-063: Remove type props in expressions.logic Raphael Amiard 2016-05-14 14:34:33 +02:00
8d70c1b9cb OA28-063: Remove type props in expressions.envs Raphael Amiard 2016-05-14 14:34:11 +02:00
ca18b15750 OA28-063: Remove type props in expressions.collections Raphael Amiard 2016-05-14 14:29:28 +02:00
f1c583fe99 OA28-063: Remove type properties in expressions.boolean Raphael Amiard 2016-05-14 14:23:12 +02:00
033449ce14 OA28-063: Remove type properties in expresssions.base Raphael Amiard 2016-05-14 14:20:14 +02:00
4cf519d850 OA28-063: Remove unneeded type property on Let.Expr Raphael Amiard 2016-05-14 14:17:33 +02:00
f4568e5c6a OA28-063: Remove unneeded type property on AbstractVariable.Expr Raphael Amiard 2016-05-14 14:17:03 +02:00
a7eab18c1f OA28-063: Remove unneeded type property on BuiltinCallExpr Raphael Amiard 2016-05-14 14:15:50 +02:00
4fc218eef8 OA28-063: Add a shortcut for ResolvedExpression's type Raphael Amiard 2016-05-14 14:10:50 +02:00
bdb529996e OA27-034: Emit properties for root grammar class Raphael Amiard 2016-05-14 13:59:42 +02:00
8ea73dc182 OA27-034: Add SolveEquation expression Raphael Amiard 2016-05-14 13:59:18 +02:00
6878deb7f8 OA27-034: Add GetLogicValue expression Raphael Amiard 2016-05-14 13:58:56 +02:00
1ca1b8195e P512-017: Add an AST_Node.Find method that returns an array Raphael Amiard 2016-05-13 22:44:38 +02:00
bc5ead1836 Minor doc correction Raphael Amiard 2016-05-13 22:43:32 +02:00
7f8fb45a2f P512-017: Add Langkit_Support.Iterator_Interfaces.Consume Raphael Amiard 2016-05-13 22:42:45 +02:00
45f4a59dba OA27-034: Implement equality between logic variables Raphael Amiard 2016-05-13 16:51:55 +02:00
91d5bd46d2 P512-017: Change iterator interface Raphael Amiard 2016-05-13 13:36:01 +02:00
bc3fc87df0 OA27-034: Adalog - Add = -> Equals renamings Raphael Amiard 2016-05-13 11:33:33 +02:00
283f17930c Minor: logic.Predicate - check_sl -> check_multiple Raphael Amiard 2016-05-13 11:22:43 +02:00
5232fe1a81 Minor: logic.Bind - check_sl -> check_multiple Raphael Amiard 2016-05-13 11:22:35 +02:00
0f4b9be70a O413-018: Fix ast_node field -> struct. Update doc Raphael Amiard 2016-05-09 18:40:50 +02:00
a5affea9f9 O413-018: Update error message in binary operators Raphael Amiard 2016-05-09 12:21:49 +02:00
a9170f87fb libmanage.py: fix missing update for the name of the mains project file Pierre-Marie de Rodat 2016-05-13 17:09:26 +02:00
0baca8348b Make it possible to disable the build of specific sets of main programs Pierre-Marie de Rodat 2016-05-13 11:11:42 +02:00
32c979105d Make it possible for "mains.gpr" to handle multiple main programs Pierre-Marie de Rodat 2016-05-13 10:49:41 +02:00
597ac820f9 Fix a minor typographic issue Pierre-Marie de Rodat 2016-05-13 10:40:08 +02:00
e4478cc72f Rename the "parse" project file name into "mains" Pierre-Marie de Rodat 2016-05-13 10:38:48 +02:00
35fcd200be FieldAccess: rename result_var -> prefix_var Pierre-Marie de Rodat 2016-05-11 18:35:57 +02:00
7131655dea Add a __repr__ debug helper for expressions.base.LocalVars.LocalVar Pierre-Marie de Rodat 2016-05-11 13:25:53 +02:00
280526bc1d Fix a typo in a type expression Pierre-Marie de Rodat 2016-05-11 16:47:12 +02:00
3702e48768 compiled_types.EquationType: fix nullexpr Pierre-Marie de Rodat 2016-05-11 12:26:13 +02:00
7da434a7b8 compiled_types.ArrayType: fix a typo (missing "return" keyword) Pierre-Marie de Rodat 2016-05-11 12:15:24 +02:00
8ac384c053 Properly emit all bits for EnvMetadata record types Pierre-Marie de Rodat 2016-05-11 11:01:23 +02:00
3330fa21b0 Introduce precisely-typed list accessors Pierre-Marie de Rodat 2016-05-10 15:53:28 +02:00
7fcd0182a2 Refactor list_types_ada.mako to put name creation logic in variables Pierre-Marie de Rodat 2016-05-10 15:41:33 +02:00

... 92 93 94 95 96 ...