andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

- More serious problem found.

Browse Source
This commit is contained in:
ccremers 2004-10-14 14:33:22 +00:00
parent 123b12a1c0
commit 9ac12f9198
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/todo.txt
View File

@ -4,6 +4,8 @@
problem with branching. We should not look for PK(X), even if X is a problem with branching. We should not look for PK(X), even if X is a
variable. Priority should go to keys of which the constructor is not in M_0, variable. Priority should go to keys of which the constructor is not in M_0,
maybe that heuristic works. maybe that heuristic works.
However, there seems to be an infinite loop for this in the algorithm, which
I did not anticipate. Investigate!
- Make different error codes for compilation error/ other error. This can be - Make different error codes for compilation error/ other error. This can be
useful for scripts. However, it might shift some constants for the Elegast useful for scripts. However, it might shift some constants for the Elegast
scripts. scripts.