aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorTrygve Laugstøl <trygvis@inamo.no>2019-06-12 21:53:26 +0200
committerTrygve Laugstøl <trygvis@inamo.no>2019-06-12 21:53:26 +0200
commitb2e87255d3d51956dc5da440e535ce2cee5c6f5b (patch)
tree903d5497c09e706a4c30e7b67c3624dbf0137cd2 /.gitignore
parentaa6697f9d669c821896c26bc8597ed68c79619c5 (diff)
downloadee-python-b2e87255d3d51956dc5da440e535ce2cee5c6f5b.tar.gz
ee-python-b2e87255d3d51956dc5da440e535ce2cee5c6f5b.tar.bz2
ee-python-b2e87255d3d51956dc5da440e535ce2cee5c6f5b.tar.xz
ee-python-b2e87255d3d51956dc5da440e535ce2cee5c6f5b.zip
souffle: Using the same relation for inputs and outputs was not a good
idea, change to use fact() for inputs and add_fact() for outputs. Leaves room for implementing remove_fact() later too.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions