started variable time stepping branch
working on property evaluation for variable time stepping
working on pinterval check
working on evaluation of interval
working on evaluation of interval
working on evaluation of interval
working on evaluation of interval
working on evaluation of interval
working on evaluation of interval
working on evaluation of interval
working on evaluation of interval
fix: wrong check for p-violation
- fix: paramters for evaluate_formula
- updated format for print_scheduled_goals
- fix: arity of sg() in schedule
- using EndTime for whole evaluation chain starting from evaluation_step
- fix: using EndTime from call rather than from schedule
- fix: rewriting schedule EndTime info
- tests work for unnested until
started tests for dependency graph construction
started tests for dependency graph construction
started tests for dependency graph construction
- renamed time dependency test stuff
- integrated SSA construction
test works for checking whether term is affected by action
fix: wron parameter signature in call to occur