Commits · 73fd074190dce0714e08ac330276a2af513df47b · LARA / inox

Mar 18, 2015
- The name changes you all wanted but were afraid to ask · 73fd0741
  Manos Koukoutos authored 10 years ago
  
  73fd0741
- Fix a bunch of style/actual issues · 827a6535
  Manos Koukoutos authored 10 years ago
  
  827a6535
Mar 06, 2015
- Implement Ensuring, Choose as HOFs · a3216570
  Manos Koukoutos authored 10 years ago
  
  a3216570
- Make tuple manipulation more robust · de4f7d74
  Manos Koukoutos authored 10 years ago
  
  de4f7d74
- Fix inconsistent handling of valDef.id.getType and valDef.tpe · da159f9e
  Manos Koukoutos authored 10 years ago
  
  da159f9e
- Eliminate rewriteTuples. Use constructors/extractors. · 33774767
  Manos Koukoutos authored 10 years ago
  33774767
Mar 03, 2015
- xlang does not eliminate side effect in blocks · 563fcbfc
  Regis Blanc authored 10 years ago
  563fcbfc
Feb 24, 2015
- Remove MutableTyped from Identifiers and eliminate it completely · 48f7ffc1
  Manos Koukoutos authored 10 years ago
  
  48f7ffc1
Feb 12, 2015
- New CEGIS · 9fa9d916
  Etienne Kneuss authored 10 years ago
  
  9fa9d916
- Unify Guarded and Simple case · d7a193d4
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  d7a193d4
- Separate trees from tree constructors,use them more,simplifications · 2872b0e8
  Etienne Kneuss authored 10 years ago
  
  2872b0e8
- Improve situation with types · ad933d96
  Etienne Kneuss authored 10 years ago
  
  ad933d96
Aug 20, 2014
- Field Extraction & handling · 0889f2f7
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  0889f2f7
Mar 14, 2014
- Fix header (2013 -> 2014). Add script to do so. · 26ca0be2
  Etienne Kneuss authored 11 years ago
  
  26ca0be2
Mar 03, 2014
- Stabilize datagen, fix interrupts & parallel, fix array boxing · a541166c
  Etienne Kneuss authored 11 years ago
  
  a541166c
Feb 20, 2014
- Fix Choose handling in ImperativeCodeElimitation · b621f391
  Etienne Kneuss authored 11 years ago
  
  b621f391
Feb 17, 2014
- Introduce support for methods and multiple objects/fields · 9c7e02b5
  Etienne Kneuss authored 11 years ago
  9c7e02b5
Feb 04, 2014
- Implement generics for functions and ADTs · 1708d239
  Etienne Kneuss authored 11 years ago
  1708d239
Dec 16, 2013
- Support Choose in evaluation, range positions, tracing. · e02cd510
  Etienne Kneuss authored 11 years ago
  e02cd510
Dec 02, 2013
- Rework positions, introduce RangePositions · 480e8a3d
  Etienne Kneuss authored 11 years ago
  
  480e8a3d
Aug 27, 2013
- Remove ResultVariable, postcondition are explicitly bound · f24aafcc
  Etienne Kneuss authored 11 years ago
  
  f24aafcc
Aug 26, 2013
- Streamline and safeguard usage of Options body/pre/post · 0c8813fd
  Etienne Kneuss authored 11 years ago
  
  0c8813fd
Jun 03, 2013
- Apply BSD 2 clauses license · 3cb6d843
  Etienne Kneuss authored 12 years ago
  
  3cb6d843
Apr 23, 2013
- Restore positions of Chooses trated within ImperativeCodeElimination · 74c2cfef
  Etienne Kneuss authored 12 years ago
  
  74c2cfef
- Fix choose with imperative phase · 6f808f72
  Régis Blanc authored 12 years ago
  6f808f72
Dec 21, 2012
- Implement a new XlangAnalysisPhase · 32d53a55
  Régis Blanc authored 12 years ago
  32d53a55
Dec 12, 2012
- most tests are working · faf7174b
  Régis Blanc authored 12 years ago
  
  faf7174b
Dec 11, 2012
- adding new regressions tests · 67dc991d
  Régis Blanc authored 12 years ago
  
  67dc991d
- moving everything to xlang package · bd81ca07
  Régis Blanc authored 12 years ago
  
  bd81ca07
Nov 02, 2012
- moved extension phase to xlang · 9625d4ef
  Régis Blanc authored 12 years ago
  
  9625d4ef
Oct 24, 2012
- Some lumberjack work · f221d11a
  Etienne Kneuss authored 12 years ago
  
  f221d11a
- Type phases so that they act like functions, define pipelines, process · 38a639c9
  Etienne Kneuss authored 12 years ago
  38a639c9
- Move phase business out of plugin · d29cb8bc
  Etienne Kneuss authored 12 years ago
  
  d29cb8bc
Oct 22, 2012
- Some juicy refactoring · 66a98c21
  Etienne Kneuss authored 12 years ago
  
  66a98c21
Oct 19, 2012
- Revert changes I no longer need · 64179f79
  Etienne Kneuss authored 12 years ago
  
  64179f79
- Stupid example and log output · 06b9bbc7
  Etienne Kneuss authored 12 years ago
  
  06b9bbc7
Jun 05, 2012
- propagate elimination of imperative code in nested functions · 4d6019a2
  Régis Blanc authored 13 years ago
  
  4d6019a2
May 09, 2012
- use lub to find new type of IfExpr · dfd023ef
  Régis Blanc authored 13 years ago
  
  dfd023ef
- correct bug when writing if(..) a(i) = .. else 0 · bac2daf1
  Régis Blanc authored 13 years ago
  
  bac2daf1
May 07, 2012
- set type that was not set in some expression · e5fde5a5
  Régis Blanc authored 13 years ago
  
  e5fde5a5