Issues

• Add compatibility with BBCStepTester in the menhir lib version

  fabaindaiz/corewars-compiler#21 · Filter by author fabaindaiz opened on Nov 17, 2023

• Make a formalization in coq of the language

  fabaindaiz/corewars-compiler#19 · Filter by author fabaindaiz opened on Nov 2, 2023

• Add functions support

  enhancement
  fabaindaiz/corewars-compiler#13 · Filter by author fabaindaiz opened on Oct 12, 2023
  

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

  enhancement
  fabaindaiz/corewars-compiler#12 · Filter by author fabaindaiz opened on Oct 12, 2023
  

• Add static type checks

  enhancement
  fabaindaiz/corewars-compiler#11 · Filter by author fabaindaiz opened on Oct 12, 2023
  

• Define compilation pipeline

  enhancement
  fabaindaiz/corewars-compiler#10 · Filter by author fabaindaiz opened on Oct 12, 2023