Katharina Ritter (57378103) at 12 Feb 00:18
Pretty revision
Katharina Ritter (0896e89c) at 14 Sep 13:07
Forgot to add this
Katharina Ritter (559720c2) at 24 Aug 09:49
Forgot to add this
Katharina Ritter (dfdc96ac) at 24 Aug 09:47
Gerneric stuff probably done
Katharina Ritter (d5f3efb0) at 12 Jul 17:55
worked on specific functions needed for minimal test
Katharina Ritter (04949ab1) at 05 Jul 17:15
last weeks work
Katharina Ritter (b9d5444c) at 08 Mar 11:12
Merge remote-tracking branch 'origin/jimple' into jimple
... and 1 more commit
Katharina Ritter (c18ab915) at 11 Jan 20:06
Created Concrete-, Generic- and Interpreter and started on Interpreter
... and 8 more commits
Katharina Ritter (906983bc) at 01 Jun 23:23
Finished ConcreteInterpreter and tests for it
Katharina Ritter (56eae7b3) at 12 May 20:05
using ArrowState and StateT
Katharina Ritter (8abdff3c) at 12 May 17:16
changed back to newtype
Katharina Ritter (0d13d1f3) at 12 May 17:15
added TODOs to make current work visible
... and 1 more commit
Katharina Ritter (7b29bcfb) at 15 Apr 14:06
added pointer expressions and store statement
Katharina Ritter (d71a1dd4) at 15 Apr 08:33
created tip folder
Katharina Ritter (e25c4006) at 15 Apr 08:18