diff options
author | tomsmeding <tom.smeding@gmail.com> | 2017-12-01 22:42:19 +0100 |
---|---|---|
committer | tomsmeding <tom.smeding@gmail.com> | 2017-12-01 22:42:19 +0100 |
commit | c0078e855880df91896ed0953bb5c07441dbc72f (patch) | |
tree | 1ee24323826855de6836bd9ba6e3e610e16a4a60 /README.md | |
parent | be8e209956b3f93b181eb730c743a6d72ddfbbb3 (diff) |
STUFF
This was lying around and I didn't want to not back this up
to the server. Was apparently in the middle of testing the
lifetime analysis module.
I believe the terminal output for many input programs indicates
that the two lifetime analysis modules do not agree.....
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/README.md b/README.md new file mode 100644 index 0000000..2fdac90 --- /dev/null +++ b/README.md @@ -0,0 +1 @@ +Please note that this project is not done. There is unfinished code, the lifetime analysis module is not working completely correctly at the time of writing, and in general there are features not implemented. This git repo is not meant to show off a finished product! |