Commits · 8c7bccf862f49e47f187e3afcd25a05e5a0b942f · LARA / inox · GitLab

Snippets Groups Projects

Sep 10, 2014
- Make sure Tegis is not even proposed when no test exists · 8c7bccf8
  Etienne Kneuss authored 10 years ago
  
  8c7bccf8
Sep 04, 2014
- Add :: to List API · 49709d85
  Etienne Kneuss authored 10 years ago
  
  49709d85
Sep 03, 2014
- Update bonsai · 8c6cb382
  Etienne Kneuss authored 10 years ago
  
  8c6cb382
- TEGIS or test-only CEGIS, using bonsai for tree generation · 6e4b54da
  Etienne Kneuss authored 10 years ago
  
  6e4b54da
Aug 28, 2014
- Improve timers collection, usage and display · 71a5144d
  Etienne Kneuss authored 11 years ago
  
  71a5144d
Aug 27, 2014
- Fix liftClosures to not introduce name-clashing functions at the toplevel · d96e56c2
  Etienne Kneuss authored 10 years ago
  
  d96e56c2
Aug 26, 2014
- Inform the reporter of the compilation progress · 490aa263
  Etienne Kneuss authored 10 years ago
  
  490aa263
- Fix issues with phantom variables showing up in synthesis. · 12154513
  Etienne Kneuss authored 10 years ago
  12154513
Aug 25, 2014
- Fix many issues related to web-interface · 08336814
  Etienne Kneuss authored 10 years ago
  
  08336814
Aug 21, 2014
- Scalac extractors cleanup · d96e9759
  Etienne Kneuss authored 10 years ago
  
  d96e9759
- Fix tests not to rely on hardcoded paths · 04ef4c6e
  Etienne Kneuss authored 10 years ago
  
  04ef4c6e
Aug 20, 2014
- Pass runtime monitor around, fix problems · afdc41af
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  afdc41af
- Code Generation for Fields · 45e6a8e6
  Emmanouil (Manos) Koukoutos authored 11 years ago
  
  45e6a8e6
- Field Extraction & handling · 0889f2f7
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  0889f2f7
- RestoreMethods after they have been turned to funs · 4e9c02f2
  Emmanouil (Manos) Koukoutos authored 11 years ago
  
  4e9c02f2
- Scope information in Definition · 0f51db75
  Emmanouil (Manos) Koukoutos authored 11 years ago
  
  0f51db75
- Pre- and postMap allow recursion. FunDef ops. · 7b25b204
  Emmanouil (Manos) Koukoutos authored 11 years ago
  
  7b25b204
- Pretty printing fixes/improvements · 68af2928
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  68af2928
- Pretty printing fixes/improvements · b82deb1e
  Emmanouil (Manos) Koukoutos authored 11 years ago
  
  b82deb1e
- Improve FunDef.duplicate. FunDef.copyContentFrom · a9f3fe62
  Emmanouil (Manos) Koukoutos authored 11 years ago
  
  a9f3fe62
- Correctly extract non-integer +, - etc. · be5569a8
  Emmanouil (Manos) Koukoutos authored 11 years ago
  
  be5569a8
- Extract all standalone defs into one module · f40b49c7
  Emmanouil (Manos) Koukoutos authored 11 years ago
  
  f40b49c7
- File output, and noop option to do only that · dc91b649
  Emmanouil (Manos) Koukoutos authored 11 years ago
  
  dc91b649
- Make testing compatible with Eclipse + ScalaTest · 45b38fcb
  Emmanouil (Manos) Koukoutos authored 11 years ago
  
  45b38fcb
- Support for internal errors · b9ba429d
  Emmanouil (Manos) Koukoutos authored 11 years ago
  
  b9ba429d
- Fix error and show position in reports · bde52498
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  bde52498
- Catch error when processing options · 6e50429e
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  6e50429e
- Various code extraction corrections · 6a7e5e6f
  Emmanouil (Manos) Koukoutos authored 10 years ago
  
  6a7e5e6f
- Bug fix in CodeGeneration · 72c8a614
  Emmanouil (Manos) Koukoutos authored 11 years ago
  
  72c8a614
- MethodLifting compatible with Scala-legal printing · c361740e
  Emmanouil (Manos) Koukoutos authored 11 years ago
  
  c361740e
- Update project options, partly for Eclipse · 8ec49e59
  Emmanouil (Manos) Koukoutos authored 11 years ago
  
  8ec49e59
Aug 19, 2014
- Some list benchmarks with tests as spec · 8e90ce68
  Etienne Kneuss authored 10 years ago
  
  8e90ce68
- Add some simple examples of synthesis from examples, with holes · 06b11bd6
  Etienne Kneuss authored 10 years ago
  
  06b11bd6
Aug 18, 2014
- Fix choose not returning a stable type, add constructor to help · d55013f8
  Etienne Kneuss authored 10 years ago
  
  d55013f8
- Remove Let/LetTuple madness, rely on constructors · ad6aeaa2
  Etienne Kneuss authored 10 years ago
  
  ad6aeaa2
- Use the name instead of the case-object name · 595dd5d1
  Etienne Kneuss authored 10 years ago
  
  595dd5d1
- Organize testcases · f5cb4224
  Etienne Kneuss authored 10 years ago
  
  f5cb4224
- Add List.init · ac667904
  Etienne Kneuss authored 10 years ago
  
  ac667904
- Add isSorted/sorted to ListOps for Lists of ints · d8e4551a
  Etienne Kneuss authored 10 years ago
  
  d8e4551a
- Add back a few tests about Holes · 3707aee0
  Etienne Kneuss authored 10 years ago
  
  3707aee0