Commits

Branch selector

 main

User selector

croyzor

Datepicker

All time

Commit History

Commits on Jan 7, 2025

• feat: *-kinded holes which are solved by BRAT (#69)

  Show description for 4d60f70
  

  croyzor

  and

  acl-cqc

  authored
  4d60f70

Commits on Dec 23, 2024

• feat: Add bracketing to lexer (#68)

  Show description for 7725c16
  

  croyzor

  and

  acl-cqc

  authored
  7725c16

• chore: Update to hugr v0.9.0 (#67)

  croyzor

  authored
  17736fa

Commits on Dec 17, 2024

• chore: Upgrade to hugr 0.8.0 (#66)

  Show description for f0c22a4
  croyzor

  authored
  f0c22a4

Commits on Dec 3, 2024

• feat: give all next calls a label (#61)

  Show description for 9bad538
  

  croyzor

  and

  acl-cqc

  authored
  9bad538

Commits on Nov 28, 2024

• feat: Give every node created with anext a label (#60)

  croyzor

  authored
  870e104

Commits on Nov 25, 2024

• refactor: Rename UserName to QualName (#56)

  croyzor

  authored
  7458577

Commits on Nov 19, 2024

• chore: Add HLint CI action and apply hints (#55)

  croyzor

  authored
  86f94de

Commits on Nov 5, 2024

• chore: Update compilation to target hugr v0.6.0 (#52)

  Show description for 8a4ff4f
  croyzor

  authored
  8a4ff4f

• refactor: Combine hugr types and ops into one module (#51)

  Show description for c1110ed
  croyzor

  authored
  c1110ed

Commits on Oct 31, 2024

• feat: Vectorisation - of and vectorised application (#47)

  croyzor

  authored
  c8039aa

• chore(ci): Try harder to cache stack deps (#49)

  croyzor

  authored
  be2b27c

Commits on Oct 30, 2024

• feat: Make FC reporting in errors nicer (#39)

  croyzor

  authored
  a77f82c

Commits on Oct 29, 2024

• fix: Check that all overs and unders are used in toplevel defs (#48)

  croyzor

  authored
  8752f32

Commits on Oct 24, 2024

• docs: Add example of magic state distillation (#40)

  Show description for c6c6f83
  

  croyzor

  and

  acl-cqc

  authored
  c6c6f83

Commits on Oct 14, 2024

• fix: Add unelab cases for identity op (#37)

  croyzor

  authored
  7e922da

• feat: Add fanin and fanout operators (#36)

  Show description for 025ee06
  croyzor

  authored
  025ee06

• feat: Add identity operator for a single wire (#21)

  croyzor

  authored
  e05a15e

Commits on Oct 4, 2024

• chore: Update versions of github actions (#33)

  croyzor

  authored
  e864d41

• refactor: Make InLvl a handler instead of a command (#31)

  croyzor

  authored
  2f4925f

Commits on Aug 7, 2024

• [new] Allow pattern matching in lambdas, and compile constructors (#22)

  Show description for ed58724
  

  croyzor

  and

  acl-cqc

  authored
  ed58724

Commits on Jul 25, 2024

• [chore] Use hugr_validator from the cache in CI (#421)

  croyzor

  committed
  ffa0c53

Commits on Jul 23, 2024

• Fix README links

  croyzor

  committed
  9f23b9e

• Add pdf of PLanQC abstract to repo

  croyzor

  committed
  0e7171b

• [tests] Make graph tests actual golden tests (#415)

  Show description for 34a8179
  croyzor

  committed
  34a8179

• [chore] Update github actions with new repo structure

  croyzor

  committed
  3dda869

• [refactor] Decl -> FuncDecl; move out from Syntax.Common (#414)

  Show description for 5a35325
  croyzor

  committed
  5a35325

• [refactor] Use a data structure for precedence instead of numbers (#407)

  croyzor

  committed
  9658ec2

• [new] Check arith expr args in # positions (#397)

  Show description for 85f1274
  croyzor

  committed
  85f1274

• [chore] Remove protoc dep in CI coverage (#405)

  croyzor

  committed
  ba4bc5c

• [refactor] Lexer structure (#406)

  Show description for d81308b
  croyzor

  committed
  d81308b

• [fix] Add missing fields to LSP config (#404)

  croyzor

  committed
  4fc3aa3

• [new] Vector patterns and nat solver (#395)

  Show description for 74d2496
  croyzor

  committed
  74d2496

• [fix] Logic for full and add test (#394)

  Show description for d6bb810
  croyzor

  committed
  d6bb810

• [fix] Validate script (#391)

  Show description for 2dda861
  croyzor

  committed
  2dda861

Pagination

PreviousNext