Commit Graph

Select branches

Hide Pull Requests

adelaett-fix-nix-ci-by-removing-it

adelaett-invariant-typing-default

afromher_verification

afromher_z3arrays

aides_logement

alex_master

api_apl

better_error

c_backend

ci-test

clerkpy

coq_backend

dates_slicing

debugging_log

fix-build

fix_543

fix_551

fix_555

fix_558

fix_linebreaks_latex

gadt2

icfp21

improve_assertion_failure

improve_trace_printing

input_context_subscopes

list_printing

lsp-compat

master

non_incremental_parser

protz_121

protz_hawaii

protz_wa_lfo

r_tuples

reci

s121

us121

us83

vacances

vbot@lsp-tools

vbot@misc-typos

vbot@rework-passes

vbot@test-windows-build

wip

#1

#100

#104

#11

#110

#111

#116

#117

#119

#12

#121

#122

#123

#124

#126

#127

#128

#129

#13

#131

#132

#133

#135

#137

#138

#139

#14

#142

#143

#146

#150

#154

#155

#158

#159

#160

#163

#164

#165

#168

#169

#171

#173

#175

#176

#177

#178

#18

#184

#185

#186

#187

#188

#189

#19

#196

#197

#2

#20

#200

#202

#205

#206

#21

#210

#212

#213

#215

#216

#217

#218

#22

#220

#221

#222

#223

#224

#225

#227

#228

#229

#23

#230

#232

#233

#234

#235

#236

#239

#242

#244

#246

#249

#25

#251

#252

#256

#258

#259

#26

#260

#261

#262

#263

#264

#265

#266

#267

#268

#27

#270

#271

#272

#275

#276

#278

#279

#280

#283

#284

#285

#286

#287

#288

#289

#291

#292

#294

#295

#296

#297

#298

#299

#3

#30

#300

#302

#303

#304

#305

#306

#312

#313

#314

#315

#318

#319

#32

#320

#321

#322

#323

#324

#325

#326

#327

#328

#329

#33

#331

#333

#334

#335

#336

#337

#338

#339

#34

#340

#341

#343

#346

#347

#348

#349

#351

#352

#353

#354

#355

#356

#358

#361

#363

#364

#365

#367

#368

#369

#370

#374

#376

#377

#380

#381

#383

#385

#386

#387

#388

#391

#395

#396

#397

#4

#400

#401

#403

#404

#406

#407

#408

#409

#412

#413

#414

#415

#416

#417

#418

#419

#42

#420

#421

#422

#423

#424

#425

#426

#427

#428

#429

#43

#430

#432

#433

#434

#436

#437

#438

#439

#44

#440

#441

#446

#447

#448

#45

#450

#453

#457

#460

#461

#462

#463

#464

#465

#467

#469

#470

#471

#472

#474

#475

#476

#477

#477

#478

#48

#480

#481

#483

#484

#487

#488

#489

#490

#491

#492

#493

#494

#495

#496

#497

#498

#499

#5

#500

#501

#502

#503

#505

#506

#507

#509

#510

#511

#512

#515

#518

#519

#520

#522

#523

#524

#525

#526

#527

#528

#530

#531

#532

#533

#535

#537

#538

#54

#541

#542

#544

#545

#546

#547

#550

#552

#553

#554

#556

#556

#557

#559

#56

#560

#561

#562

#564

#565

#566

#568

#569

#57

#570

#571

#572

#573

#575

#576

#577

#578

#580

#581

#582

#583

#584

#586

#587

#588

#593

#593

#594

#595

#597

#6

#601

#602

#603

#604

#605

#606

#607

#608

#610

#611

#614

#615

#617

#618

#62

#620

#621

#622

#624

#624

#625

#626

#627

#629

#63

#630

#631

#632

#633

#634

#635

#636

#637

#638

#639

#640

#641

#642

#643

#659

#660

#661

#662

#663

#664

#665

#666

#669

#67

#670

#671

#68

#683

#684

#688

#689

#69

#694

#70

#703

#704

#706

#708

#71

#710

#711

#712

#713

#715

#718

#719

#72

#722

#725

#726

#73

#730

#732

#733

#734

#735

#743

#744

#75

#76

#77

#8

#80

#82

#84

#91

#92

#93

0.10.0

0.2.0

0.3.0

0.5.0

0.6.0

0.7.0

0.8.0

0.9.0

Mono Color

• 21cea5c968 Closure conversion fix Louis Gesbert 2024-06-20 15:08:16 +0200
• 23b196aace Types printer: use commas rather than * for tuples Louis Gesbert 2024-06-19 16:42:45 +0200
• 69e862a9d1 Clerk report: avoid Seq.Forced_twice error on incomplete test input Louis Gesbert 2024-06-19 16:23:40 +0200
• b11b9f4918
  Refactor suggestions mechanism (#636) vbot 2024-06-21 11:43:52 +0200
• c26d3fdf4a
  Refactor and improve suggestions' pretty-printing vbot 2024-06-20 15:49:58 +0200
• 441dd54ec3
  Refactor suggestions vbot 2024-06-20 15:38:21 +0200
• 41caecef63
  Add verbose error test vbot 2024-06-20 14:21:12 +0200
• 435794d70a
  Add error messages numbering (#634) vbot 2024-06-20 15:41:55 +0200
• c438aa1a68
  Fix spurious clerk rebuilds (#635) Denis Merigoux 2024-06-20 15:41:06 +0200
• b83f613dce Fix spurious clerk rebuilds Louis Gesbert 2024-06-20 14:41:57 +0200
• ad15984d0b More space between multiple errors, no numbers if just one Louis Gesbert 2024-06-20 10:52:57 +0200
• a7094fe52d
  Add messages numbering vbot 2024-06-19 17:21:57 +0200
• 8c0d5f006f
  Generate tests reports from 'clerk test' (#632) Louis Gesbert 2024-06-19 16:50:01 +0200
• 859a602c0b
  Clerk reports: add verbosity flags Louis Gesbert 2024-06-19 12:14:26 +0200
• 80400d838a
  Messages: improve string padding processing Louis Gesbert 2024-06-18 15:10:29 +0200
• 45b0feaf20
  Generate tests reports from 'clerk test' Louis Gesbert 2024-06-14 21:05:19 +0200
• b4a14bb102
  Small code cleanups Louis Gesbert 2024-05-31 16:24:34 +0200
• 0e88a375a2
  Multiple typing errors reporting (#631) vbot 2024-06-19 15:43:28 +0200
• 9622ac4172
  Add an option to stop on the first delayed error encountered vbot 2024-06-17 17:38:27 +0200
• a2c023c24c
  Add multiple typing error test vbot 2024-06-14 17:22:15 +0200
• 6d3239376f
  Adapt existing tests output vbot 2024-06-17 16:23:07 +0200
• e7beb0daad
  Fix typing error message consistency vbot 2024-06-17 16:21:42 +0200
• b2449f7b4c
  Add multiple typing errors using delayed errors vbot 2024-06-17 15:57:47 +0200
• e96a72f6e3
  Add PR policies in CONTRIBUTING.md (#633) Denis Merigoux 2024-06-19 14:15:43 +0200
• b7b978247d
  Add PR policies in contributing vbot 2024-06-19 10:49:50 +0200
• 1fe15eb22b
  Multiple parsing errors reporting (#630) Louis Gesbert 2024-06-18 18:18:17 +0200
• 62470d0db8
  Replace failwith by internal errors vbot 2024-06-18 16:26:59 +0200
• 37945f189b
  Add simple parsing tests vbot 2024-06-17 15:39:02 +0200
• 0b6eebd96b
  Adapt existing test results vbot 2024-06-17 15:38:41 +0200
• 4a44698fe7
  Add multiple parsing error support vbot 2024-06-17 15:38:25 +0200
• 421d281fc1
  Add delayed errors in Message vbot 2024-06-17 15:36:38 +0200
• 1179c3018a
  Fixing bug side-effect Denis Merigoux 2024-06-05 16:50:02 +0200
• 9015ce1c14
  Fix more bugs Denis Merigoux 2024-06-05 16:32:39 +0200
• 01b03b69a0
  Fix error message typo (#629) Denis Merigoux 2024-06-05 16:07:17 +0200
• 8c95971f1e
  Fix error message typo vbot 2024-06-04 15:26:47 +0200
• a0c982a6c3
  Typing across closure conversion (#627) Denis Merigoux 2024-06-03 09:39:17 +0200
• 5da46ff7be
  Remove extra space Denis Merigoux 2024-06-03 09:06:57 +0200
• 64e7484420
  Fix some errors but some left Denis Merigoux 2024-05-31 17:03:13 +0200
• 4436d50011 C backend: To/FromClosureEnv are no-ops Louis Gesbert 2024-05-31 16:23:26 +0200
• 96694e3c51
  Fixed type errors but tests are failing! Denis Merigoux 2024-05-30 17:58:55 +0200
• c18df4aa14
  Fixed internal desugared operations missing translation to scopelang Denis Merigoux 2024-05-30 17:36:18 +0200
• 79e0dcecda Forbid reformatting in tests/ Louis Gesbert 2024-05-30 17:09:13 +0200
• 035dff35a3 Preserve and propagate types through closure conversion Louis Gesbert 2024-05-30 16:10:21 +0200
• 4acf321309 C backend: make error raising more concise Louis Gesbert 2024-05-30 16:07:35 +0200
• eea30381a2 C backend: use switches for matches Louis Gesbert 2024-05-15 18:07:40 +0200
• 081605d04d tests: check the generated C code Louis Gesbert 2024-05-15 17:23:36 +0200
• 9af7548bf0
  Implement module hashes and checks (#625) Louis Gesbert 2024-05-28 12:36:40 +0200
• db87409125 Replace module hashes for external modules Louis Gesbert 2024-05-27 11:45:45 +0200
• f04e889173 Pass the "external module" info along passes Louis Gesbert 2024-05-27 11:26:14 +0200
• 709b51beb6 Fix hashing of submodule references Louis Gesbert 2024-05-24 17:24:14 +0200
• 072d428fc3 Ensure each module interface is computed only once Louis Gesbert 2024-05-24 16:27:46 +0200
• c9be9bc3ad Update test ouputs Louis Gesbert 2024-05-24 15:24:14 +0200
• d0998312eb Inline tests: add lightweight sanitisation of the command outputs Louis Gesbert 2024-05-24 15:18:58 +0200
• a94c5fe644 Clerk runtest: bufferise command output Louis Gesbert 2024-05-24 15:01:12 +0200
• 403156b36e Computation and checking of module hashes Louis Gesbert 2024-05-24 14:26:44 +0200
• 4a8068060b
  Beginning to switch def_key Denis Merigoux 2024-05-27 17:21:03 +0200
• ecc1c77aa3
  Refactoring : put sub-scope's I/O information where it should be Denis Merigoux 2024-05-27 16:05:51 +0200
• f5e3cea492
  Implementation in progress Denis Merigoux 2024-05-24 16:58:47 +0200
• 5d4063217d
  Implemented first translation surface -> desugared Denis Merigoux 2024-05-24 16:04:53 +0200
• b9bbb2e84b
  Change EScopeCall shape Denis Merigoux 2024-05-24 14:56:45 +0200
• c9ffc356c0
  Beginning to implement #598 Denis Merigoux 2024-05-23 17:26:33 +0200
• 372058bc42
  Combine English and French VS Code extensions (#622) Louis Gesbert 2024-05-22 16:12:38 +0200
• e7853d69cf
  Fixes in Python runtime (#618) Denis Merigoux 2024-05-21 12:05:17 +0200
• 6322e5c001 VScode: add LICENSE.txt before publication Louis Gesbert 2024-05-21 11:43:00 +0200
• 830f9fc84a vscode extension: add registered publisher name Louis Gesbert 2024-05-21 11:23:25 +0200
• bca0fb84a8 Update the Catala vscode extension README Louis Gesbert 2024-05-21 11:20:24 +0200
• 5749eb6db8 Combine English and French VS Code extensions Sam Estep 2024-05-17 15:54:38 -0400
• 831b630f55
  Fix lexing of verbatim blocks (#621) Louis Gesbert 2024-05-16 15:47:54 +0200
• 33ce233a29 Fix lexing of verbatim blocks Louis Gesbert 2024-05-16 15:45:16 +0200
• caf9135b4e Fix CI script (3) Louis Gesbert 2024-05-15 16:20:27 +0200
• ac37d50d8c Fix CI script (2) Louis Gesbert 2024-05-15 14:52:02 +0200
• 88d7013253 Fix CI script Louis Gesbert 2024-05-15 13:41:59 +0200
• fcb6829227
  Fix building and publishing of the website assets (#620) Louis Gesbert 2024-05-15 13:05:31 +0200
• 56328fec16 CI: publish packed website artifacts alongside the rest Louis Gesbert 2024-05-15 11:52:23 +0200
• 62414562eb Makefile: fix target website-assets.tar Louis Gesbert 2024-05-15 11:32:01 +0200
• bd30fe8d50
  Unify traces between interpreter and runtime (#615) Louis Gesbert 2024-05-15 10:59:15 +0200
• 5f289307a0 Runtime value printer: use <object> on non-printable entitites Louis Gesbert 2024-05-15 10:24:18 +0200
• e78c225437 Another fix to Python runtime Raphaël Monat 2024-05-15 09:08:24 +0200
• ab3184e091 Another fix to Python runtime Raphaël Monat 2024-05-15 09:08:24 +0200
• 3426ca3617 Python backend: fix money multiplication, round Raphaël Monat 2024-05-10 12:18:24 +0200
• a076dc70b6 Python runtime: remove quoted type annotations Raphaël Monat 2024-05-09 19:02:06 +0200
• 43218e31ce Python runtime: fix rounding Raphaël Monat 2024-05-09 19:01:48 +0200
• 716d983d2d Python backend: fix money multiplication, round Raphaël Monat 2024-05-10 12:18:24 +0200
• cfe9076e9d Python runtime: remove quoted type annotations Raphaël Monat 2024-05-09 19:02:06 +0200
• 61fe25969d Python runtime: fix rounding Raphaël Monat 2024-05-09 19:01:48 +0200
• 1cf34d9123 Fix formatting of syntax error messages Louis Gesbert 2024-05-08 12:35:11 +0200
• 1efdf4262d Clerk: fix finalisation on exit Louis Gesbert 2024-05-08 12:23:35 +0200
• affa45c115 Unify traces between interpreter and runtime Louis Gesbert 2024-05-03 17:06:33 +0200
• 59b0f21ff8
  Fixes for 0.10.0 (#617) Louis Gesbert 2024-05-06 22:15:57 +0200
• 51ba370f06 Update opam file according to opam-repository reviews Louis Gesbert 2024-05-06 14:17:01 +0200
• 8ad3b68d5f Fix 'make testsuite' return value Louis Gesbert 2024-05-06 11:15:58 +0200
• 3d1e9a56bf Fix adjustment of format width to terminal Louis Gesbert 2024-05-04 17:45:22 +0200
• 0ee512b832 Bump version in package descriptions to 0.10.0 Louis Gesbert 2024-05-06 13:50:41 +0200
• 8d659d0557
  Cleaner message printing (#614) 0.10.0 Louis Gesbert 2024-05-03 15:57:57 +0200
• 19672d2305 Messages: ensure disabled messages aren't computed Louis Gesbert 2024-05-03 15:13:08 +0200
• 396ea03ff9 Message formatting: some more space for results Louis Gesbert 2024-05-03 15:12:52 +0200
• 56b456d137 Message formatting: final touches Louis Gesbert 2024-05-03 15:04:56 +0200
• da89411189
  Restore formatting Denis Merigoux 2024-05-03 13:55:19 +0200
• c864f658c8 Cleaner message printing Louis Gesbert 2024-05-03 12:20:09 +0200
• 0f425dc408
  Unify runtime error handling (#611) Denis Merigoux 2024-05-03 10:11:36 +0200