Commits · 629343e29c8043c922fa9ef8d9edee231bb79be3 · LARA / inox · GitLab

Snippets Groups Projects

Apr 22, 2010
- migrated the plugin to Scala 2.8... · 629343e2
  Philippe Suter authored 15 years ago
  
  629343e2
Nov 09, 2009
- added a stub for the synthesis plugin · eed35d3a
  Philippe Suter authored 15 years ago
  
  eed35d3a
Nov 07, 2009
- No commit message · d452fb0f
  Tihomir Gvero authored 15 years ago
  d452fb0f
Nov 06, 2009
- Committing functional data structure examples for Udita. · 2a598b20
  Tihomir Gvero authored 15 years ago
  
  2a598b20
Oct 23, 2009
- cleaned up a bit · 27100d2a
  Viktor Kuncak authored 15 years ago
  
  27100d2a
Oct 05, 2009
- deactivated Mirco's generators generation to focus on code extraction · 0267d262
  Philippe Suter authored 15 years ago
  
  0267d262
Jul 15, 2009
- updated README with some more readable text · 71a868d4
  Mirco Dotta authored 15 years ago
  
  71a868d4
- deleted Test*.scala. Now we have enough examples in the examples folder to... · 26c0578a
  Mirco Dotta authored 15 years ago
  26c0578a
- commented tests for commented example. · c96df6bd
  Mirco Dotta authored 15 years ago
  
  c96df6bd
- updated to use ScalaPure syntax · 5364fbd8
  Mirco Dotta authored 15 years ago
  
  5364fbd8
- added SkewRandomAccessList to the testing script and added a comment to the ant build file. · b858fff0
  Mirco Dotta authored 15 years ago
  
  b858fff0
- Implementation SkewBinaryRandomAccessList from Okasaky's book "Purely Functional Data Structures" · 6284c692
  Mirco Dotta authored 15 years ago
  
  6284c692
Jul 14, 2009
- Added some comments. · 341dffd3
  Mirco Dotta authored 15 years ago
  
  341dffd3
- Minor update. No way I'll be able to compile examples using ant ... · d8e2bc72
  Mirco Dotta authored 15 years ago
  
  d8e2bc72
- Instead of passing a random position to method Fresh.newName, now passing... · 6ae04119
  Mirco Dotta authored 15 years ago
  6ae04119
- updated scripts so that they work after all directory changes I have made in previous commits. · f57be1fa
  Mirco Dotta authored 15 years ago
  
  f57be1fa
- moving files from funcheck to plugin. · 0c2818cb
  Mirco Dotta authored 15 years ago
  
  0c2818cb
- renamed file so that ant doesn't try to compile it (the example should be... · 1d71e7b3
  Mirco Dotta authored 15 years ago
  1d71e7b3
- calling freshName takes now the tree's position as first argument. · a8918837
  Mirco Dotta authored 15 years ago
  
  a8918837
- fixed package information. · abb7ef8e
  Mirco Dotta authored 15 years ago
  
  abb7ef8e
- reorganized folders and updated scripts accordingly. · dab3710c
  Mirco Dotta authored 15 years ago
  
  dab3710c
Jul 13, 2009
- Delete duplicated examples. These are somewhat overlapping with the ones... · afbacd27
  Mirco Dotta authored 15 years ago
  afbacd27
- Small changes (mostly comments and formatting). · 648a0e46
  Mirco Dotta authored 15 years ago
  
  648a0e46
- Added new properties to verify. · be2021c8
  Mirco Dotta authored 15 years ago
  
  be2021c8
- - added Test.isPassed to transform a Test.Result object into a Boolean value. · 11e3dcdc
  Mirco Dotta authored 15 years ago
  
  11e3dcdc
- forAll are now correctly translated also in their returning type, before it... · 8f7facbf
  Mirco Dotta authored 15 years ago
  8f7facbf
- Specs implication is now working correctly. Arguments needed to be evaluated... · 1c96089d
  Mirco Dotta authored 15 years ago
  1c96089d
- a test script · 6931e452
  Viktor Kuncak authored 15 years ago
  
  6931e452
Jul 12, 2009
- Refactore ScalaCheck modules commonalities into a GenericScalaCheckModule. · 5b6d4529
  Mirco Dotta authored 15 years ago
  
  5b6d4529
- Fixed bug in arbitrary function used to link Scala AST Type element to its... · e615288e
  Mirco Dotta authored 15 years ago
  e615288e
- MapReducer need to use multisets for abstracting away order in lists. Now... · cac67ec7
  Mirco Dotta authored 15 years ago
  cac67ec7
Jul 10, 2009
- updated example used to explain the transformation performed by the FunCheck plugin. · 8dd505a5
  Mirco Dotta authored 15 years ago
  
  8dd505a5
- heap with positive elements · 015ebd6b
  Viktor Kuncak authored 15 years ago
  
  015ebd6b
- Added pre/post condition to mk example · ed824282
  Mirco Dotta authored 15 years ago
  
  ed824282
- Added SplayHeap example (before was wrong file) · e705a25a
  Mirco Dotta authored 15 years ago
  
  e705a25a
- Added SplayHeap example. · 76f8611a
  Mirco Dotta authored 15 years ago
  
  76f8611a
- Fixed bug: pivot must be placed in the middle of the two sorted list in quicksort method · afa66489
  Mirco Dotta authored 15 years ago
  
  afa66489
- updated script · 79cf89bc
  Mirco Dotta authored 15 years ago
  
  79cf89bc
- Adding new examples from Online Demo for Data Structure Verification (http://pho.ucsd.edu/liquid/) · 1308611e
  Mirco Dotta authored 15 years ago
  
  1308611e
Jul 09, 2009
- mergesort example and updated 'forall' script. · 0ed92012
  Mirco Dotta authored 15 years ago
  
  0ed92012