Commits · f60acb81f06a7cf74a1f20cd55670c0bc86abd4c · LARA / inox · GitLab

Snippets Groups Projects

Feb 12, 2015
- Small changes · f60acb81
  Etienne Kneuss authored 10 years ago
  
  f60acb81
- Add evaluation benchmarks · c9005eab
  Etienne Kneuss authored 10 years ago
  
  c9005eab
- Fix testcase · e754b929
  Etienne Kneuss authored 10 years ago
  
  e754b929
- --timeout is for entire repair now · 1cef4fa5
  Etienne Kneuss authored 10 years ago
  
  1cef4fa5
- BaseGrammar should not produce GenericValues · a0c71ccf
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  a0c71ccf
- Fix runtests/ add List benchmarks · 617a070d
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  617a070d
- Fix a bug in letTuple · db6b957b
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  db6b957b
- More loggin and automation · b65b4746
  Etienne Kneuss authored 10 years ago
  
  b65b4746
- Stuff for web · 7e2c8371
  Etienne Kneuss authored 10 years ago
  
  7e2c8371
- Bring back and adjust some List bench. · d450b289
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  d450b289
- Add/Fix benchmarks · de5b5fb6
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  de5b5fb6
- Typos · a9b1ad83
  manoskouk authored 10 years ago
  
  a9b1ad83
- SimplestValue for UnitType · d36f151b
  manoskouk authored 10 years ago
  
  d36f151b
- Remove a == b in Equivalent Inputs as well · 3b9c89c3
  Etienne Kneuss authored 10 years ago
  
  3b9c89c3
- Fix matchToIfThenElse not handling passes, breaking solvers · 1cbf6e10
  Etienne Kneuss authored 10 years ago
  
  1cbf6e10
- Introduce TypeDepths, filter grammars, bound size of NdProgram · c597c819
  Etienne Kneuss authored 10 years ago
  
  c597c819
- Look in ws as well · 4e61f65e
  Etienne Kneuss authored 10 years ago
  
  4e61f65e
- Make sure Generic values get updated according to expected type in some cases · 5f0ee7d5
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  5f0ee7d5
- CodeGenEvaluator catches underlying StackOverflowError · 84ad2a2b
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  84ad2a2b
- canBeSubtypeOf allows to fix either side's tparams. instantiateType handles Passes · 0e06d5ac
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  0e06d5ac
- Make sure MethodLifting freshens class type parameters in lifted mds · 55931024
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  55931024
- TypeParameterDef.freshen, TypeParameter.freshen · bc1a6fc9
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  bc1a6fc9
- Correctly type function invocations in Repairman · 23e8b66e
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  23e8b66e
- Fix functionInvocation constructor · 4b91096a
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  4b91096a
- Make isListLiteral/isStringLiteral without program return None · 66930b34
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  66930b34
- Change allowed "passes" arguments · 2194883a
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  2194883a
- Unknown during validation yields optimistic solution · ea31f269
  Etienne Kneuss authored 10 years ago
  
  ea31f269
- Fix PartialSolution to apply onSuccess on the correct solution · 896008d8
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  896008d8
- Fix cartesian product · c5af979b
  Etienne Kneuss authored 10 years ago
  
  c5af979b
- Don't repair valid functions · 51e98a2a
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  51e98a2a
- --manual takes a script as optional argument to automate repeat · 304ac9f5
  Etienne Kneuss authored 10 years ago
  
  304ac9f5
- New CEGIS · 9fa9d916
  Etienne Kneuss authored 10 years ago
  
  9fa9d916
- Function mapping · 4ec4aec2
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  4ec4aec2
- DetupleInput recomposes inputs, if possible · a0dff8f4
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  a0dff8f4
- Correction in forwardMap · 7ee6ab20
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  7ee6ab20
- Fix Typo · dcb542c4
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  dcb542c4
- Get best solution so far including a node · dc6aa52a
  Etienne Kneuss authored 10 years ago
  
  dc6aa52a
- EquivalentInputs substitutes back during solution reconstruction · 04953925
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  04953925
- Make sure ADTSplit substitutes away introduced variables · d8f70e72
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  d8f70e72
- Only calculate values in CegisLike which are guarded by true guards · 80270b36
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  80270b36