coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] dealing with setoid rewriting problems

From: Vadim Zaliva <vzaliva AT cmu.edu>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] dealing with setoid rewriting problems
Date: Mon, 30 Nov 2015 19:22:09 -0800
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=vadim.zaliva AT west.cmu.edu; spf=None smtp.mailfrom=vadim.zaliva AT west.cmu.edu; spf=None smtp.helo=postmaster AT mail-pa0-f43.google.com
Ironport-phdr: 9a23:QT3leRUh8oAERbb11yaXG+yv5pnV8LGtZVwlr6E/grcLSJyIuqrYZhGGt8tkgFKBZ4jH8fUM07OQ6PC9HzxRqsve+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq8CVM1QD2WX1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu3MRLkjVbFTEBghNmk04oWr6UiCHkOz4S4XVXxTmR5VCSDE6gv7V9H/qHjUrO14jReTMczzBYI9XTW85u8/Vg3hjCYZPhYy9XyRh8Bt2vEI6Cm9rgByltaHKLqeM+BzK/+McA==

On Nov 30, 2015, at 18:57 , Vadim Zaliva <vzaliva AT cmu.edu> wrote:

Any hints how to analyze the debug log? What should I look for? Here is partial log file:

http://bit.ly/1St2sZy

Here is a digest of a bigger log file, which shows the search tree:

http://bit.ly/1LK8n6Q

Sincerely,
Vadim Zaliva

CMU ECE PhD candidate

Mobile: +1(510)220-1060

Skype: vzaliva

[Coq-Club] dealing with setoid rewriting problems, Vadim Zaliva, 12/01/2015
- Re: [Coq-Club] dealing with setoid rewriting problems, Clément Pit--Claudel, 12/01/2015
  - Re: [Coq-Club] dealing with setoid rewriting problems, Vadim Zaliva, 12/01/2015
    - Re: [Coq-Club] dealing with setoid rewriting problems, Abhishek Anand, 12/01/2015
      - Re: [Coq-Club] dealing with setoid rewriting problems, Vadim Zaliva, 12/01/2015
        
        Re: [Coq-Club] dealing with setoid rewriting problems, Vadim Zaliva, 12/01/2015
        
        Re: [Coq-Club] dealing with setoid rewriting problems, James Lottes, 12/01/2015
        
        Re: [Coq-Club] dealing with setoid rewriting problems, Pierre Courtieu, 12/01/2015