j-baker/l1c

Issues

• Frontend

  #12 opened 9 years ago
  0

• Pretty printer for vsm0 syntax

  #11 opened 9 years ago
  0

• Write compiler from L1 to vsm0 (chaining compilers) + proof of correctness

  #10 opened 9 years ago
  1

• Proof of correctness from IL2 to vsm0

  #9 opened 9 years ago
  1

• Write compiler from il2 to vsm0

  #8 opened 9 years ago
  1

• Formalise semantics of vsm0 (or slight modification)

  #7 opened 9 years ago
  1

• Write unit tests for the parser

  #6 opened 9 years ago
  0

• Add continuous integration

  #5 opened 9 years ago
  1

• Write lexer

  #4 opened 9 years ago
  0

• Write parser

  #3 opened 9 years ago
  0

• Refactor of semantics and proofs

  #2 opened 9 years ago
  1

• Correctness theorem L1-IL1 is only in one direction

  #1 opened 9 years ago
  0