chancehudson/ashlang

Issues

• Export the r1cs witness calculator functions as an ashlang program

  #66 opened a month ago by chancehudson
  0

• ashlang: binary compile target

  #65 opened 2 months ago by chancehudson
  0

• ring-math: use native integers for polynomial norms when possible

  #64 opened 3 months ago by chancehudson
  1

• Dump AST to text file

  #63 opened 3 months ago by chancehudson
  0

• Output metadata to IR

  #61 opened 3 months ago by chancehudson
  0

• Documentation system for functions

  #62 opened 3 months ago by chancehudson
  0

• More concise API for making proofs

  #59 opened 3 months ago by chancehudson
  1

• Variable type for polynomial ring structures

  #54 opened 4 months ago by chancehudson
  0

• Macro functions

  #31 opened 5 months ago by chancehudson
  1

• `return` keyword

  #3 opened 4 months ago by chancehudson
  1

• Show full function include path and extension in logs

  #46 opened 4 months ago by chancehudson
  0

• Variables dimensions should match during re-assignment

  #53 opened 4 months ago by chancehudson
  0

• Build fails on rustc `1.80.0` on machines will little memory (e.g. ci)

  #38 opened 4 months ago by chancehudson
  2

• Support parentheses in expressions

  #25 opened 5 months ago by chancehudson
  0

• Circular function dependence causes infinite recursion

  #14 opened 5 months ago by chancehudson
  0

• [r1cs] language feature tracking

  #27 opened 4 months ago by chancehudson
  1

• [tasm] language feature tracking

  #4 opened 4 months ago by chancehudson
  1

• Execute `ar1cs` functions in `tasm` target

  #34 opened 5 months ago by chancehudson
  4

• [tasm] Possible to access an index greater than vector length

  #26 opened 5 months ago by chancehudson
  2

• Flexibility in `ar1cs` syntax

  #36 opened 5 months ago by chancehudson
  0

• [tasm] preload memory values in triton-vm

  #10 opened 5 months ago by chancehudson
  0

• [tasm] dynamically determine how much memory each function needs/uses

  #11 opened 5 months ago by chancehudson
  0

• [tasm] Unroll loops of static length

  #19 opened 5 months ago by chancehudson
  0

• [tasm] Disallow memory return types

  #12 opened 5 months ago by chancehudson
  0

• [r1cs] constraint that verifies the field being proven in

  #29 opened 5 months ago by chancehudson
  0

• Order of operations is not respected

  #24 opened 5 months ago by chancehudson
  0

• Conditional compilation/features

  #23 opened 5 months ago by chancehudson
  0

• [tasm] Allow assembly functions to specify arguments of dynamic length

  #15 opened 5 months ago by chancehudson
  0

• `&` operator for passing values by reference

  #13 opened 5 months ago by chancehudson
  0

• Allow variable types in functions

  #8 opened 5 months ago by chancehudson
  1

• Memory pointer handling

  #9 opened 5 months ago by chancehudson
  0

• compiler linter

  #6 opened 6 months ago by chancehudson
  0