Code

Adding MOV related instructions#16

Code

Merged

shigoel merged 5 commits intoleanprover:mainleanprover/LNSym:mainfrom pennyannn:yppe/movpennyannn/LNSym-public:yppe/movCopy head branch name to clipboardFeb 22, 2024

+620-29

Commits

Commits on Feb 21, 2024

• Add Advanced_simd_modified_immediate (MOVI) instruction

  pennyannn

  committed
  d091e5a

• Add advanced simd scalar copy (DUP element scalar class)

  pennyannn

  committed
  3bf520e

• Add advanced simd copy

  pennyannn

  committed
  a3ada79

Commits on Feb 22, 2024

• Merge branch 'main' into yppe/mov

  shigoel

  authored
  f39fe84

• Prove away a 'sorry'

  shigoel

  committed
  1225eac