Search results

Support for custom gadgets

AST

Crypto

enhancementNew feature or requestNew feature or request

Status: Open.

#84 In effectfully/tiny-lang;

· effectfully opened on Nov 19, 2020

What do we want the Core language to be?

AST

Status: Open.

#83 In effectfully/tiny-lang;

· effectfully opened on Aug 29, 2020

Derive instances for Existentials

Refactoring

Status: Open.

#80 In effectfully/tiny-lang;

· jakzale opened on Aug 4, 2020

How to handle unpackings?

Evaluation

Type

Status: Open.

#73 In effectfully/tiny-lang;

· effectfully opened on Apr 20, 2020

Benchmark field operations

Evaluation

Field

Performance

Status: Open.

#71 In effectfully/tiny-lang;

· effectfully opened on Apr 16, 2020

Allow arbitrary expressions in loop bounds

Important

Status: Open.

#69 In effectfully/tiny-lang;

· effectfully opened on Apr 13, 2020

What fields do we need?

Field

Status: Open.

#67 In effectfully/tiny-lang;

· effectfully opened on Apr 9, 2020

More efficient conversion of an integer to a field element

Field

Status: Open.

#57 In effectfully/tiny-lang;

· effectfully opened on Mar 26, 2020

Add Property Testing for the TinyLang.Field.TypeChecker

Test

Status: Open.

#56 In effectfully/tiny-lang;

· jakzale opened on Mar 26, 2020

Loops

AST

Important

Status: Open.

#54 In effectfully/tiny-lang;

· effectfully opened on Mar 25, 2020

Add the power operator to the language

Builtin

enhancementNew feature or requestNew feature or request

Evaluation

Test

Textual representation

Status: Open.

#46 In effectfully/tiny-lang;

· effectfully opened on Oct 28, 2019

Add constants

AST

enhancementNew feature or requestNew feature or request

Field

Status: Open.

#41 In effectfully/tiny-lang;

· effectfully opened on Oct 18, 2019