Commits · 96141ec3496d978786b7b4a15031cd4073e4b855 · LARA / inox

Jun 18, 2010
- moving the old sources outside of main src dir. · 96141ec3
  Philippe Suter authored 14 years ago
  
  96141ec3
Jun 15, 2010
- all the libraries are on the SVN now. Runner script should be computer-independant. · 75dff23f
  Philippe Suter authored 14 years ago
  
  75dff23f
- No commit message · b96e3351
  Philippe Suter authored 14 years ago
  
  No commit message
  b96e3351
Jun 12, 2010
- First "program" was just verified ! · b996655b
  Philippe Suter authored 14 years ago
  
  b996655b
Jun 10, 2010
- starting to plug the parts · 5faaf413
  Philippe Suter authored 14 years ago
  
  5faaf413
Jun 09, 2010
- No commit message · 0c455173
  Philippe Suter authored 14 years ago
  
  No commit message
  0c455173
- support for some set operations. · 014bf6ab
  Philippe Suter authored 14 years ago
  
  014bf6ab
May 27, 2010
- forgot one file. · 33548380
  Philippe Suter authored 14 years ago
  
  33548380
- we have pattern matching · b3202593
  Philippe Suter authored 14 years ago
  
  b3202593
- - case class selectors · e93d1fca
  Philippe Suter authored 14 years ago
  
  - computation of least upper bounds - identifiers are no longer just strings. now with unique ids - variables are correctly identified with parameters.
  e93d1fca
May 26, 2010
- die, typo · 81bdf764
  Philippe Suter authored 14 years ago
  
  81bdf764
- fixed the handling of function calls · 5e9af327
  Philippe Suter authored 14 years ago
  
  5e9af327
May 25, 2010
- now with construction of case classes · b6799b69
  Philippe Suter authored 14 years ago
  
  b6799b69
May 24, 2010
- No commit message · 01340c58
  Philippe Suter authored 14 years ago
  
  No commit message
  01340c58
- works for case and abstract classes · f0e92457
  Philippe Suter authored 14 years ago
  
  f0e92457
- switching to SSH because scalac is too slow on this machine · c8694365
  Philippe Suter authored 14 years ago
  
  c8694365
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
  
  I will write a short haiku And no long Limerick
  540a61da
May 20, 2010

It's night and a programmer wonders · 8efcbafa

Philippe Suter authored 14 years ago

How one can make sense of these pointers
 It would be quite pleasant
 To find the class parent
Yet so far he gets only errors.

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
  
  No commit message
  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 14 years ago
  
  106df9ab
- purescala is now independent from the plugin... good for us if we ever want another front-end · dede3cc1
  Philippe Suter authored 14 years ago
  
  dede3cc1
- No commit message · e16a177c
  Philippe Suter authored 14 years ago
  
  No commit message
  e16a177c
- starting to clean up · 319f3c92
  Philippe Suter authored 14 years ago
  
  319f3c92
Apr 28, 2010
- now extracting some contracts. This is getting somewhere faster than I thought. · 88241dd7
  Philippe Suter authored 14 years ago
  
  88241dd7
- getting somewhere, slowly. Starting to have functions extracted. · 06700e78
  Philippe Suter authored 14 years ago
  
  06700e78
Apr 26, 2010

still in the... · ed632f4d

Philippe Suter authored 14 years ago

still in the "breaking-before-I'll-fix-it-all-again-and-like-will-be-wonderful-with-rainbows-and-unicorns" phase.

ed632f4d

Apr 22, 2010
- migrated the plugin to Scala 2.8... · 629343e2
  Philippe Suter authored 14 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
  
  No commit message
  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
  
  deleted Test*.scala. Now we have enough examples in the examples folder to describe how funcheck works
  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