Code

HWMCC'24: Fixes and upgrades#20

Code

Merged

aman-goel merged 19 commits intomasteraman-goel/avr:masterfrom hwmcc24aman-goel/avr:hwmcc24Copy head branch name to clipboardNov 5, 2024

+2,208-1,714

Commits

Commits on Aug 25, 2024

• Stashing temp changes

  aman-goel

  committed
  e891d9b

• Temp changes

  aman-goel

  committed
  93651cf

• Fix compiling multiple backend

  aman-goel

  committed
  fac9c3b

Commits on Aug 26, 2024

• Stash temp changes

  aman-goel

  committed
  48518dc

• Minor correction

  aman-goel

  committed
  8364cc2

Commits on Aug 28, 2024

• Minor cleanup

  aman-goel

  committed
  289836f

Commits on Aug 29, 2024

• Minor fixes

  aman-goel

  committed
  bea68a0

Commits on Aug 30, 2024

• Correct negative decimal in btor

  aman-goel

  committed
  19b2395

• Minor

  aman-goel

  committed
  8caf71a

• Minor

  

  Ubuntu

  committed
  6513928

• Refactor

  aman-goel

  committed
  a8fe19a

• Static compile

  

  Ubuntu

  committed
  bd241b6

Commits on Aug 31, 2024

• Exp changes

  aman-goel

  committed
  4225df4

• Minor

  aman-goel

  committed
  2c867dc

Commits on Sep 1, 2024

• Stash changes

  

  Ubuntu

  committed
  c586805

Commits on Sep 9, 2024

• Correct long int overflow in decimal const parsing in btor2 frontend

  aman-goel

  committed
  43ab77e

Commits on Sep 10, 2024

• Correct int overflow in uf partial interpretation

  aman-goel

  committed
  d687a1b

• Minor updates

  

  Ubuntu

  committed
  170030a

• Minor correction

  aman-goel

  committed
  60b22cc