Commits

Commit history

1. Commits on Feb 25, 2015

   • Adding test case of #52

     andremm

     committed
     7d13a2eView commit details

     Copy full SHA for 7d13a2e

     Browse repository at this point

   • Merge pull request #53 from hishamhm/if-idx

     Show description for 9c8882a
     andremm

     committed
     9c8882aView commit details

     Copy full SHA for 9c8882a

     Browse repository at this point

   • Updating tests after merge

     andremm

     committed
     817898fView commit details

     Copy full SHA for 817898f

     Browse repository at this point

   • Merge pull request #48 from hishamhm/line-numbers

     Show description for d57ce21
     andremm

     committed
     d57ce21View commit details

     Copy full SHA for d57ce21

     Browse repository at this point

   • Only apply filter if type is found.

     Show description for e57648c
     hishamhm

     committed
     e57648cView commit details

     Copy full SHA for e57648c

     Browse repository at this point
2. Commits on Feb 23, 2015

   • Output keys as t.x, not t["x"] whenever possible.

     Show description for c3de870
     hishamhm

     committed
     c3de870View commit details

     Copy full SHA for c3de870

     Browse repository at this point

   • Merge branch 'master' of https://github.com/andremm/typedlua into submitted-line-numbers

     hishamhm

     committed
     a09de06View commit details

     Copy full SHA for a09de06

     Browse repository at this point

   • Fixing #44, #49, and #51

     andremm

     committed
     78b0e67View commit details

     Copy full SHA for 78b0e67

     Browse repository at this point
3. Commits on Feb 22, 2015

   • Adding more related work

     andremm

     committed
     015345aView commit details

     Copy full SHA for 015345a

     Browse repository at this point
4. Commits on Feb 21, 2015

   • Minor improvements to the discussion about evaluation results

     andremm

     committed
     b3cd2e1View commit details

     Copy full SHA for b3cd2e1

     Browse repository at this point
5. Commits on Feb 19, 2015

   • Changing the evaluation categories to use percentages

     andremm

     committed
     2be9c5cView commit details

     Copy full SHA for 2be9c5c

     Browse repository at this point

   • Fixing #46

     andremm

     committed
     9b741c1View commit details

     Copy full SHA for 9b741c1

     Browse repository at this point

   • Typing LuaFileSystem and adding its evaluation results

     andremm

     committed
     8d111f5View commit details

     Copy full SHA for 8d111f5

     Browse repository at this point
6. 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

     Browse repository at this point
7. Commits on Feb 17, 2015

   • Temporary fix to #41

     andremm

     committed
     8710aeaView commit details

     Copy full SHA for 8710aea

     Browse repository at this point

   • Merge pull request #43 from hishamhm/pathname

     Show description for aa60006
     andremm

     committed
     aa60006View commit details

     Copy full SHA for aa60006

     Browse repository at this point
8. Commits on Feb 16, 2015

   • Same in the bootstrap code

     hishamhm

     committed
     1a7c230View commit details

     Copy full SHA for 1a7c230

     Browse repository at this point

   • Use actual file path in error messages.

     Show description for dd25148
     hishamhm

     committed
     dd25148View commit details

     Copy full SHA for dd25148

     Browse repository at this point

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

     andremm

     committed
     e826ad0View commit details

     Copy full SHA for e826ad0

     Browse repository at this point

   • Match line numbers of output file with input file.

     Show description for 1ea28de
     hishamhm

     committed
     1ea28deView commit details

     Copy full SHA for 1ea28de

     Browse repository at this point

   • Add missing propagation of fmt

     hishamhm

     committed
     9bc04caView commit details

     Copy full SHA for 9bc04ca

     Browse repository at this point

   • Fix typo ident -> indent

     hishamhm

     committed
     c1c1bc1View commit details

     Copy full SHA for c1c1bc1

     Browse repository at this point

   • Rename i to fmt.

     Show description for e3dc72d
     hishamhm

     committed
     e3dc72dView commit details

     Copy full SHA for e3dc72d

     Browse repository at this point

   • Quick fix to #42

     andremm

     committed
     218dac1View commit details

     Copy full SHA for 218dac1

     Browse repository at this point

   • Merge pull request #41 from hishamhm/type-return-inference

     Show description for f57fbb0
     andremm

     committed
     f57fbb0View commit details

     Copy full SHA for f57fbb0

     Browse repository at this point

   • Merge pull request #40 from hishamhm/tld-table-syntax

     Show description for 14cc582
     andremm

     committed
     14cc582View commit details

     Copy full SHA for 14cc582

     Browse repository at this point

   • Merge pull request #39 from hishamhm/master

     Show description for 8b0b516
     andremm

     committed
     8b0b516View commit details

     Copy full SHA for 8b0b516

     Browse repository at this point

   • Stronger inference in "if" test.

     Show description for 83661b5
     hishamhm

     committed
     83661b5View commit details

     Copy full SHA for 83661b5

     Browse repository at this point

   • Support "," in the end of a table, like Lua.

     Show description for 340154f
     hishamhm

     committed
     340154fView commit details

     Copy full SHA for 340154f

     Browse repository at this point

   • Ensure only filename extensions are replaced.

     Show description for 52e36b8
     hishamhm

     committed
     52e36b8View commit details

     Copy full SHA for 52e36b8

     Browse repository at this point
9. Commits on Feb 11, 2015

   • Updating type system appendix to include the projection environment

     andremm

     committed
     f4a0fb6View commit details

     Copy full SHA for f4a0fb6

     Browse repository at this point

   • Improving the text about typing rules

     andremm

     committed
     9b9bd5dView commit details

     Copy full SHA for 9b9bd5d

     Browse repository at this point
10. Commits on Feb 9, 2015

    • Adding regular table types to the text

      andremm

      committed
      2f81ba2View commit details

      Copy full SHA for 2f81ba2

      Browse repository at this point
11. 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

      Browse repository at this point
12. Commits on Feb 3, 2015

    • Adding a pt_BR abstract

      andremm

      committed
      fe9b5e2View commit details

      Copy full SHA for fe9b5e2

      Browse repository at this point