Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
comfusy-examples [2010/01/17 11:38]
philippe.suter
comfusy-examples [2012/05/12 13:11] (current)
losa
Line 3: Line 3:
   * ''​ScaleWeights''​   * ''​ScaleWeights''​
  
-++++click to reveal the code| 
 <code scala> <code scala>
 import synthesis.Definitions._ import synthesis.Definitions._
Line 38: Line 37:
 } }
 </​code>​ </​code>​
-++++ 
  
   * ''​SecondsToTime''​   * ''​SecondsToTime''​
  
-++++click to reveal the code| 
 <code scala> <code scala>
 import synthesis.Definitions._ import synthesis.Definitions._
Line 63: Line 60:
 } }
 </​code>​ </​code>​
-++++ 
  
   * ''​SetConstraints''​   * ''​SetConstraints''​
  
-++++click to reveal the code| 
 <code scala> <code scala>
 import synthesis.Definitions._ import synthesis.Definitions._
Line 91: Line 86:
 } }
 </​code>​ </​code>​
-++++ 
  
   * ''​SplitSetsInABalancedWay''​   * ''​SplitSetsInABalancedWay''​
  
-++++click to reveal the code| 
 <code scala> <code scala>
 import synthesis.Definitions._ import synthesis.Definitions._
Line 122: Line 115:
 } }
 </​code>​ </​code>​
-++++ 
  
   * ''​FastExponentiation''​   * ''​FastExponentiation''​
  
-++++click to reveal the code| 
 <code scala> <code scala>
 import synthesis.Definitions._ import synthesis.Definitions._
Line 149: Line 140:
 } }
 </​code>​ </​code>​
-++++ 
  
   * ''​PrimeHeuristic''​   * ''​PrimeHeuristic''​
  
-++++click to reveal the code| 
 <code scala> <code scala>
 import synthesis.Definitions._ import synthesis.Definitions._
Line 173: Line 162:
 } }
 </​code>​ </​code>​
-++++ 
  
   * ''​NewYearSong''​ (similar code with fewer variables was used to compute the distribution of names in [[http://​www.youtube.com/​watch?​v=E2aPFdu0FNA|this song]])   * ''​NewYearSong''​ (similar code with fewer variables was used to compute the distribution of names in [[http://​www.youtube.com/​watch?​v=E2aPFdu0FNA|this song]])
- 
-++++click to reveal the code| 
  
 <code scala> <code scala>
Line 212: Line 198:
 } }
 </​code>​ </​code>​
-++++ 
 
comfusy-examples.txt · Last modified: 2012/05/12 13:11 by losa
 
© EPFL 2018 - Legal notice