Commits

Branch selector

 main

User selector

All users

All time

Commit history

Commits on Feb 19, 2025

• Fix build again

  edwinb

  committed
  05df1e8

  Copy full SHA for 05df1e8

• Fix build

  edwinb

  committed
  a38a58a

  Copy full SHA for a38a58a

Commits on Oct 30, 2023

• [ port ] faithful implementation of size-change graph termination analysis (#29)

  Show description for d178374
  

  4 peopleauthored
  d178374

  Copy full SHA for d178374

Commits on Oct 28, 2023

• Test update

  Show description for b402583
  edwinb

  committed
  b402583

  Copy full SHA for b402583

• Add a HolesOnly flag to nf

  Show description for b0061f3
  edwinb

  committed
  b0061f3

  Copy full SHA for b0061f3

Commits on Oct 9, 2023

• Merge branch 'main' of github.com:edwinb/Yaffle

  edwinb

  committed
  1934232

  Copy full SHA for 1934232

• Add another batch of basic tests

  Show description for f9c68fa
  edwinb

  committed
  f9c68fa

  Copy full SHA for f9c68fa

• Fix some errors and warnings

  edwinb

  committed
  2935ee9

  Copy full SHA for 2935ee9

Commits on Oct 7, 2023

• Add testutils

  edwinb

  committed
  cf593f5

  Copy full SHA for cf593f5

• Add interface tests

  edwinb

  committed
  3e517e8

  Copy full SHA for 3e517e8

• Disable basic019 for now

  Show description for 071cb59
  edwinb

  committed
  071cb59

  Copy full SHA for 071cb59

Commits on Sep 25, 2023

• make cond's default argument lazy (#30)

  kbertalan

  authored
  af8d0d7

  Copy full SHA for af8d0d7

• [ port ] Ignore `UseSide` annotation in non-linear as-patterns (#32)

  Show description for bf279ba
  

  AlgebraicWolf

  and

  mjustus

  authored
  bf279ba

  Copy full SHA for bf279ba

• Merge branch 'main' of github.com:edwinb/Yaffle

  edwinb

  committed
  b485b68

  Copy full SHA for b485b68

• [ compat ] base now has quantity 0 for cong's argument (#33)

  gallais

  authored
  5d0d081

  Copy full SHA for 5d0d081

• Unification fix for dotted patterns

  edwinb

  committed
  21f1424

  Copy full SHA for 21f1424

Commits on Sep 18, 2023

• Some fixes for making tests work

  Show description for 7a6953f
  edwinb

  committed
  7a6953f

  Copy full SHA for 7a6953f

• Add lots of test files

  edwinb

  committed
  27d5255

  Copy full SHA for 27d5255

Commits on Jul 15, 2023

• Reduce inside user case blocks during conversion

  Show description for a9d14bc
  edwinb

  committed
  a9d14bc

  Copy full SHA for a9d14bc

Commits on Jul 4, 2023

• Use a 'Glued' as argument to VLam

  Show description for 5b89c7e
  edwinb

  committed
  5b89c7e

  Copy full SHA for 5b89c7e

• Make Spine entries records rather than tuples

  Show description for 907f5cf
  edwinb

  committed
  907f5cf

  Copy full SHA for 907f5cf

Commits on Jul 3, 2023

• Update test output

  Show description for 4a257b9
  edwinb

  committed
  4a257b9

  Copy full SHA for 4a257b9

• Fix pretty printing of ambiguity errors

  edwinb

  committed
  60c6d2b

  Copy full SHA for 60c6d2b

• Fix for argument types in case compiler

  Show description for a497f51
  edwinb

  committed
  a497f51

  Copy full SHA for a497f51

Commits on May 24, 2023

• More minor tidying

  edwinb

  committed
  0a30ed9

  Copy full SHA for 0a30ed9

• Minor tidying in evaluator

  edwinb

  committed
  c5e22b4

  Copy full SHA for c5e22b4

Commits on May 17, 2023

• Erase vars from evaluator

  Show description for 9ea3ed6
  edwinb

  committed
  9ea3ed6

  Copy full SHA for 9ea3ed6

• Some evaluator reorganisation

  Show description for 6b4466f
  edwinb

  committed
  6b4466f

  Copy full SHA for 6b4466f

Commits on May 16, 2023

• Don't normalise in checkIfGuarded

  Show description for ee4cebf
  edwinb

  committed
  ee4cebf

  Copy full SHA for ee4cebf

• Tweak timing of unification in delayed elaborator

  Show description for 6278119
  edwinb

  committed
  6278119

  Copy full SHA for 6278119

Commits on May 15, 2023

• Update some test outputs

  edwinb

  committed
  929d68a

  Copy full SHA for 929d68a

• Renormalise type before rechecking a Delay

  Show description for ba818d7
  edwinb

  committed
  ba818d7

  Copy full SHA for ba818d7

• Add all the regression tests

  Show description for 67f1d2a
  edwinb

  committed
  67f1d2a

  Copy full SHA for 67f1d2a

• Start porting Idris2 tests over

  Show description for f7cfe5b
  edwinb

  committed
  f7cfe5b

  Copy full SHA for f7cfe5b

• Update test output

  Show description for 9d90dff
  edwinb

  committed
  9d90dff

  Copy full SHA for 9d90dff