patrick
/
plasp
Archived
1
0
Fork 0

Issues in example encoding #3

Closed
opened 2017-11-03 19:38:50 +01:00 by patrick · 0 comments
Owner

Martin mentioned that there are some minor issues in the example encoding.

The concern derived variables, which are not evaluated in the final time step, and the accidental inclusion of derived predicates in the inertia rules.

Martin mentioned that there are some minor issues in the example encoding. The concern derived variables, which are not evaluated in the final time step, and the accidental inclusion of derived predicates in the inertia rules.
patrick added this to the plasp 3.1.0 milestone 2017-11-03 19:38:50 +01:00
patrick self-assigned this 2017-11-03 19:38:50 +01:00
patrick added the
bug
label 2017-11-03 19:38:50 +01:00
This repo is archived. You cannot comment on issues.
No Milestone
No Assignees
1 Participants
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

0001-01-01

Dependencies

No dependencies set.

Reference: patrick/plasp#3
No description provided.