]>
ruin.nu Git - proglang.git/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Michael Andreen [Mon, 27 Nov 2006 11:58:48 +0000 (11:58 +0000)]
minor change
Michael Andreen [Wed, 15 Mar 2006 18:45:03 +0000 (18:45 +0000)]
small fix
Michael Andreen [Wed, 15 Mar 2006 16:20:05 +0000 (16:20 +0000)]
better semantics and show div by zero errors earlier
Michael Andreen [Wed, 15 Mar 2006 13:46:06 +0000 (13:46 +0000)]
liftM
Michael Andreen [Wed, 15 Mar 2006 12:35:18 +0000 (12:35 +0000)]
more generic type declaration and evaluates input directly
Michael Andreen [Wed, 15 Mar 2006 10:18:39 +0000 (10:18 +0000)]
ErrorT instead..
Michael Andreen [Tue, 14 Mar 2006 22:07:53 +0000 (22:07 +0000)]
semantics and some more typing rules
Michael Andreen [Tue, 14 Mar 2006 20:54:11 +0000 (20:54 +0000)]
updating documentation
Michael Andreen [Tue, 14 Mar 2006 20:54:11 +0000 (20:54 +0000)]
updating documentation
Michael Andreen [Tue, 14 Mar 2006 20:23:09 +0000 (20:23 +0000)]
compiler seems to be working
Michael Andreen [Tue, 14 Mar 2006 19:45:23 +0000 (19:45 +0000)]
minor stuff
Michael Andreen [Tue, 14 Mar 2006 19:40:43 +0000 (19:40 +0000)]
smaller update
Michael Andreen [Tue, 14 Mar 2006 18:08:37 +0000 (18:08 +0000)]
merged changes to function branch
Michael Andreen [Tue, 14 Mar 2006 17:29:20 +0000 (17:29 +0000)]
CompInt, integrated compiler and interpreter for the new century
Michael Andreen [Tue, 14 Mar 2006 17:29:07 +0000 (17:29 +0000)]
CompInt, integrated compiler and interpreter for the new century
Michael Andreen [Tue, 14 Mar 2006 16:53:17 +0000 (16:53 +0000)]
most of the semantics added
Michael Andreen [Sat, 11 Mar 2006 20:23:18 +0000 (20:23 +0000)]
foldr and zip instead of my own function
Michael Andreen [Sat, 11 Mar 2006 20:00:34 +0000 (20:00 +0000)]
rejects functions without return statements
Michael Andreen [Sat, 11 Mar 2006 17:48:20 +0000 (17:48 +0000)]
Interpreter works
Michael Andreen [Sat, 11 Mar 2006 14:15:08 +0000 (14:15 +0000)]
interpreter compiles
Michael Andreen [Sat, 11 Mar 2006 13:44:06 +0000 (13:44 +0000)]
typechecker seems to work for function calls
Michael Andreen [Sat, 11 Mar 2006 13:30:43 +0000 (13:30 +0000)]
typechecking of functions added, not function calls yet though
Michael Andreen [Sat, 11 Mar 2006 13:08:01 +0000 (13:08 +0000)]
typechecker compiles and is compatible with old programs while using the new state, still doesn't check functions though
Michael Andreen [Sat, 11 Mar 2006 12:41:35 +0000 (12:41 +0000)]
parsing works
Michael Andreen [Sat, 11 Mar 2006 10:59:37 +0000 (10:59 +0000)]
added branch for implementing functions
Michael Andreen [Fri, 10 Mar 2006 16:26:31 +0000 (16:26 +0000)]
readBool now reads integer values, where 0 is false and the rest is true, instead of True and False
Michael Andreen [Fri, 10 Mar 2006 11:02:24 +0000 (11:02 +0000)]
added two new examples
Michael Andreen [Fri, 10 Mar 2006 10:30:44 +0000 (10:30 +0000)]
replace E with in
Michael Andreen [Fri, 10 Mar 2006 10:01:30 +0000 (10:01 +0000)]
major update of the natural deduction
Michael Andreen [Fri, 10 Mar 2006 08:36:58 +0000 (08:36 +0000)]
added constructor for declaration with default value
Michael Andreen [Thu, 2 Mar 2006 20:41:09 +0000 (20:41 +0000)]
introduced pushAndPop in the typechecker too
Michael Andreen [Thu, 2 Mar 2006 19:48:59 +0000 (19:48 +0000)]
added pushAndPop function to push and pop the scope
Michael Andreen [Thu, 2 Mar 2006 19:29:32 +0000 (19:29 +0000)]
removed NoType and EDefault and added assert
Michael Andreen [Wed, 1 Mar 2006 19:21:40 +0000 (19:21 +0000)]
fully functional and C99 (not C90) compliant output
Michael Andreen [Wed, 1 Mar 2006 14:18:38 +0000 (14:18 +0000)]
adding compiler
Fredrik Möllerstrand [Wed, 1 Mar 2006 10:37:03 +0000 (10:37 +0000)]
YEAH
Michael Andreen [Wed, 1 Mar 2006 10:36:39 +0000 (10:36 +0000)]
interpreter seems to work
Michael Andreen [Wed, 1 Mar 2006 09:18:40 +0000 (09:18 +0000)]
initial commit of interpreter
Michael Andreen [Wed, 1 Mar 2006 07:55:32 +0000 (07:55 +0000)]
minor stuff
Fredrik Möllerstrand [Tue, 28 Feb 2006 21:01:44 +0000 (21:01 +0000)]
typing rules in documentation
Michael Andreen [Tue, 28 Feb 2006 10:12:44 +0000 (10:12 +0000)]
smll stuff
Michael Andreen [Tue, 28 Feb 2006 08:56:36 +0000 (08:56 +0000)]
b not in scope
Michael Andreen [Tue, 28 Feb 2006 08:52:54 +0000 (08:52 +0000)]
support for scope
Michael Andreen [Tue, 28 Feb 2006 08:03:56 +0000 (08:03 +0000)]
added not
Michael Andreen [Mon, 27 Feb 2006 21:11:24 +0000 (21:11 +0000)]
minor stuff
Michael Andreen [Mon, 27 Feb 2006 19:07:16 +0000 (19:07 +0000)]
some restructuring
Michael Andreen [Mon, 27 Feb 2006 13:47:05 +0000 (13:47 +0000)]
typechecker finds redeclaration of a variable
Michael Andreen [Mon, 27 Feb 2006 10:33:53 +0000 (10:33 +0000)]
added some more typeerrors
Michael Andreen [Mon, 27 Feb 2006 10:25:29 +0000 (10:25 +0000)]
streamlined the binary operators
Michael Andreen [Sun, 26 Feb 2006 21:26:14 +0000 (21:26 +0000)]
moved modified Testsyntax to Typechecker to keep the original one
Michael Andreen [Sun, 26 Feb 2006 21:11:54 +0000 (21:11 +0000)]
changed the documentation
Michael Andreen [Sun, 26 Feb 2006 20:50:51 +0000 (20:50 +0000)]
removed most shift/reduce conflicts by moving EAss from Exp3 to Exp and thus disallowing many constructs if parenthesis aren't used
Michael Andreen [Fri, 24 Feb 2006 14:38:31 +0000 (14:38 +0000)]
needed
Michael Andreen [Fri, 24 Feb 2006 12:05:14 +0000 (12:05 +0000)]
needed
Michael Andreen [Fri, 24 Feb 2006 12:04:35 +0000 (12:04 +0000)]
done?
Michael Andreen [Fri, 24 Feb 2006 11:55:49 +0000 (11:55 +0000)]
hopefully compiles properly
Michael Andreen [Fri, 24 Feb 2006 10:55:18 +0000 (10:55 +0000)]
typechecker compiles but can't be run
Michael Andreen [Fri, 24 Feb 2006 08:02:00 +0000 (08:02 +0000)]
more or less done with the syntx
Michael Andreen [Sat, 18 Feb 2006 14:25:25 +0000 (14:25 +0000)]
streamlining the abstract syntax
Michael Andreen [Thu, 16 Feb 2006 10:17:46 +0000 (10:17 +0000)]
updated syntax to use define
Michael Andreen [Fri, 10 Feb 2006 12:41:11 +0000 (12:41 +0000)]
Removed assignments as variables
Michael Andreen [Tue, 7 Feb 2006 10:51:45 +0000 (10:51 +0000)]
explained the shift/reduce conflicts
Michael Andreen [Tue, 7 Feb 2006 10:18:09 +0000 (10:18 +0000)]
moved comments to examples
Michael Andreen [Tue, 7 Feb 2006 09:51:45 +0000 (09:51 +0000)]
initial commit