Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Feb 22, 2015

• Adding more related work

  andremm

  committed
  015345a

  Copy full SHA for 015345a

Commits on Feb 21, 2015

• Minor improvements to the discussion about evaluation results

  andremm

  committed
  b3cd2e1

  Copy full SHA for b3cd2e1

Commits on Feb 19, 2015

• Changing the evaluation categories to use percentages

  andremm

  committed
  2be9c5c

  Copy full SHA for 2be9c5c

• Typing LuaFileSystem and adding its evaluation results

  andremm

  committed
  8d111f5

  Copy full SHA for 8d111f5

Commits on Feb 18, 2015

• Minor improvements to the text about the informal overview of Typed Lua

  andremm

  committed
  b19b7c7

  Copy full SHA for b19b7c7

Commits on Feb 16, 2015

• Using capital letters to describe types in subtyping and consistent-subtyping

  andremm

  committed
  e826ad0

  Copy full SHA for e826ad0

• Quick fix to #42

  andremm

  committed
  218dac1

  Copy full SHA for 218dac1

Commits on Feb 11, 2015

• Updating type system appendix to include the projection environment

  andremm

  committed
  f4a0fb6

  Copy full SHA for f4a0fb6

• Improving the text about typing rules

  andremm

  committed
  9b9bd5d

  Copy full SHA for 9b9bd5d

Commits on Feb 9, 2015

• Adding regular table types to the text

  andremm

  committed
  2f81ba2

  Copy full SHA for 2f81ba2

Commits on Feb 6, 2015

• Minor improvements to abstract and adding a chapter to related work

  andremm

  committed
  75839a6

  Copy full SHA for 75839a6

Commits on Feb 3, 2015

• Adding a pt_BR abstract

  andremm

  committed
  fe9b5e2

  Copy full SHA for fe9b5e2

Commits on Feb 2, 2015

• Minor improvements to the text about case studies

  andremm

  committed
  585e695

  Copy full SHA for 585e695

Commits on Jan 31, 2015

• Minor improvements to the text about related work

  andremm

  committed
  cab70c5

  Copy full SHA for cab70c5

Commits on Jan 30, 2015

• Some english revisions to the state of the art

  andremm

  committed
  705d404

  Copy full SHA for 705d404

Commits on Jan 27, 2015

• Improving the text about typing rules

  andremm

  committed
  c4c135e

  Copy full SHA for c4c135e

Commits on Jan 24, 2015

• Updating typing rules to use the projections environment

  andremm

  committed
  6e72096

  Copy full SHA for 6e72096

Commits on Jan 23, 2015

• Updating syntax documentation

  andremm

  committed
  03d28ce

  Copy full SHA for 03d28ce

• Adding filter types to the text about types and subtyping

  andremm

  committed
  a3fc57c

  Copy full SHA for a3fc57c

Commits on Jan 22, 2015

• Improvements to the text about OO and TLD

  andremm

  committed
  8491d27

  Copy full SHA for 8491d27

Commits on Jan 21, 2015

• Improving the text about table types, aliases, and modules

  andremm

  committed
  9ee247a

  Copy full SHA for 9ee247a

Commits on Jan 20, 2015

• Improving the text about optional type annotations, function types, and union types

  andremm

  committed
  153b4d8

  Copy full SHA for 153b4d8

Commits on Jan 15, 2015

• Fixing the text about tables subtyping

  andremm

  committed
  ff23cf3

  Copy full SHA for ff23cf3

Commits on Jan 14, 2015

• Moving the discussion about multiple assignments before the discussion about refinement of table types

  andremm

  committed
  97a76ba

  Copy full SHA for 97a76ba

Commits on Jan 13, 2015

• Starting the presentation of typing rules with assignments

  andremm

  committed
  60b0c13

  Copy full SHA for 60b0c13

Commits on Jan 12, 2015

• Minor improvements to the text about subtyping

  andremm

  committed
  b8ffeb4

  Copy full SHA for b8ffeb4

Commits on Jan 10, 2015

• Minor improvements to the section about types

  andremm

  committed
  110e4cc

  Copy full SHA for 110e4cc

Commits on Jan 8, 2015

• Rewriting the conclusions and adding an abstract

  andremm

  committed
  61f09dd

  Copy full SHA for 61f09dd

Commits on Jan 7, 2015

• Minor improvements to the text about other projects

  andremm

  committed
  3f19578

  Copy full SHA for 3f19578

Commits on Jan 6, 2015

• Minor improvements to the text about typing TLC and other Lua projects

  andremm

  committed
  f0b0380

  Copy full SHA for f0b0380

• Minor improvements to the text about typing LuaSocket and random case studies

  andremm

  committed
  b3e2859

  Copy full SHA for b3e2859

Commits on Jan 5, 2015

• Minor improvements to the text about typing Lua Standard Library and MD5

  andremm

  committed
  b2caaf7

  Copy full SHA for b2caaf7

Commits on Jan 4, 2015

• Loading Lua Standard Library according to Lua version

  andremm

  committed
  de662e3

  Copy full SHA for de662e3

Commits on Jan 2, 2015

• Adding text about globals in the typing rules section

  andremm

  committed
  f61b489

  Copy full SHA for f61b489

Commits on Jan 1, 2015

• Moving the text about subtyping of unique and open table types back to the section about subtyping

  andremm

  committed
  d28a586

  Copy full SHA for d28a586