Search results

Add compatibility with BBCStepTester in the menhir lib version

Status: Open.

#21 In fabaindaiz/corewars-compiler;

· fabaindaiz opened on Nov 17, 2023

Make a formalization in coq of the language

Status: Open.

#19 In fabaindaiz/corewars-compiler;

· fabaindaiz opened on Nov 2, 2023

Add functions support

enhancementNew feature or requestNew feature or request

Status: Open.

#13 In fabaindaiz/corewars-compiler;

· fabaindaiz opened on Oct 12, 2023

Make a better parser (avoid only use of s-exps)

enhancementNew feature or requestNew feature or request

Status: Open.

#12 In fabaindaiz/corewars-compiler;

· fabaindaiz opened on Oct 12, 2023

Add static type checks

enhancementNew feature or requestNew feature or request

Status: Open.

#11 In fabaindaiz/corewars-compiler;

· fabaindaiz opened on Oct 12, 2023

Define compilation pipeline

enhancementNew feature or requestNew feature or request

Status: Open.

#10 In fabaindaiz/corewars-compiler;

· fabaindaiz opened on Oct 12, 2023