NilFoundation/zkllvm-assigner

Issues

• Add return value accessor to assigner

  #217 opened 7 months ago by aleasims
  4

• Implement return values for aggregated types

  #218 opened 7 months ago by aleasims
  0

• Add macro for printing LLVM entities to string

  #209 opened 7 months ago by aleasims
  0

• Missing includes

  #205 opened 7 months ago by aleasims
  0

• Pointer returned by `alloca` instruction is stored as constant

  #204 opened 7 months ago by aleasims
  0

• Refine include guards in all header files

  #213 opened 7 months ago by aleasims
  3

• Add TODO macros for more convenient aborting

  #207 opened 7 months ago by aleasims
  0

• Cleanup branches in this repository

  #185 opened 7 months ago by aleasims
  1

• Content of constant columns should not depend on input

  #186 opened 7 months ago by akokoshn
  2

• Cross-segment access in memory model

  #200 opened 8 months ago by aleasims
  0

• Memory model v2

  #172 opened 9 months ago by aleasims
  2

• Add int and uint arithmetics components

  #189 opened 8 months ago by nkaskov
  1

• Dynamic arithmetization parameters

  #187 opened 8 months ago by akokoshn
  1

• Column number 1 is hardcoded in the put_into_assignment function and pointer_into_assignment

  #190 opened a year ago by CblPOK-git
  0

• [Possible bug] sha2 block_type element comparison

  #188 opened 9 months ago by CblPOK-git
  1

• Assigner code refactoring and cleanup

  #180 opened 8 months ago by aleasims
  0

• Segfault on merkle tree.

  #178 opened 8 months ago by martun
  7

• More attractive public input parser error messages

  #170 opened 10 months ago by ETatuzova
  0

• Add support for the rest memory management intrinsics

  #166 opened 10 months ago by aleasims
  0

• Assigner fails to detect return pointer `sret` in circuit arguments

  #137 opened 10 months ago by aleasims
  0

• Assertion fails on load instruction with constant expression

  #68 opened 10 months ago by aleasims
  2

• ICmp does not work with signed values

  #153 opened a year ago by 0xThemis
  0

• Check if we can substitute spdlog with Boost::Log2

  #111 opened a year ago by nkaskov
  0

• Memory Model: pointer casts are not handled atm

  #147 opened a year ago by dkales
  0

• Assertion failed in `marshal_int_val` during constants initialization

  #101 opened a year ago by aleasims
  0

• Array pointers in circuit function input

  #127 opened a year ago by aleasims
  0

• Support overflow intrisics

  #116 opened a year ago by akokoshn
  0

• Handle curve25519 arithmetic operations

  #72 opened a year ago by CblPOK-git
  1

• Add sha2-512 intrinsic into parser

  #97 opened a year ago by CblPOK-git
  1

• Compatibility with zkbridge input

  #100 opened a year ago by CblPOK-git
  0

• Support ConstantExpr operands

  #108 opened a year ago by makxenov
  0

• Small changes to assigner due to changes in zk

  #107 opened a year ago by martun
  0

• Implement tracing of execution process

  #76 opened a year ago by aleasims
  0

• Plonk_variable now accepts AssigmentType as template parameter

  #89 opened a year ago by martun
  0

• Add bit composition/decomposition builtins

  #95 opened a year ago by nkaskov
  0

• Update non-native constants parsing

  #59 opened a year ago by nkaskov
  0

• Aggregate global variables are not handled

  #93 opened a year ago by makxenov
  0

• Unexpected content found while parsing character string

  #91 opened a year ago by CblPOK-git
  0

• Update hashes handling

  #85 opened a year ago by nkaskov
  0

• Support curve initialization from base field

  #87 opened a year ago by makxenov
  0

• Pallas curve multiplication segmetation fault

  #80 opened a year ago by CblPOK-git
  0

• Implement insertvalue and extractvalue instruction handling

  #83 opened a year ago by makxenov
  0

• Support memcpy+gep array initialization

  #78 opened a year ago by makxenov
  0

• Assertion fails on `undef` value in phi node

  #71 opened a year ago by aleasims
  0

• Enable sha verify example

  #73 opened a year ago by makxenov
  0

• Make diagnostics output on parsing IR more usable

  #69 opened a year ago by aleasims
  0

• Fix Integers support

  #65 opened a year ago by nkaskov
  0

• Support const char * in public input

  #62 opened a year ago by makxenov
  0

• Use custom assertions in assigner

  #60 opened a year ago by makxenov
  0

• Support pointers to structs

  #57 opened a year ago by CblPOK-git
  0