Thu, 03 Aug 2017 12:50:02 +0200 one single plugin for code type declarations avoids problems when bootstrapping new plugins over types which have been both declared concrete and abstract in their code historiy
haftmann [Thu, 03 Aug 2017 12:50:02 +0200] rev 66331
one single plugin for code type declarations avoids problems when bootstrapping new plugins over types which have been both declared concrete and abstract in their code historiy
Thu, 03 Aug 2017 12:50:01 +0200 uniform namespace handling for both concrete and abstract types, following 32e0da92c786
haftmann [Thu, 03 Aug 2017 12:50:01 +0200] rev 66330
uniform namespace handling for both concrete and abstract types, following 32e0da92c786
Thu, 03 Aug 2017 12:50:00 +0200 clarified
haftmann [Thu, 03 Aug 2017 12:50:00 +0200] rev 66329
clarified
Thu, 03 Aug 2017 12:49:59 +0200 corrected slip
haftmann [Thu, 03 Aug 2017 12:49:59 +0200] rev 66328
corrected slip
Thu, 03 Aug 2017 12:49:58 +0200 tuned
haftmann [Thu, 03 Aug 2017 12:49:58 +0200] rev 66327
tuned
Thu, 03 Aug 2017 12:49:57 +0200 work around weakness in export calculation when generating OCaml code
haftmann [Thu, 03 Aug 2017 12:49:57 +0200] rev 66326
work around weakness in export calculation when generating OCaml code
Thu, 03 Aug 2017 12:49:55 +0200 tuned
haftmann [Thu, 03 Aug 2017 12:49:55 +0200] rev 66325
tuned
Thu, 03 Aug 2017 23:43:17 +0200 pass option recommended by Andy Reynolds to CVC4 1.5 (released) or better
blanchet [Thu, 03 Aug 2017 23:43:17 +0200] rev 66324
pass option recommended by Andy Reynolds to CVC4 1.5 (released) or better
Thu, 03 Aug 2017 23:43:17 +0200 updated CVC4 component to official 1.5 release
blanchet [Thu, 03 Aug 2017 23:43:17 +0200] rev 66323
updated CVC4 component to official 1.5 release
Thu, 03 Aug 2017 23:06:36 +0200 merged
paulson [Thu, 03 Aug 2017 23:06:36 +0200] rev 66322
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip