All pull requests

Pull requests

• Fixed compiling errors in Xreal

  #1211·StefanoGalligani opened Oct 16, 2026·

  ·

• refactor(pl): circuit as recheckable per-logic rules

  #1205·strub opened Oct 9, 2026Member·28/28·

  ·

• refactor(pl): exists as recheckable per-logic rules

  stacked
  #1204·strub opened Oct 9, 2026Member·27/28·

  ·

• refactor(pl): weakmem as recheckable per-logic rules

  stacked
  #1200·strub opened Oct 9, 2026Member·26/28·

  ·

• refactor(pl): prrw as a recheckable rule

  stacked
  #1199·strub opened Oct 9, 2026Member·25/28·

  ·

• refactor(pl): call as recheckable per-logic rules

  stacked
  #1198·strub opened Oct 9, 2026Member·24/28·

  ·

• refactor(pl): upto as recheckable per-logic rules

  stacked
  #1195·strub opened Oct 9, 2026Member·23/28·

  ·

• refactor(pl): fel as a recheckable rule

  stacked
  #1194·strub opened Oct 9, 2026Member·22/28·

  ·

• refactor(pl): deno as recheckable per-logic rules

  stacked
  #1193·strub opened Oct 9, 2026Member·21/28·

  ·

• refactor(pl): proc as recheckable per-logic rules

  stacked
  #1192·strub opened Oct 9, 2026Member·20/28·

  ·

• refactor(pl): proc rewrite / change as program transformations

  stacked
  #1186·strub opened Oct 8, 2026Member·19/28·

  ·

• refactor(pl): looptx as program transformations

  stacked
  #1184·strub opened Oct 8, 2026Member·18/28·

  ·

• refactor(pl): codetx as program transformations

  stacked
  #1183·strub opened Oct 8, 2026Member·17/28·

  ·

• refactor(pl): inline as program transformations

  stacked
  #1182·strub opened Oct 8, 2026Member·16/28·

  ·

• refactor(pl): swap as program transformations

  stacked
  #1181·strub opened Oct 8, 2026Member·15/28·

  ·

• refactor(pl): if/match/case on the conditional alone, with pushes

  stacked
  #1174·strub opened Oct 7, 2026Member·14/28·

  ·

• refactor(pl): rcond and rmatch as program transformations

  stacked
  #1173·strub opened Oct 7, 2026Member·13/28·

  ·

• refactor(pl): one transformation rule per logic, plus a catalogue

  stacked
  #1172·strub opened Oct 7, 2026Member·12/28·

  ·

• refactor(pl): pr bridges as recheckable per-logic rules

  stacked
  #1165·strub opened Oct 6, 2026Member·11/28·

  ·

• refactor(pl): rnd and rndsem as recheckable per-logic rules

  stacked
  #1164·strub opened Oct 6, 2026Member·10/28·

  ·

• refactor(pl): wp as recheckable per-logic rules

  stacked
  #1163·strub opened Oct 6, 2026Member·9/28·

  ·

• refactor(pl): sp as recheckable per-logic rules

  stacked
  #1162·strub opened Oct 6, 2026Member·8/28·

  ·

• refactor(pl): transitivity as recheckable per-logic rules

  stacked
  #1161·strub opened Oct 6, 2026Member·7/28·

  ·

• refactor(pl): symmetry as recheckable per-logic rules

  stacked
  #1160·strub opened Oct 6, 2026Member·6/28·

  ·

• refactor(pl): true, zero and exfalso as recheckable per-logic rules

  stacked
  #1159·strub opened Oct 6, 2026Member·5/28·

  ·