All pull requests

Pull requests

• (frontend) moving sizeof/alignof out of the memory interface

  #1017·kmemarian opened Sep 20, 2026Collaborator·

  ·

• Proper UB for the pure array_shift

  #1016·kmemarian opened Sep 17, 2026Collaborator·

  ·

• [DRAFT] Initialisers support

  #1015·dc-mak opened Sep 8, 2026Collaborator·

  ·
  16

• Add support for empty structs (under a switch)

  #1011·dc-mak opened Sep 1, 2026Collaborator·

  ·

• (rewrite) const_prop: soundness & case support

  #1006·dc-mak opened May 29, 2026Collaborator·

  ·
  3

• (core) Add jump/where expressions

  #1005·dc-mak opened May 26, 2026Collaborator·

  ·
  1

• (core) Add warning switch for wseq

  #1004·dc-mak opened May 24, 2026Collaborator·

  ·
  1

• (core rewrite) Mem2reg

  #1003·dc-mak opened May 23, 2026Collaborator·

  ·
  23

• tentatively have Translation.mk_neg add type annotation to the 0 pexpr

  #981·cp526 opened Oct 6, 2025Collaborator·

  ·

• Fix runtime path lookup

  #980·RossSmyth opened Sep 22, 2025·

  ·

• Remove ail_analysis.ml*

  #978·moratorium08 opened Aug 11, 2025·

  ·

• Make shebangs consistent

  #971·RossSmyth opened Jul 1, 2025·

  ·

• Use void for no argument functions in Pp_ail

  #953·ZippeyKeys12 opened May 1, 2025Collaborator·

  ·

• CN: Add the ability to refer to resources by name

  #921·dc-mak opened Mar 7, 2025Collaborator·

  ·
  1

  1

• Make SMT solver consider the full set of assumptions, including the o…

  #846·cp526 opened Jan 30, 2025Collaborator·

  ·

• Adding a switch for normalising types at elaboration time

  #805·kmemarian opened Dec 31, 2024Collaborator·

  ·
  2

• Alternative resource inference scheme

  #757·cp526 opened Dec 11, 2024Collaborator·

  ·

• Test regression CI comments

  #594·jprider63 opened Sep 25, 2024Collaborator·

  ·

• Pr benchmarking -- testing

  #593·cp526 opened Sep 25, 2024Collaborator·

  ·

• [CN] Pure term (partial) evaluation

  cn
  #447·ZippeyKeys12 opened Jul 30, 2024Collaborator·

  ·
  13

• improve README

  #348·matu3ba opened Jun 24, 2024·

  ·
  1

• Separating the C and CN parsing

  cn
  #342·kmemarian opened Jun 22, 2024Collaborator·

  ·
  12

  

• tabs.ts: Loosen type of SvgGraph.svg

  #193·SamB opened Mar 16, 2022·

  ·