Model-checker updates

Alessandro Tempia Calvinorequested to merge
alessandro_branch into master
  • Fixed negative number representation
  • A new more flexible pragma syntax checker
  • Updates to the documentation
  • Better attributes sharing and constant removal
  • Memory fix for leadsTo pragmas
  • New tests

Merge request reports