Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 5, 2025

• A few upgrades (#1060)

  Show description for bced9f9
  lethalgem

  authored
  bced9f9

  Copy full SHA for bced9f9

• - upgrade trunk

  Show description for 7eaec73
  mohammadfawaz

  committed
  7eaec73

  Copy full SHA for 7eaec73

Commits on Feb 2, 2025

• Upgrade trunk (#1059)

  otrho

  authored
  a9c0741

  Copy full SHA for a9c0741

• Upgrade trunk

  

  lethalgem

  authored and

  github-actions[bot]

  committed
  6b608f5

  Copy full SHA for 6b608f5

Commits on Jan 26, 2025

• Upgrade trunk (#1058)

  otrho

  authored
  046db57

  Copy full SHA for 046db57

• Upgrade trunk

  

  lethalgem

  authored and

  github-actions[bot]

  committed
  2547ff4

  Copy full SHA for 2547ff4

Commits on Jan 19, 2025

• Upgrade trunk to 1.22.9 (#1056)

  otrho

  authored
  ac1789f

  Copy full SHA for ac1789f

• Upgrade trunk to 1.22.9

  

  lethalgem

  authored and

  github-actions[bot]

  committed
  16dd62f

  Copy full SHA for 16dd62f

Commits on Jan 17, 2025

• Improve error if a const is used in a predicate (#1055)

  otrho

  authored
  224b242

  Copy full SHA for 224b242

Commits on Jan 16, 2025

• Report error if a const is used in a predicate

  lethalgem

  committed
  2f94840

  Copy full SHA for 2f94840

Commits on Jan 15, 2025

• Add ASM gen for a map over a fixed sized array of ints. (#1042)

  Show description for bf9e2f6
  mohammadfawaz

  authored
  bf9e2f6

  Copy full SHA for bf9e2f6

• Merge and resolve conflicts

  mohammadfawaz

  committed
  6e64ce3

  Copy full SHA for 6e64ce3

• Optimize away identical variable and constraint decls (#1048)

  Show description for 5f55b6d
  mohammadfawaz

  authored
  5f55b6d

  Copy full SHA for 5f55b6d

Commits on Jan 14, 2025

• Fix minor JSON formatting.

  otrho

  committed
  45efb26

  Copy full SHA for 45efb26

• Add a '(leaf)' tag to nodes when printing them.

  Show description for bf3d77f
  otrho

  committed
  bf3d77f

  Copy full SHA for bf3d77f

• Add ASM gen for a map over an array in memory or in storage.

  otrho

  committed
  12f17f5

  Copy full SHA for 12f17f5

Commits on Jan 13, 2025

• Clippy fix

  lethalgem

  committed
  4297aa7

  Copy full SHA for 4297aa7

• refactor name

  lethalgem

  committed
  d0f7d69

  Copy full SHA for d0f7d69

• Address review comments

  lethalgem

  committed
  ed42476

  Copy full SHA for ed42476

• Merge remote-tracking branch 'origin/master' into ian/1030

  lethalgem

  committed
  451739e

  Copy full SHA for 451739e

• Upgrade some dependencies (#1054)

  mohammadfawaz

  authored
  855fdf8

  Copy full SHA for 855fdf8

• Upgrade some crates

  mohammadfawaz

  committed
  1986c94

  Copy full SHA for 1986c94

Commits on Jan 12, 2025

• Add ASM gen for a map over a fixed size array expression.

  Show description for d602cde
  otrho

  committed
  d602cde

  Copy full SHA for d602cde

• Add ASM gen for a map over a fixed sized array of predicate data.

  otrho

  committed
  c633713

  Copy full SHA for c633713

• Upgrade trunk (#1053)

  otrho

  authored
  366497a

  Copy full SHA for 366497a

• Upgrade trunk

  

  lethalgem

  authored and

  github-actions[bot]

  committed
  07682f0

  Copy full SHA for 07682f0

Commits on Jan 10, 2025

• Merge remote-tracking branch 'origin/master' into ian/1030

  Show description for dec0788
  lethalgem

  committed
  dec0788

  Copy full SHA for dec0788

• Clean for clippy

  lethalgem

  committed
  7d238a7

  Copy full SHA for 7d238a7

Commits on Jan 9, 2025

• Allow storage accesses everywhere (#1039)

  otrho

  authored
  01c8a85

  Copy full SHA for 01c8a85

• refactor expr.rs

  lethalgem

  committed
  79019ea

  Copy full SHA for 79019ea

• Don't replace var before it's deleted

  lethalgem

  committed
  367c05f

  Copy full SHA for 367c05f

• Add tests for more than one duplicate

  lethalgem

  committed
  a4548ac

  Copy full SHA for a4548ac

• Merge remote-tracking branch 'origin/master' into ian/1030

  lethalgem

  committed
  8c31730

  Copy full SHA for 8c31730

• Update asm test

  lethalgem

  committed
  56a5c04

  Copy full SHA for 56a5c04

• Refactor expr eq function

  lethalgem

  committed
  c0e93b6

  Copy full SHA for c0e93b6

Pagination

Previous

Next