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

Mono Color

• 847b553a2e Lkt: fix the handling of grammars missing a @with_lexer annotation Pierre-Marie de Rodat 2022-05-10 14:46:47 +02:00
• 7698a8d111 dsl_unparse: remove spurious line break in grammars Pierre-Marie de Rodat 2022-05-10 13:20:54 +00:00
• 11ab0daea6 dsl_unparse: add an empty line after import statements Pierre-Marie de Rodat 2022-05-10 15:08:11 +02:00
• e9a5165580 Langkit_Support.Diagnostics.Output: skip caret line if empty Pierre-Marie de Rodat 2022-05-10 15:06:51 +02:00
• 6e047a6912 Langkit_Support.Diagnostics.Output: reformattings Pierre-Marie de Rodat 2022-05-10 14:59:51 +02:00
• f748543326 manage.py: just propagate exit code from the testsuite script Pierre-Marie de Rodat 2022-05-11 16:42:55 +02:00
• 3bd1a2320b $.Implementation: remove the protected object and use GNAT.Task_Lock Pierre-Marie de Rodat 2022-05-16 12:40:28 +00:00
• f136ff1027 langkit.lexer.regexp: add vertical tab handling Pierre-Marie de Rodat 2022-05-13 14:03:18 +02:00
• be6ae74144 Reject concrete non-synthetic nodes which have no parser Pierre-Marie de Rodat 2022-05-12 11:40:50 +02:00
• 950d71b99a Fix some docstrings Raphaël AMIARD 2022-05-02 09:49:21 +00:00
• c8b408b6b0 Simplification of format_* functions Raphaël AMIARD 2022-04-26 13:23:20 +00:00
• 9373cb663b pkg_implementation_spec_ada.mako: new extension point for context comps Pierre-Marie de Rodat 2022-05-03 10:22:45 +02:00
• 34cd7a586b Remove code duplication for --library-types arguments Pierre-Marie de Rodat 2022-05-03 15:17:30 +00:00
• c41bcf6095 libmanage.py: fix build mode handling for installation Pierre-Marie de Rodat 2022-05-03 15:05:51 +00:00
• e2b7b23f99 Fix langkit_support's static-pic builds Raphaël AMIARD 2022-05-03 14:30:11 +00:00
• a1d4b34c8e Solver: inline compound relations's vectors up to 16 members Raphaël AMIARD 2022-04-14 11:26:45 +02:00
• f1128259b4 Always inline finalizers Raphaël AMIARD 2022-04-14 11:26:24 +02:00
• f5c4337dd7 Inline property dispatchers Raphaël AMIARD 2022-04-14 11:32:13 +02:00
• d4cc690820 Only have foreign nodes map when necessary Raphaël AMIARD 2022-03-25 20:01:14 +01:00
• b1b2e24aa1 Inline enter/exit_call recursive guards Raphaël AMIARD 2022-04-13 18:29:36 +02:00
• 42f0d5ce04 Allow building several build modes in one run Raphaël AMIARD 2022-04-20 17:22:12 +02:00
• 90e56af184 Introduce support for profile builds Raphaël AMIARD 2022-03-01 14:38:36 +01:00
• 80c6b18f5c V405-012: Invalidate caches when named parent env is updated. Romain Beguet 2022-04-27 15:09:47 +02:00
• ada59fd5c3 V405-012: Trace cache entry insertions. Romain Beguet 2022-04-27 14:29:21 +02:00
• d9070006bb Make sure we do not trigger compilation warnings in basic projects Pierre-Marie de Rodat 2022-04-20 09:46:20 +00:00
• 4782973809 CompileCtx.generate_actions_for_hierarchy: add type hints Pierre-Marie de Rodat 2022-04-20 08:52:15 +00:00
• 7443e23c02 gdb_helpers: always expect [New Thread ...] messages Pierre-Marie de Rodat 2022-04-28 12:14:09 +02:00
• e5b30663f8 python_api/struct_types_py.mako: remove obsolete macro Pierre-Marie de Rodat 2022-04-27 11:35:10 +02:00
• 8d194ce227 Add belongs-to annotations to node properties Raphaël AMIARD 2022-04-19 12:53:08 +00:00
• d08907ffe7 manage.py: fix run-mypy for Libpythonlang/Liblktlang Python bindings Pierre-Marie de Rodat 2022-04-26 09:57:39 +02:00
• eacb88af15 GHA: remove the build&test workflow Pierre-Marie de Rodat 2022-04-26 10:55:04 +02:00
• 499b8843f0 gdb_helpers: fix the expected regexp for "fooout" Pierre-Marie de Rodat 2022-04-19 16:32:51 +02:00
• a89afaf42a $.Common: move entities meant to be internal to $.Implementation Pierre-Marie de Rodat 2022-04-04 15:28:23 +02:00
• 7acea1f28b misc/standalone: remove XFAIL after the GPRbuild bug fix Pierre-Marie de Rodat 2022-04-14 09:51:36 +02:00
• 74144693a9 README.md: update the list of officially supported Python versions Pierre-Marie de Rodat 2022-04-12 14:58:57 +00:00
• 5f0b10b768 Create a dedicated expression for ".find" Pierre-Marie de Rodat 2022-04-12 12:36:54 +00:00
• 278ff3edfc langkit.expressions.expression: factor out common code Pierre-Marie de Rodat 2022-04-13 14:59:11 +00:00
• 951a775713 langkit.expressions.collections: remove useless scope handling Pierre-Marie de Rodat 2022-04-12 13:47:37 +00:00
• 2c368724b6 Refactor template code for map/quantifier expressions Pierre-Marie de Rodat 2022-04-12 08:19:22 +00:00
• 670cb72f5c langkit.expressions.collections: add type hints Pierre-Marie de Rodat 2022-04-11 14:19:44 +00:00
• a23c8c7780 langkit.expressions: handle function annotations in @auto_attr* Pierre-Marie de Rodat 2022-04-11 15:00:14 +00:00
• 659aeed26e langkit.expressions.collections: minor docstring update/fix Pierre-Marie de Rodat 2022-04-08 13:55:43 +00:00
• db86f7b519 Testsuite: adapt for Python 3.8+ Pierre-Marie de Rodat 2022-04-14 12:10:48 +02:00
• c66bc94704 lkt_toolbox_driver: do not run Valgrind on 32-bit systems Pierre-Marie de Rodat 2022-04-12 11:50:27 +00:00
• adb4e997da project_file.mako: update after recent gnatcov_rts project changes Pierre-Marie de Rodat 2022-04-11 09:55:10 +00:00
• 3416df9065 misc/standalone: XFAIL until a GPRbuild bug is fixed Pierre-Marie de Rodat 2022-04-06 08:53:54 +00:00
• 9e3695ea70 Fix link with a standalone lib and a non-standalone one Pierre-Marie de Rodat 2022-04-05 13:51:11 +00:00
• ae45ceb8bc CompileTypeRepo.root_grammar_class: initialize to None Pierre-Marie de Rodat 2022-04-05 13:47:38 +00:00
• aa0213b1a6 Add a mode to generate standalone libraries (no dep on Langkit_Support) Pierre-Marie de Rodat 2022-04-01 17:13:54 +02:00
• 89ed926fb6 langkit_support-adalog-solver.adb: remove obsolete pragma Pierre-Marie de Rodat 2022-04-01 17:10:14 +02:00
• 0d1030d944 Langkit_Support: fix coding style issues Pierre-Marie de Rodat 2022-04-04 06:03:56 +00:00
• 99c18c359f Move "support" to "langkit/support" Pierre-Marie de Rodat 2022-04-01 16:15:24 +02:00
• 210cbbacaa langkit.emitter: refactor Python code emission Pierre-Marie de Rodat 2022-04-01 16:01:28 +02:00
• eec8c4d5a6 langkit.emitter: move code emission functions to Emitter methods Pierre-Marie de Rodat 2022-04-01 15:47:43 +02:00
• d90166307c Langkit_Support: remove a leftover unit Pierre-Marie de Rodat 2022-04-04 15:32:45 +00:00
• 4b25d1febb Adalog: fix a memory leak in N_Propagate equations Pierre-Marie de Rodat 2022-03-31 11:13:55 +02:00
• 20b6b5a5f2 Adalog: bump the default timeout to 50_000_000 Pierre-Marie de Rodat 2022-03-11 16:28:35 +01:00
• a2c32e5056 Adalog: let Timeout_Error propagate in Has_Contradiction Pierre-Marie de Rodat 2022-03-11 16:27:15 +01:00
• b86f000cd5 Properties DSL: add support for N_Predicate equations Pierre-Marie de Rodat 2022-03-25 15:27:47 +00:00
• 16679b4e24 langkit.expressions.logic: refactor Assign/Predicate/Unify codegen Pierre-Marie de Rodat 2022-03-25 13:28:51 +00:00
• 20473b1dcb Adalog: add a N_Predicate atomc relation kind Pierre-Marie de Rodat 2022-03-25 10:23:41 +00:00
• 25b0ce46d7 Adalog: remove the Var_Or_Null type Pierre-Marie de Rodat 2022-03-25 09:44:25 +00:00
• 779fe0356b Adalog: rework Topo_Sort to use recursion Pierre-Marie de Rodat 2022-03-24 13:52:55 +00:00
• 3254a7d22c Adalog: add tests for the handling of dependency cycles Pierre-Marie de Rodat 2022-03-24 13:41:51 +00:00
• 852f847e16 Langkit_Support: remove the Functional_Lists package Pierre-Marie de Rodat 2022-02-28 16:04:16 +00:00
• 5e76298076 Adalog: remove comparers Pierre-Marie de Rodat 2022-02-28 11:30:02 +00:00
• 1c2221d657 Adalog: remove the state machine solver and the solver generic interface Pierre-Marie de Rodat 2022-02-25 13:32:11 +00:00
• d337a3d87f Symbolic solver: never raise Early_Binding_Error exceptions Pierre-Marie de Rodat 2022-02-25 14:51:37 +00:00
• e90d03f90f Symbolic solver: add a timeout feature Pierre-Marie de Rodat 2022-02-24 14:17:21 +00:00
• 0019e179a0 Symbolic solver: remove the Simplify optimization Pierre-Marie de Rodat 2022-02-24 12:48:56 +00:00
• 3f9555e38d Symbolic solver: track the number of All/Any/atomic relations Pierre-Marie de Rodat 2022-02-18 10:43:48 +00:00
• e53659e7d6 Symbolic solver: remove dead code Pierre-Marie de Rodat 2022-02-18 13:49:26 +00:00
• 503225ede6 Symbolic solver: add a trace to disable the Simplify optimization Pierre-Marie de Rodat 2022-02-18 13:34:18 +00:00
• 670d43ae60 Symbolic solver: add a trace to show timing information Pierre-Marie de Rodat 2022-02-18 11:09:24 +00:00
• 06123f89ba Symbolic solver: assign Ids to relations during constant folding Pierre-Marie de Rodat 2022-02-18 08:59:38 +00:00
• a46571de2f Symbolic solver: pass the solving context by reference Pierre-Marie de Rodat 2022-02-10 15:57:35 +00:00
• 46f80250de Symbolic solver: replace functional lists with vectors for Anys Pierre-Marie de Rodat 2022-02-10 15:39:42 +00:00
• 917701501e Symbolic solver: refactor duplicate code Pierre-Marie de Rodat 2022-02-10 14:46:20 +00:00
• 091cc68969 Adalog: add inline cache in functors Pierre-Marie de Rodat 2022-02-09 16:43:16 +00:00
• 913d6c412e Symbolic solver: replace functional lists with vectors in topo sort Pierre-Marie de Rodat 2022-02-08 09:58:10 +00:00
• d697855f23 Langkit_Support.Functional_Lists: fix an aliasing warning Pierre-Marie de Rodat 2022-02-08 09:57:09 +00:00
• 80c35a9a96 Symbolic solver: minor refactoring in topo sort Pierre-Marie de Rodat 2022-01-26 10:28:28 +00:00
• 9eb7e23b9f Symbolic solver: fix cleanup bug for topo sort Pierre-Marie de Rodat 2022-01-26 11:24:59 +00:00
• 844bb32f1e Symbolic solver: fix folding of Any/All with a single sub-relation Pierre-Marie de Rodat 2022-01-26 09:00:26 +00:00
• 746938c935 Adalog: make it easier to change default solver options Pierre-Marie de Rodat 2022-01-26 08:12:40 +00:00
• 233f89fd44 Symbolic solver: make cut dead branches handle all kinds of atoms Pierre-Marie de Rodat 2022-01-25 16:54:53 +00:00
• e87cc2cbd6 Symbolic solver: introduce a counter for calls to Has_Contradiction Pierre-Marie de Rodat 2022-01-12 15:52:38 +00:00
• ba4ed343a9 Symbolic solver: fix handling of undefined vars in Solve_First Pierre-Marie de Rodat 2022-01-12 11:25:03 +00:00
• f69d648e50 Symbolic solver: use var image instead of just "Var" in debug traces Pierre-Marie de Rodat 2022-01-12 10:49:06 +00:00
• 839ba125fd Symbolic solver: fix Simplify crash in debug mode Pierre-Marie de Rodat 2022-01-12 10:19:01 +00:00
• 657ea75279 Symbolic solver: fix invariant violation in Simplify Pierre-Marie de Rodat 2022-01-11 17:50:58 +00:00
• 8c986f5aef Symbolic solver: add a trace to detect Any left after simplification Pierre-Marie de Rodat 2022-01-11 11:16:09 +00:00
• 0ff521375d Logic vars: prevent the creation of aliasing loops Pierre-Marie de Rodat 2022-01-11 10:33:25 +00:00
• ac5887b0d9 Symbolic solver: preserve order of predicates for a given variable Pierre-Marie de Rodat 2022-01-10 14:03:04 +00:00
• e9951c63a5 Symbolic solver: fix handling of predicate/converter exceptions Pierre-Marie de Rodat 2022-01-07 17:08:12 +00:00
• 6478ecb8be Symbolic solver: add an optimization to split Any relations Pierre-Marie de Rodat 2022-01-04 17:57:29 +00:00
• 5d06d632e8 Symbolic solver: always handle relations by reference Pierre-Marie de Rodat 2022-01-06 11:22:35 +00:00
• f0df7a0e63 Symbolic solver: minor refactoring Pierre-Marie de Rodat 2022-01-05 11:07:45 +00:00
• 4a2bb3b385 Symbolic solver: move atom seq. eval. primitives out of Solve_Compound Pierre-Marie de Rodat 2022-01-05 10:52:46 +00:00
• c600c4061e Symbolic solver: run constant folding on relations in one pass Pierre-Marie de Rodat 2022-01-05 08:30:50 +00:00