cairo-vm

cairo-vm copied to clipboard

We're facing a few limitations with running in GitHub-hosted workers, namely: - Benchmarks' results are less stable due to unpredictable environment; - Builds are slower due to inability to cache...

Oppen

Currently in the parsing the type (felt, felt*, felt**) of the references is not being used, this must be polished to have a tidier parsing of the grammar.

entropidelic

Add documentation about the grammar being parsed in the reference values and link the documentation in the comments at the beginning of the parser.

entropidelic

Use binary search for find_element functions

3

Juan-M-V

Install deps should use pip3?

3

I am pretty sure the make deps is not working... we should be using pip3. Please correct me if I'm wrong https://github.com/lambdaclass/cleopatra_cairo/blob/main/Makefile#L45-L48

unbalancedparentheses

Evaluate implementing tail-call optimization

2

Cairo programs tend to rely heavily on recursion. A common optimization in languages with similar behavior is converting tail calls into jumps. It's not certain that it makes sense or...

Oppen

See if we can use fixed (or at least bounded) size representations

2

Research whether there's a bound to the prime defining the field and use that to check whether we can use a smaller big integer implementation that can be allocated on...

Oppen

Chore: Separate each builtin into a different file

5

# Separate each builtin into a different file ## Description Issue #195 - Moves the implementation of each builtin runner into its own file. - Export paths remain unchanged. -...

PartyLich

Fix compare_trace_memory to overlook non-cairo files with cairo in their name

1

Currently, when compare_vm_state.sh looks for .cairo programs, it also grabs any file or directory with the word cairo in the name, which is not the intended behaviour.

fmoletta

Move ApTracking logic from runtime to parsing

1

entropidelic