Commits · fd2e80df8e5c2a4cf5d107930a8b91a2bcdeb5da · LARA / inox · GitLab

Snippets Groups Projects

Apr 16, 2016
- Added let bindings in leon paths · fd2e80df
  Nicolas Voirol authored 9 years ago
  
  fd2e80df
Mar 28, 2016
- Quantifier improvements + invariant preservation in program transforms · e0734347
  Nicolas Voirol authored 9 years ago
  
  e0734347
Mar 17, 2016
- Fix comparison bugs · 15a2c731
  Manos Koukoutos authored 9 years ago
  
  15a2c731
- Apply 2016 licence · 975bce69
  Manos Koukoutos authored 9 years ago
  
  975bce69
- Refactor the various contexts · b0433069
  Manos Koukoutos authored 9 years ago
  
  b0433069
Mar 02, 2016
- Self pretty printer handles correctly functions containing choose (good for... · 7a71be98
  Mikaël Mayer authored 9 years ago
  7a71be98
Feb 05, 2016
- Improve value generation with generic types · 572d4125
  Manos Koukoutos authored 9 years ago
  572d4125
Jan 27, 2016
- Homomorphic to work on lambdas + tests. · 7366462b
  Mikaël Mayer authored 9 years ago
  7366462b
Jan 26, 2016
- Added ExprOps.canBeHomomorphic which returns a mapping from identifiers if the... · 6cb4213c
  Mikaël Mayer authored 9 years ago
  6cb4213c
- Added passing Abstract test to render a double list of dummies to string. · 634d9478
  Mikaël Mayer authored 9 years ago
  634d9478
Jan 25, 2016
- Making generic values unique during synthesis. · dab0e0da
  Mikaël Mayer authored 9 years ago
  dab0e0da
Jan 19, 2016
- Renaming StringTracingEvaluator.scala to AbstractEvaluator.scala · 7c78e6a5
  Mikaël Mayer authored 9 years ago
  7c78e6a5
- Simplified StringTracingEvaluator.scala, · d1d1114d
  Mikaël Mayer authored 9 years ago
  d1d1114d
Jan 18, 2016
- Corrected ScopeSimplifier.scala (wrong nested definition of argument identifiers) · 476a18f4
  Mikaël Mayer authored 9 years ago
  476a18f4
Jan 15, 2016
- Leon can handle abstract examples if the flag `keepAbstractExamples` is set to... · 7c9386d5
  Mikaël Mayer authored 9 years ago
  7c9386d5
Jan 14, 2016
- Fixed the import of the abstract pretty printers in the sub-functions. · 32d9775f
  Mikaël Mayer authored 9 years ago
  32d9775f
- Fixed warnings for AugmentedString** · 2ca36238
  Mikaël Mayer authored 9 years ago
  2ca36238
Jan 13, 2016
- Corrected missing case · 9ea7cf9f
  Mikaël Mayer authored 9 years ago
  9ea7cf9f
- StringRender now considers pretty functions in scope and use them by default. · db92b555
  Mikaël Mayer authored 9 years ago
  db92b555
Jan 12, 2016
- Added two collections of pretty-printer which can be used later to render some elements. · c911543e
  Mikaël Mayer authored 9 years ago
  
  c911543e
Jan 08, 2016
- Moved ProgramSets to sub-package · 10ae6952
  Mikaël Mayer authored 9 years ago
  10ae6952
Jan 07, 2016
- Fix indentation in StrOps · 85b44efa
  Mikaël Mayer authored 9 years ago
  85b44efa
Jan 06, 2016
- Added string escape · dcc22b09
  Mikaël Mayer authored 9 years ago
  
  dcc22b09
Jan 04, 2016
- Added ability to filter alternatives according to the previous alternatives. · 93563906
  Mikaël Mayer authored 9 years ago
  
  93563906
Dec 16, 2015
- Corrected compilation errors after merge · 148dfaad
  Mikaël Mayer authored 9 years ago
  
  148dfaad
- FileInterface.insertAfter to insert a new function after an existing one. · 079dd9e2
  Mikaël Mayer authored 9 years ago
  079dd9e2
Dec 12, 2015
- Out of order rendering now possible. · 7e2ba0d5
  Mikaël Mayer authored 9 years ago
  7e2ba0d5
- Introduced StringSynthesisContext · 06ae9b2a
  Mikaël Mayer authored 9 years ago
  
  06ae9b2a
Dec 07, 2015
- Removing the body of the function when adding examples. · 0cb1ea61
  Mikaël Mayer authored 9 years ago
  
  0cb1ea61
- Added disambiguation module for synthesis. · 32eb10be
  Mikaël Mayer authored 9 years ago
  
  32eb10be
Dec 04, 2015
- Implemented the run method for asking questions. · da7d4880
  Mikaël Mayer authored 9 years ago
  
  da7d4880
- Adding a function to find questions when returning a solution. · 47972286
  Mikaël Mayer authored 9 years ago
  
  47972286
- VerificationReport now verifies that functions are implemented for pretty printing. · 31996949
  Mikaël Mayer authored 9 years ago
  31996949
Dec 02, 2015
- Consistent rendering of IDs · 0e5c4297
  Mikaël Mayer authored 9 years ago
  0e5c4297
- Crystallizes the solution so that it is not disturbed by the modification of def bodies. · db315ecb
  Mikaël Mayer authored 9 years ago
  
  db315ecb
- Moved the pretty printed verification report to VerificationReport.scala · bd927ca6
  Mikaël Mayer authored 9 years ago
  
  bd927ca6
Dec 01, 2015
- Added tracking Ids in templates to fill missing ones with "_edit_me_" · cf6bb9a2
  Mikaël Mayer authored 9 years ago
  cf6bb9a2
Nov 27, 2015
- Added variable name for the case class when considering dependent types -... · bc39cd20
  Mikaël Mayer authored 9 years ago
  bc39cd20
Nov 25, 2015
- Added constant rendering for case classes without argument. · f94e0843
  Mikaël Mayer authored 9 years ago
  
  f94e0843
- Added support for stream of templates. · baa60750
  Mikaël Mayer authored 9 years ago
  baa60750