Model-checker upgrades

Alessandro Tempia Calvinorequested to merge
alessandro_branch into master
  • Pragma selection in the verification window
  • Pragma queries and concurrency in CLI
  • Re-initialization analysis
  • Better concurrency management
  • Full concurrency option verification

Merge request reports