search

swtv-kaist / cs458-fall22

1 stars 0 forks source link

QF_LIA integer? #39

Open bltnynk opened 1 year ago

bltnynk commented 1 year ago

I don't know if I could ask this, but for QF_LIA logic, is there integer 64 bit?

moonzoo commented 1 year ago

An integer in LIA can be arbitrarily large (i.e., not restricted by bit width).