search

delcypher / freeboogie

Automatically exported from code.google.com/p/freeboogie
0 stars 1 forks source link

add back explicit specialization of generics #66

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
The syntax used to be 
  swap<`int>(a, b);
but I should reconsider as other related syntax changed to comply with Boogie 2.

Grep tests for EXPSPEC to see stuff that was commented out and should be 
supported.

Original issue reported on code.google.com by radugrig...@gmail.com on 13 Dec 2010 at 3:14