ruin.nu Git - proglang.git/search

]> ruin.nu Git - proglang.git/search

2006-03-15	Michael Andreen	better semantics and show div by zero errors earlier	commit \| commitdiff \| tree
2006-03-15	Michael Andreen	liftM	commit \| commitdiff \| tree
2006-03-15	Michael Andreen	more generic type declaration and evaluates input directly	commit \| commitdiff \| tree
2006-03-15	Michael Andreen	ErrorT instead..	commit \| commitdiff \| tree
2006-03-14	Michael Andreen	semantics and some more typing rules	commit \| commitdiff \| tree
2006-03-14	Michael Andreen	updating documentation	commit \| commitdiff \| tree
2006-03-14	Michael Andreen	updating documentation	commit \| commitdiff \| tree
2006-03-14	Michael Andreen	compiler seems to be working	commit \| commitdiff \| tree
2006-03-14	Michael Andreen	minor stuff	commit \| commitdiff \| tree
2006-03-14	Michael Andreen	smaller update	commit \| commitdiff \| tree
2006-03-14	Michael Andreen	merged changes to function branch	commit \| commitdiff \| tree
2006-03-14	Michael Andreen	CompInt, integrated compiler and interpreter for the...	commit \| commitdiff \| tree
2006-03-14	Michael Andreen	CompInt, integrated compiler and interpreter for the...	commit \| commitdiff \| tree
2006-03-14	Michael Andreen	most of the semantics added	commit \| commitdiff \| tree
2006-03-11	Michael Andreen	foldr and zip instead of my own function	commit \| commitdiff \| tree
2006-03-11	Michael Andreen	rejects functions without return statements	commit \| commitdiff \| tree
2006-03-11	Michael Andreen	Interpreter works	commit \| commitdiff \| tree
2006-03-11	Michael Andreen	interpreter compiles	commit \| commitdiff \| tree
2006-03-11	Michael Andreen	typechecker seems to work for function calls	commit \| commitdiff \| tree
2006-03-11	Michael Andreen	typechecking of functions added, not function calls...	commit \| commitdiff \| tree
2006-03-11	Michael Andreen	typechecker compiles and is compatible with old programs...	commit \| commitdiff \| tree
2006-03-11	Michael Andreen	parsing works	commit \| commitdiff \| tree
2006-03-11	Michael Andreen	added branch for implementing functions	commit \| commitdiff \| tree
2006-03-10	Michael Andreen	readBool now reads integer values, where 0 is false...	commit \| commitdiff \| tree
2006-03-10	Michael Andreen	added two new examples	commit \| commitdiff \| tree
2006-03-10	Michael Andreen	replace E with in	commit \| commitdiff \| tree
2006-03-10	Michael Andreen	major update of the natural deduction	commit \| commitdiff \| tree
2006-03-10	Michael Andreen	added constructor for declaration with default value	commit \| commitdiff \| tree
2006-03-02	Michael Andreen	introduced pushAndPop in the typechecker too	commit \| commitdiff \| tree
2006-03-02	Michael Andreen	added pushAndPop function to push and pop the scope	commit \| commitdiff \| tree
2006-03-02	Michael Andreen	removed NoType and EDefault and added assert	commit \| commitdiff \| tree
2006-03-01	Michael Andreen	fully functional and C99 (not C90) compliant output	commit \| commitdiff \| tree
2006-03-01	Michael Andreen	adding compiler	commit \| commitdiff \| tree
2006-03-01	Michael Andreen	interpreter seems to work	commit \| commitdiff \| tree
2006-03-01	Michael Andreen	initial commit of interpreter	commit \| commitdiff \| tree
2006-03-01	Michael Andreen	minor stuff	commit \| commitdiff \| tree
2006-02-28	Michael Andreen	smll stuff	commit \| commitdiff \| tree
2006-02-28	Michael Andreen	b not in scope	commit \| commitdiff \| tree
2006-02-28	Michael Andreen	support for scope	commit \| commitdiff \| tree
2006-02-28	Michael Andreen	added not	commit \| commitdiff \| tree
2006-02-27	Michael Andreen	minor stuff	commit \| commitdiff \| tree
2006-02-27	Michael Andreen	some restructuring	commit \| commitdiff \| tree
2006-02-27	Michael Andreen	typechecker finds redeclaration of a variable	commit \| commitdiff \| tree
2006-02-27	Michael Andreen	added some more typeerrors	commit \| commitdiff \| tree
2006-02-27	Michael Andreen	streamlined the binary operators	commit \| commitdiff \| tree
2006-02-26	Michael Andreen	moved modified Testsyntax to Typechecker to keep the...	commit \| commitdiff \| tree
2006-02-26	Michael Andreen	changed the documentation	commit \| commitdiff \| tree
2006-02-26	Michael Andreen	removed most shift/reduce conflicts by moving EAss...	commit \| commitdiff \| tree
2006-02-24	Michael Andreen	needed	commit \| commitdiff \| tree
2006-02-24	Michael Andreen	needed	commit \| commitdiff \| tree
2006-02-24	Michael Andreen	done?	commit \| commitdiff \| tree
2006-02-24	Michael Andreen	hopefully compiles properly	commit \| commitdiff \| tree
2006-02-24	Michael Andreen	typechecker compiles but can't be run	commit \| commitdiff \| tree
2006-02-24	Michael Andreen	more or less done with the syntx	commit \| commitdiff \| tree
2006-02-18	Michael Andreen	streamlining the abstract syntax	commit \| commitdiff \| tree
2006-02-16	Michael Andreen	updated syntax to use define	commit \| commitdiff \| tree
2006-02-10	Michael Andreen	Removed assignments as variables	commit \| commitdiff \| tree
2006-02-07	Michael Andreen	explained the shift/reduce conflicts	commit \| commitdiff \| tree
2006-02-07	Michael Andreen	moved comments to examples	commit \| commitdiff \| tree
2006-02-07	Michael Andreen	initial commit	commit \| commitdiff \| tree

A small C-ish language

RSS Atom