Commits

Commit history

1. Commits on Feb 22, 2015

   • Adding more related work

     andremm

     committed
     015345aView commit details

     Copy full SHA for 015345a

     View code at this pointBrowse repository at this point
2. Commits on Feb 21, 2015

   • Minor improvements to the discussion about evaluation results

     andremm

     committed
     b3cd2e1View commit details

     Copy full SHA for b3cd2e1

     View code at this pointBrowse repository at this point
3. Commits on Feb 19, 2015

   • Changing the evaluation categories to use percentages

     andremm

     committed
     2be9c5cView commit details

     Copy full SHA for 2be9c5c

     View code at this pointBrowse repository at this point

   • Typing LuaFileSystem and adding its evaluation results

     andremm

     committed
     8d111f5View commit details

     Copy full SHA for 8d111f5

     View code at this pointBrowse repository at this point
4. Commits on Feb 18, 2015

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

     andremm

     committed
     b19b7c7View commit details

     Copy full SHA for b19b7c7

     View code at this pointBrowse repository at this point
5. Commits on Feb 16, 2015

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

     andremm

     committed
     e826ad0View commit details

     Copy full SHA for e826ad0

     View code at this pointBrowse repository at this point

   • Quick fix to #42

     andremm

     committed
     218dac1View commit details

     Copy full SHA for 218dac1

     View code at this pointBrowse repository at this point
6. Commits on Feb 11, 2015

   • Updating type system appendix to include the projection environment

     andremm

     committed
     f4a0fb6View commit details

     Copy full SHA for f4a0fb6

     View code at this pointBrowse repository at this point

   • Improving the text about typing rules

     andremm

     committed
     9b9bd5dView commit details

     Copy full SHA for 9b9bd5d

     View code at this pointBrowse repository at this point
7. Commits on Feb 9, 2015

   • Adding regular table types to the text

     andremm

     committed
     2f81ba2View commit details

     Copy full SHA for 2f81ba2

     View code at this pointBrowse repository at this point
8. Commits on Feb 6, 2015

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

     andremm

     committed
     75839a6View commit details

     Copy full SHA for 75839a6

     View code at this pointBrowse repository at this point
9. Commits on Feb 3, 2015

   • Adding a pt_BR abstract

     andremm

     committed
     fe9b5e2View commit details

     Copy full SHA for fe9b5e2

     View code at this pointBrowse repository at this point
10. Commits on Feb 2, 2015

    • Minor improvements to the text about case studies

      andremm

      committed
      585e695View commit details

      Copy full SHA for 585e695

      View code at this pointBrowse repository at this point
11. Commits on Jan 31, 2015

    • Minor improvements to the text about related work

      andremm

      committed
      cab70c5View commit details

      Copy full SHA for cab70c5

      View code at this pointBrowse repository at this point
12. Commits on Jan 30, 2015

    • Some english revisions to the state of the art

      andremm

      committed
      705d404View commit details

      Copy full SHA for 705d404

      View code at this pointBrowse repository at this point
13. Commits on Jan 27, 2015

    • Improving the text about typing rules

      andremm

      committed
      c4c135eView commit details

      Copy full SHA for c4c135e

      View code at this pointBrowse repository at this point
14. Commits on Jan 24, 2015

    • Updating typing rules to use the projections environment

      andremm

      committed
      6e72096View commit details

      Copy full SHA for 6e72096

      View code at this pointBrowse repository at this point
15. Commits on Jan 23, 2015

    • Updating syntax documentation

      andremm

      committed
      03d28ceView commit details

      Copy full SHA for 03d28ce

      View code at this pointBrowse repository at this point

    • Adding filter types to the text about types and subtyping

      andremm

      committed
      a3fc57cView commit details

      Copy full SHA for a3fc57c

      View code at this pointBrowse repository at this point
16. Commits on Jan 22, 2015

    • Improvements to the text about OO and TLD

      andremm

      committed
      8491d27View commit details

      Copy full SHA for 8491d27

      View code at this pointBrowse repository at this point
17. Commits on Jan 21, 2015

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

      andremm

      committed
      9ee247aView commit details

      Copy full SHA for 9ee247a

      View code at this pointBrowse repository at this point
18. Commits on Jan 20, 2015

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

      andremm

      committed
      153b4d8View commit details

      Copy full SHA for 153b4d8

      View code at this pointBrowse repository at this point
19. Commits on Jan 15, 2015

    • Fixing the text about tables subtyping

      andremm

      committed
      ff23cf3View commit details

      Copy full SHA for ff23cf3

      View code at this pointBrowse repository at this point
20. Commits on Jan 14, 2015

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

      andremm

      committed
      97a76baView commit details

      Copy full SHA for 97a76ba

      View code at this pointBrowse repository at this point
21. Commits on Jan 13, 2015

    • Starting the presentation of typing rules with assignments

      andremm

      committed
      60b0c13View commit details

      Copy full SHA for 60b0c13

      View code at this pointBrowse repository at this point
22. Commits on Jan 12, 2015

    • Minor improvements to the text about subtyping

      andremm

      committed
      b8ffeb4View commit details

      Copy full SHA for b8ffeb4

      View code at this pointBrowse repository at this point
23. Commits on Jan 10, 2015

    • Minor improvements to the section about types

      andremm

      committed
      110e4ccView commit details

      Copy full SHA for 110e4cc

      View code at this pointBrowse repository at this point
24. Commits on Jan 8, 2015

    • Rewriting the conclusions and adding an abstract

      andremm

      committed
      61f09ddView commit details

      Copy full SHA for 61f09dd

      View code at this pointBrowse repository at this point
25. Commits on Jan 7, 2015

    • Minor improvements to the text about other projects

      andremm

      committed
      3f19578View commit details

      Copy full SHA for 3f19578

      View code at this pointBrowse repository at this point
26. Commits on Jan 6, 2015

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

      andremm

      committed
      f0b0380View commit details

      Copy full SHA for f0b0380

      View code at this pointBrowse repository at this point

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

      andremm

      committed
      b3e2859View commit details

      Copy full SHA for b3e2859

      View code at this pointBrowse repository at this point
27. Commits on Jan 5, 2015

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

      andremm

      committed
      b2caaf7View commit details

      Copy full SHA for b2caaf7

      View code at this pointBrowse repository at this point
28. Commits on Jan 4, 2015

    • Loading Lua Standard Library according to Lua version

      andremm

      committed
      de662e3View commit details

      Copy full SHA for de662e3

      View code at this pointBrowse repository at this point
29. Commits on Jan 2, 2015

    • Adding text about globals in the typing rules section

      andremm

      committed
      f61b489View commit details

      Copy full SHA for f61b489

      View code at this pointBrowse repository at this point
30. Commits on Jan 1, 2015

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

      andremm

      committed
      d28a586View commit details

      Copy full SHA for d28a586

      View code at this pointBrowse repository at this point