Skip to content
Permalink
Branch: master
Commits on Dec 8, 2017
  1. changing smt logic to UFLIA i.e. only allowing linear arithmetic. thi…

    quicquid committed Nov 4, 2017
    …s might impact proofs for cvc4/z3.
  2. tweak .gitignore

    damiendoligez authored and quicquid committed Nov 2, 2017
  3. git: ignore generated files

    damiendoligez authored and quicquid committed Nov 2, 2017
  4. update sany schema file

    quicquid committed Oct 3, 2017
  5. removed debugging output

    quicquid committed Dec 1, 2016
  6. adding more debug output

    quicquid committed Nov 29, 2016
  7. added verbose output

    quicquid committed Nov 29, 2016
  8. added cvc4 to tlapm.tla

    quicquid committed Nov 29, 2016
  9. added cygpath to cvc4 windows call (otherwise cvc4 does not find the …

    quicquid committed Nov 27, 2016
    …file and produces an empty outfile)
  10. make clean

    quicquid committed Nov 23, 2016
  11. adapted FunctionTheorems, NaturalInduction, and WellFoundedInduction …

    muenchnerkindl authored and quicquid committed Jul 31, 2016
    …to the new SMT backend
  12. fixed proof in AtomicBakery

    hvanz authored and quicquid committed Jun 13, 2016
  13. removed unsound rewriting rule

    hvanz authored and quicquid committed Jun 13, 2016
  14. new SMT backend

    hvanz authored and quicquid committed May 23, 2016
  15. added proof of Lamport's distributed mutual-exclusion algorithm

    merz authored and quicquid committed Jan 2, 2016
    git-svn-id: svn+ssh://inria/var/lib/svn/repository/tla@34699 76a6fc44-f60b-0410-a9a8-e67b0e8fc65c
  16. git-svn-id: svn+ssh://inria/var/lib/svn/repository/tla@34698 76a6fc44…

    merz authored and quicquid committed Sep 22, 2015
    …-f60b-0410-a9a8-e67b0e8fc65c
  17. fix outdated URLs in web site's Home page

    doligez authored and quicquid committed Sep 10, 2015
    git-svn-id: svn+ssh://inria/var/lib/svn/repository/tla@34697 76a6fc44-f60b-0410-a9a8-e67b0e8fc65c
  18. update web site for release

    doligez authored and quicquid committed Jun 15, 2015
    git-svn-id: svn+ssh://inria/var/lib/svn/repository/tla@34696 76a6fc44-f60b-0410-a9a8-e67b0e8fc65c
  19. bump version number and change location of cyggmp-3.dll

    doligez authored and quicquid committed Jun 9, 2015
    git-svn-id: svn+ssh://inria/var/lib/svn/repository/tla@34695 76a6fc44-f60b-0410-a9a8-e67b0e8fc65c
  20. add installer code for GMP dll -- untested

    doligez authored and quicquid committed Jun 8, 2015
    git-svn-id: svn+ssh://inria/var/lib/svn/repository/tla@34693 76a6fc44-f60b-0410-a9a8-e67b0e8fc65c
  21. disable obsolete test

    doligez authored and quicquid committed May 24, 2015
    git-svn-id: svn+ssh://inria/var/lib/svn/repository/tla@34690 76a6fc44-f60b-0410-a9a8-e67b0e8fc65c
  22. remove outdated cygwin version restriction

    doligez authored and quicquid committed May 24, 2015
    git-svn-id: svn+ssh://inria/var/lib/svn/repository/tla@34689 76a6fc44-f60b-0410-a9a8-e67b0e8fc65c
  23. update version number for release

    doligez authored and quicquid committed May 24, 2015
    git-svn-id: svn+ssh://inria/var/lib/svn/repository/tla@34688 76a6fc44-f60b-0410-a9a8-e67b0e8fc65c
Older
You can’t perform that action at this time.