| Thu, 04 Jun 2015 15:31:09 +0200 |
Markus Kaiser |
add lectures
default tip
|
| Sun, 24 May 2015 17:19:18 +0200 |
Markus Kaiser |
forget stuff which got moved to git
|
| Tue, 19 May 2015 14:39:50 +0200 |
Markus Kaiser |
fiddle with test scripts
|
| Tue, 19 May 2015 14:39:37 +0200 |
Markus Kaiser |
ignore project folder
|
| Fri, 08 May 2015 17:40:31 +0200 |
Markus Kaiser |
finish proposal
|
| Fri, 08 May 2015 15:49:37 +0200 |
Markus Kaiser |
project framework
|
| Mon, 04 May 2015 19:19:18 +0200 |
Markus Kaiser |
make the varset implicit
|
| Sun, 03 May 2015 15:31:00 +0200 |
Markus Kaiser |
retab
|
| Sun, 03 May 2015 15:26:16 +0200 |
Markus Kaiser |
add --print switch; remove fixed todo
|
| Fri, 01 May 2015 13:12:47 +0200 |
Markus Kaiser |
fix the warnings reported by lint
|
| Thu, 30 Apr 2015 21:47:05 +0200 |
Markus Kaiser |
more implicitness
|
| Thu, 30 Apr 2015 21:43:54 +0200 |
Markus Kaiser |
make things more implicit
|
| Sat, 25 Apr 2015 23:46:24 +0200 |
Markus Kaiser |
formatting
|
| Sat, 25 Apr 2015 23:22:02 +0200 |
Markus Kaiser |
formatting
|
| Sat, 25 Apr 2015 23:18:36 +0200 |
Markus Kaiser |
allow printing with and without types
|
| Sat, 25 Apr 2015 23:04:24 +0200 |
Markus Kaiser |
NotP is a special case and may not contain ExpressionP
|
| Sat, 25 Apr 2015 23:04:03 +0200 |
Markus Kaiser |
special test for the two special cases in the parser
|
| Sat, 25 Apr 2015 22:52:42 +0200 |
Markus Kaiser |
more testing!
|
| Sat, 25 Apr 2015 22:52:35 +0200 |
Markus Kaiser |
cafebabe lib
|
| Sat, 25 Apr 2015 22:51:36 +0200 |
Markus Kaiser |
silent diff
|
| Sat, 25 Apr 2015 22:51:28 +0200 |
Markus Kaiser |
Parse (a / b * c) to Times(Div(a, b), c), not Div(a, Times(b, c))
|
| Sat, 25 Apr 2015 22:34:57 +0200 |
Markus Kaiser |
add missing Goto(after)s
|
| Sat, 25 Apr 2015 22:34:36 +0200 |
Markus Kaiser |
TMethod broke the equality check
|
| Sat, 25 Apr 2015 22:34:25 +0200 |
Markus Kaiser |
we also need to typecheck NewIntArray
|
| Sat, 25 Apr 2015 22:33:48 +0200 |
Markus Kaiser |
fiddle with test scripts
|
| Sat, 25 Apr 2015 21:49:03 +0200 |
Markus Kaiser |
first implementation of code generation
|
| Tue, 21 Apr 2015 14:41:29 +0200 |
Markus Kaiser |
add name checking reference
|
| Tue, 21 Apr 2015 10:17:37 +0200 |
Markus Kaiser |
name test
|
| Sat, 18 Apr 2015 20:56:59 +0200 |
Markus Kaiser |
finish typechecker
|
| Sat, 18 Apr 2015 19:29:44 +0200 |
Markus Kaiser |
start of typechecker
|
| Sat, 18 Apr 2015 19:29:38 +0200 |
Markus Kaiser |
Output Type information
|
| Sat, 18 Apr 2015 19:28:39 +0200 |
Markus Kaiser |
be consistent in currying ctx; restrict visibility of internal methods
|
| Fri, 17 Apr 2015 14:09:12 +0200 |
Markus Kaiser |
typechecking framework
|
| Fri, 17 Apr 2015 14:06:46 +0200 |
Markus Kaiser |
fix test script
|
| Fri, 17 Apr 2015 14:06:34 +0200 |
Markus Kaiser |
style
|
| Fri, 17 Apr 2015 14:06:22 +0200 |
Markus Kaiser |
fix lookupMethod and lookupVar for classes to include parents
|
| Fri, 17 Apr 2015 14:06:08 +0200 |
Markus Kaiser |
output annotation for this
|
| Mon, 13 Apr 2015 13:36:31 +0200 |
Markus Kaiser |
fill argList too
|
| Mon, 13 Apr 2015 13:36:26 +0200 |
Markus Kaiser |
whitespace
|
| Wed, 08 Apr 2015 23:43:32 +0200 |
Markus Kaiser |
style
|
| Wed, 08 Apr 2015 23:33:38 +0200 |
Markus Kaiser |
add warning for unused classes and variables
|
| Wed, 08 Apr 2015 22:57:45 +0200 |
Markus Kaiser |
name testprogram
|
| Wed, 08 Apr 2015 22:57:39 +0200 |
Markus Kaiser |
finish first implementation of name checking
|
| Wed, 08 Apr 2015 18:37:24 +0200 |
Markus Kaiser |
more name analyzing
|
| Wed, 08 Apr 2015 14:47:22 +0200 |
Markus Kaiser |
whitespace
|
| Wed, 08 Apr 2015 14:46:53 +0200 |
Markus Kaiser |
start implementing name checking
|
| Wed, 08 Apr 2015 12:59:28 +0200 |
Markus Kaiser |
names framework
|
| Wed, 08 Apr 2015 12:59:23 +0200 |
Markus Kaiser |
debugging script
|
| Wed, 08 Apr 2015 12:56:06 +0200 |
Markus Kaiser |
koolc is more than lab2
|
| Fri, 27 Mar 2015 11:15:26 +0100 |
Markus Kaiser |
fix cli parsing
|
| Thu, 26 Mar 2015 13:06:29 +0100 |
Markus Kaiser |
add plugins from stubs
|
| Thu, 26 Mar 2015 13:02:47 +0100 |
Markus Kaiser |
remove orig files
|
| Thu, 26 Mar 2015 13:01:59 +0100 |
Markus Kaiser |
we do not use the SLRGrammar stuff
|
| Thu, 26 Mar 2015 13:01:24 +0100 |
Markus Kaiser |
comments
|
| Tue, 24 Mar 2015 22:24:25 +0100 |
Markus Kaiser |
add ast parameters
|
| Tue, 24 Mar 2015 22:24:17 +0100 |
Markus Kaiser |
identifiers start with a letter
|
| Tue, 24 Mar 2015 22:24:10 +0100 |
Markus Kaiser |
Boolean should be Bool
|
| Tue, 24 Mar 2015 22:23:56 +0100 |
Markus Kaiser |
new reference implementation
|
| Tue, 24 Mar 2015 21:46:40 +0100 |
Markus Kaiser |
move lexer inputs to test folder
|
| Tue, 24 Mar 2015 21:42:02 +0100 |
Markus Kaiser |
comment
|
