← Back to branch summary

~tapaal-maintainers/tapaal/3.3

Viewing all changes in revision 942.

  • Committer: Jiri Srba
  • Date: 2017-09-06 12:36:00 UTC
  • mfrom: (941.1.1 tapaal)
  • Revision ID: srba.jiri@gmail.com-20170906123600-p19hp17uo9182wlo
merged in branch lp:~tapaal-contributor/tapaal/signed-integers-fix-1714815
allowing for negative constants in query expressions

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: