Commits

Commit history

1. Commits on Nov 9, 2017

   • minor tweak in .gitignore

     Show description for bc4fc6c
     

     Germán Delbianco

     committed
     bc4fc6cView commit details

     Copy full SHA for bc4fc6c

     Browse repository at this point

   • Updated README.md

     Show description for 431c4d4
     germanD

     authored
     431c4d4View commit details

     Copy full SHA for 431c4d4

     Browse repository at this point

   • moving to 8.7

     aleksnanevski

     committed
     3fd68d7View commit details

     Copy full SHA for 3fd68d7

     Browse repository at this point
2. Commits on Mar 28, 2017

   • minor tweaks in examples

     ilyasergey

     committed
     36c3b3cView commit details

     Copy full SHA for 36c3b3c

     Browse repository at this point

   • minor tweaks in examples

     ilyasergey

     committed
     7758fa7View commit details

     Copy full SHA for 7758fa7

     Browse repository at this point

   • Merge branch 'master' of github.com:imdea-software/htt

     ilyasergey

     committed
     85854e6View commit details

     Copy full SHA for 85854e6

     Browse repository at this point

   • more examples added

     ilyasergey

     committed
     c7017c8View commit details

     Copy full SHA for c7017c8

     Browse repository at this point

   • Refactorings

     ilyasergey

     committed
     044a0aaView commit details

     Copy full SHA for 044a0aa

     Browse repository at this point
3. Commits on Nov 24, 2015

   • Merge pull request #1 from imdea-software/ssr-1.5-alt

     Show description for 7286e59
     germanD

     committed
     7286e59View commit details

     Copy full SHA for 7286e59

     Browse repository at this point
4. Commits on Nov 23, 2015

   • some line-wrapping

     

     Germán Andrés Delbianco

     committed
     088abfaView commit details

     Copy full SHA for 088abfa

     Browse repository at this point

   • clenaup

     

     Germán Andrés Delbianco

     committed
     676dabeView commit details

     Copy full SHA for 676dabe

     Browse repository at this point
5. Commits on Nov 20, 2015

   • Alternative Makefile for ssr 1.5 + coq8.5b2

     Show description for 47e6279
     

     Germán Andrés Delbianco

     committed
     47e6279View commit details

     Copy full SHA for 47e6279

     Browse repository at this point
6. Commits on Aug 3, 2015

   • fixes

     ilyasergey

     committed
     97e2db9View commit details

     Copy full SHA for 97e2db9

     Browse repository at this point

   • fixes

     ilyasergey

     committed
     9838270View commit details

     Copy full SHA for 9838270

     Browse repository at this point

   • fixes

     ilyasergey

     committed
     0a06759View commit details

     Copy full SHA for 0a06759

     Browse repository at this point

   • fixes

     ilyasergey

     committed
     88218c2View commit details

     Copy full SHA for 88218c2

     Browse repository at this point

   • fixes

     ilyasergey

     committed
     6c845b2View commit details

     Copy full SHA for 6c845b2

     Browse repository at this point

   • fixes

     ilyasergey

     committed
     48b717eView commit details

     Copy full SHA for 48b717e

     Browse repository at this point

   • refactoring for ssreflect-1.5

     ilyasergey

     committed
     cb1500aView commit details

     Copy full SHA for cb1500a

     Browse repository at this point

   • refactoring for ssreflect-1.5

     ilyasergey

     committed
     8d6a258View commit details

     Copy full SHA for 8d6a258

     Browse repository at this point

   • refactoring for ssreflect-1.5

     ilyasergey

     committed
     bbd3cf2View commit details

     Copy full SHA for bbd3cf2

     Browse repository at this point
7. Commits on Mar 11, 2015

   • README changed

     ilyasergey

     committed
     7cb81afView commit details

     Copy full SHA for 7cb81af

     Browse repository at this point

   • README changed

     ilyasergey

     committed
     7e77e1dView commit details

     Copy full SHA for 7e77e1d

     Browse repository at this point
8. Commits on Aug 11, 2014

   • blah

     aleksnanevski

     committed
     c3a9b27View commit details

     Copy full SHA for c3a9b27

     Browse repository at this point
9. Commits on Mar 27, 2014

   • Removing duplicated exists (from old times) in array.v

     aleksnanevski

     committed
     acd9dc6View commit details

     Copy full SHA for acd9dc6

     Browse repository at this point

   • Some cleanup.

     aleksnanevski

     committed
     514a4c0View commit details

     Copy full SHA for 514a4c0

     Browse repository at this point
10. Commits on Mar 26, 2014

    • Added a canonical program for removing ghosts from conseq.

      aleksnanevski

      committed
      e294fecView commit details

      Copy full SHA for e294fec

      Browse repository at this point

    • Playing around.

      aleksnanevski

      committed
      57f2be5View commit details

      Copy full SHA for 57f2be5

      Browse repository at this point

    • Added a way to write postconditions that immediately signify that an exception can't be raised.

      aleksnanevski

      committed
      dc272deView commit details

      Copy full SHA for dc272de

      Browse repository at this point
11. Commits on Mar 25, 2014

    • Added some comments...

      aleksnanevski

      committed
      9852845View commit details

      Copy full SHA for 9852845

      Browse repository at this point

    • Clarify the automation issue; when we need bnd_* and try_* lemmas.

      aleksnanevski

      committed
      107a6aaView commit details

      Copy full SHA for 107a6aa

      Browse repository at this point

    • Some alpha-renamin

      aleksnanevski

      committed
      207d4c7View commit details

      Copy full SHA for 207d4c7

      Browse repository at this point

    • Added lemmas for ghost treatment.

      aleksnanevski

      committed
      1aa0977View commit details

      Copy full SHA for 1aa0977

      Browse repository at this point

    • Added notation for unary posts.

      aleksnanevski

      committed
      6310a41View commit details

      Copy full SHA for 6310a41

      Browse repository at this point

    • Added a file for linked lists, and Hoare logic lemmas for dealing with ghosts required for it.

      aleksnanevski

      committed
      962f0cdView commit details

      Copy full SHA for 962f0cd

      Browse repository at this point