tsani/goto

Issues

• Assigning to an array resets its length

  #136 opened 8 years ago
  0

• Arrays are not initialized properly

  #135 opened 8 years ago
  1

• Disagreement between runtime make and Vigil make

  #134 opened 8 years ago
  0

• Stack depression for locals is larger than necessary

  #133 opened 8 years ago
  0

• Invalid code: move immediate directly into bss

  #132 opened 8 years ago
  0

• Floating point instruction generation

  #131 opened 8 years ago
  0

• Labels issued immediately one after the other get the same name

  #130 opened 8 years ago
  0

• Invalid code: test 1, 1

  #129 opened 8 years ago
  0

• String literals contain literal escape sequences

  #128 opened 8 years ago
  0

• Hello world segfaults on printing

  #127 opened 8 years ago
  1

• from_cstr is not called with a pointer argument

  #126 opened 8 years ago
  0

• 16-byte stack alignment is not guaranteed upon calling functions

  #125 opened 8 years ago
  2

• Final report

  #124 opened 8 years ago
  0

• Add the make() builtin to the runtime

  #123 opened 8 years ago
  0

• Truth is undefined !

  #122 opened 8 years ago
  2

• Pretty-print VirtualAsm

  #121 opened 8 years ago
  1

• Properly simplify builtins

  #120 opened 8 years ago
  0

• Type in calls to make is thrown away at simplification

  #119 opened 8 years ago
  0

• Builtins cannot be redeclared, but should.

  #118 opened 8 years ago
  0

• ELF file generation

  #117 opened 8 years ago
  0

• Runtime

  #116 opened 8 years ago
  1

• Register allocation

  #115 opened 8 years ago
  0

• Code generation for Vigil

  #114 opened 8 years ago
  0

• Make chained short-circuits use the same temporary

  #113 opened 8 years ago
  0

• Extraneous temporaries are generated around short-circuiting operations

  #112 opened 8 years ago
  0

• Redeclarations result in unknown types despite correctly typechecking

  #111 opened 8 years ago
  0

• Generalize JumpVariant

  #110 opened 8 years ago
  0

• Blank identifiers are declared

  #109 opened 8 years ago
  1

• Boolean binary connectives do not short-circuit

  #108 opened 8 years ago
  1

• Cannot use calls, conversions and other stuff in condexprs

  #107 opened 8 years ago
  0

• Aliases of indexable types are not indexable

  #106 opened 8 years ago
  0

• Write pretty instances for Vigil

  #105 opened 8 years ago
  0

• Simplification of for loops is unsound

  #104 opened 8 years ago
  0

• Simplification should generate global identifiers

  #103 opened 8 years ago
  0

• Identifiers are declared too early

  #102 opened 8 years ago
  0

• Renaming phase for identifiers during typechecking

  #101 opened 8 years ago
  0

• Simplification

  #100 opened 8 years ago
  1

• Rework overall module structure

  #99 opened 8 years ago
  0

• Use explicit import and export lists in all modules

  #98 opened 8 years ago
  0

• IncDec of non-int types is unsupported

  #97 opened 8 years ago
  1

• Blocks don't introduce new scopes

  #96 opened 8 years ago
  1

• Blank identifier should always "be in scope"

  #95 opened 8 years ago
  0

• Blank identifiers are declared

  #94 opened 8 years ago
  0

• Make does not validate the kind of its type argument.

  #93 opened 8 years ago
  0

• Call synthesizing might cause additional errors when the first parameter is not in scope

  #92 opened 8 years ago
  0

• Various compound statements do not have their own scope.

  #91 opened 8 years ago
  0

• Switch cases do not have their own scope

  #90 opened 8 years ago
  0

• Typechecker tests

  #89 opened 8 years ago
  0

• Implement a quasiquoter for generating typecheckable syntax trees for tests

  #88 opened 8 years ago
  0

• Call without type is broken

  #87 opened 8 years ago
  0