Commits · 70da94aff155570a8b455d79f4ae6735c62ec375 · LARA / inox · GitLab

Snippets Groups Projects

May 22, 2010
- stuff · 70da94af
  Philippe Suter authored 14 years ago
  
  70da94af
May 21, 2010
- It works now so fine · 540a61da
  Philippe Suter authored 14 years ago
  540a61da
May 20, 2010
- It's night and a programmer wonders · 8efcbafa
  Philippe Suter authored 14 years ago
  8efcbafa
May 18, 2010
- some changes on case classes · d072e872
  Philippe Suter authored 14 years ago
  
  d072e872
May 11, 2010
- No commit message · 6e755bdd
  Philippe Suter authored 14 years ago
  6e755bdd
- improved extraction of parametric types. works for sets, for instance · fab8ca8e
  Philippe Suter authored 14 years ago
  
  fab8ca8e
May 10, 2010
- laptop changes · 9b8f0149
  Philippe Suter authored 14 years ago
  
  9b8f0149
Apr 29, 2010
- ? · 106df9ab
  Philippe Suter authored 15 years ago
  
  106df9ab
- purescala is now independent from the plugin... good for us if we ever want another front-end · dede3cc1
  Philippe Suter authored 15 years ago
  
  dede3cc1
- No commit message · e16a177c
  Philippe Suter authored 15 years ago
  e16a177c
- starting to clean up · 319f3c92
  Philippe Suter authored 15 years ago
  
  319f3c92
Apr 28, 2010
- now extracting some contracts. This is getting somewhere faster than I thought. · 88241dd7
  Philippe Suter authored 15 years ago
  
  88241dd7
- getting somewhere, slowly. Starting to have functions extracted. · 06700e78
  Philippe Suter authored 15 years ago
  
  06700e78
Apr 26, 2010
- still in the... · ed632f4d
  Philippe Suter authored 15 years ago
  ed632f4d
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