Repository navigation

Commits

Commits on Apr 4, 2015
- Update README.md
  hishamhm
  committed
  d3287bc
Commits on Mar 25, 2015
- Adding missing appendix
  andremm
  committed
  6e1a2ff
Commits on Mar 23, 2015
- Final touches before sending to juries
  andremm
  committed
  fdd140f
Commits on Mar 22, 2015
- Adding some missing functions to the section about typing rules
  andremm
  committed
  cd56f61
- Minor fixes in the text
  andremm
  committed
  06cc534
- Adding a summary of the evalution results in the conclusions
  andremm
  committed
  98c8233
- Adding the script that finds popular modules based on dependencies
  andremm
  committed
  c11c055
- Improving conclusions
  andremm
  committed
  f57988b
Commits on Mar 19, 2015
- Fixing typos
  andremm
  committed
  433bd8b
- Removing the notation for fixed table types
  andremm
  committed
  7e1797a
Commits on Mar 18, 2015
- Very minor improvements to related work and conclusions
  andremm
  committed
  bce7440
- Minor improvements to the evaluation results
  andremm
  committed
  6e4bfc3
Commits on Mar 17, 2015
- Minor improvements to Chapter 4
  andremm
  committed
  636cc94
- Minor improvements to the last part of Chapter 3
  andremm
  committed
  284b401
Commits on Mar 16, 2015
- Minor improvements to the first part of Chapter 3
  andremm
  committed
  8e90038
- Rearranging the explanation of typing rules
  andremm
  committed
  bcfe93d
Commits on Mar 15, 2015
- Minor improvements to introduction, review and begining of typing rules
  andremm
  committed
  e469e2d
Commits on Mar 13, 2015
- Adding new styles to formalize the AST
  andremm
  committed
  1a6dca7
Commits on Mar 12, 2015
- Quick fix to #60
  andremm
  committed
  52ea7dc
Commits on Mar 11, 2015
- Even more improvements to the text about typing rules
  andremm
  committed
  454e36a
Commits on Mar 9, 2015
- More improvements to the text about typing rules
  andremm
  committed
  62e196f
- Fixing typing rules in the appendix
  andremm
  committed
  55625f8
Commits on Mar 8, 2015
- Resizing margins and removing several typing rules from the text
  andremm
  committed
  bed70c1
Commits on Mar 2, 2015
- Merge pull request #57 from hishamhm/integer-numeric-for
  andremm
  committed
  4b80e22
Commits on Mar 1, 2015
- Fix scoping and infer integers in numeric for.
  hishamhm
  committed
  f125bf4
Commits on Feb 26, 2015
- Fixing the section about typing rules to use capitals
  andremm
  committed
  e66693d
- Merge pull request #54 from hishamhm/and-or
  andremm
  committed
  9939714
Commits on Feb 25, 2015
- Improve inference of "and".
  hishamhm
  committed
  8935eb3
- Adding test case of #52
  andremm
  committed
  7d13a2e
- Merge pull request #53 from hishamhm/if-idx
  andremm
  committed
  9c8882a
- Updating tests after merge
  andremm
  committed
  817898f
- Merge pull request #48 from hishamhm/line-numbers
  andremm
  committed
  d57ce21
- Only apply filter if type is found.
  hishamhm
  committed
  e57648c
Commits on Feb 23, 2015
- Output keys as t.x, not t["x"] whenever possible.
  hishamhm
  committed
  c3de870
- Merge branch 'master' of https://github.com/andremm/typedlua into submitted-line-numbers
  hishamhm
  committed
  a09de06

Branch selector

User selector

Datepicker

Commit history

Commits on Apr 4, 2015

Commits on Mar 25, 2015

Commits on Mar 23, 2015

Commits on Mar 22, 2015

Commits on Mar 19, 2015

Commits on Mar 18, 2015

Commits on Mar 17, 2015

Commits on Mar 16, 2015

Commits on Mar 15, 2015

Commits on Mar 13, 2015

Commits on Mar 12, 2015

Commits on Mar 11, 2015

Commits on Mar 9, 2015

Commits on Mar 8, 2015

Commits on Mar 2, 2015

Commits on Mar 1, 2015

Commits on Feb 26, 2015

Commits on Feb 25, 2015

Commits on Feb 23, 2015