Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Errors in process filter

view this post on Zulip Email Gateway (Aug 17 2022 at 14:16):

From: kkgupta@iitg.ernet.in
Hi

I am getting these errors. Can any one please help me out. I am working on
proof reconstruction for linear arithematic on rationals under Prof.
stephan Merz. I am experimenting with the rv tactic and I get the
following errors.

  1. (error/warning) Error in process filter: (error Stack overflow in
    regexp matcher)

  2. (error/warning) Error in process filter: (error Variable binding depth
    exceeds max-specpdl-size)

Thanks in advance
Best Regards

KAMAL KANT GUPTA
B.tech Fourth Year
Computer Science And Engineering
Hostel Kapili
IIT Guwahati
Contact No.- +91-9954293077
Email-id:: kkgupta@iitg.ernet.in
mailtokkgupta@gmail.com

Last updated: May 03 2024 at 08:18 UTC