Commits · 90b916724902d36eee7fb46b8472a06645a12e9f · LARA / inox · GitLab

Snippets Groups Projects

Jan 04, 2016
- Hot fix: Wrong encoding for boolean bytecode · 90b91672
  Mikaël Mayer authored 9 years ago
  
  90b91672
- Added ability to filter alternatives according to the previous alternatives. · 93563906
  Mikaël Mayer authored 9 years ago
  
  93563906
Dec 22, 2015
- More exprs and solutions to consider · 6bff8ded
  Mikaël Mayer authored 9 years ago
  
  6bff8ded
- Correct bug generating endless loops for false-guarded test cases. · f173c898
  Mikaël Mayer authored 9 years ago
  
  f173c898
Dec 21, 2015
- Added Either[A, B] in the leon Library · 7c930ebe
  Mikaël Mayer authored 9 years ago
  
  7c930ebe
Dec 16, 2015
- Updated benchmarks to have better examples for string-render · b4efc753
  Mikaël Mayer authored 9 years ago
  
  b4efc753
- Corrected compilation errors after merge · 148dfaad
  Mikaël Mayer authored 9 years ago
  
  148dfaad
- Merge remote-tracking branch 'origin' into string-render · bf565df3
  Mikaël Mayer authored 9 years ago
  bf565df3
- FileInterface.insertAfter to insert a new function after an existing one. · 079dd9e2
  Mikaël Mayer authored 9 years ago
  079dd9e2
- A little documentation and usage of API · 1ff73c72
  Manos Koukoutos authored 9 years ago
  
  1ff73c72
Dec 12, 2015
- Fix for functions with no pathVars · 7159d3a2
  Nicolas Voirol authored 9 years ago
  
  7159d3a2
- 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
- Added one more StringSolver benchmark and re-enabled the equation propagation... · a34c7448
  Mikaël Mayer authored 9 years ago
  a34c7448
Dec 11, 2015
- Improved extraction of SMTLIB lambdas and went full · d6f273eb
  Nicolas Voirol authored 9 years ago
  d6f273eb
- hot fix because phase PropagateEquations inconsistent. · 53d971e4
  Mikaël Mayer authored 9 years ago
  
  53d971e4
Dec 10, 2015
- Fixing stuff up after rebase · 1f592cd4
  Nicolas Voirol authored 9 years ago
  
  1f592cd4
- Finished up call-by-name · d1aea476
  Nicolas Voirol authored 9 years ago
  
  d1aea476
- Partial implementation of call-by-name · 254a0b6d
  Nicolas Voirol authored 9 years ago
  
  254a0b6d
- Added Phase PropagateEquations to the string solving for faster convergence. · 68dcc23b
  Mikaël Mayer authored 9 years ago
  
  68dcc23b
- Fix OutOfBounds · d58ad346
  Manos Koukoutos authored 9 years ago
  
  d58ad346
- Rewritten the phases of string solving with the Pipeline model. · 9d51eac2
  Mikaël Mayer authored 9 years ago
  
  9d51eac2
- Add these tests back · 57f29055
  Manos Koukoutos authored 9 years ago
  
  57f29055
- Fix bugs in Evaluators, add tests · 950381a5
  Manos Koukoutos authored 9 years ago
  
  950381a5
- Don't use sys.error · c6779612
  Manos Koukoutos authored 9 years ago
  
  c6779612
- Beautify this · 3e986703
  Manos Koukoutos authored 9 years ago
  
  3e986703
- Extract ConstantType's · cfe12844
  Manos Koukoutos authored 9 years ago
  
  cfe12844
- Going over orb with IntelliJ inspection · 1709acaf
  Manos Koukoutos authored 9 years ago
  
  1709acaf
- Better test cases for string synthesis · 6703c75e
  Mikaël Mayer authored 9 years ago
  
  6703c75e
- Added TEGIS back. · 53e920b0
  Mikaël Mayer authored 9 years ago
  
  53e920b0
Dec 09, 2015
- Improved terminator reliability by increasing timeout · 9af264f2
  Nicolas Voirol authored 9 years ago
  
  9af264f2
- Fixed lambda and matcher type indexing issue · b0984a43
  Nicolas Voirol authored 9 years ago
  
  b0984a43
- Adding a new online case for synthesis (grammars) · 318d65ce
  Mikaël Mayer authored 9 years ago
  
  318d65ce
- Quick bug fixes: · 9841e536
  Mikaël Mayer authored 9 years ago
  9841e536
Dec 08, 2015
- Passes with guarded cases now remain · c997697d
  Etienne Kneuss authored 9 years ago
  
  c997697d
- Added support for LetDef with mutually recursive functions. · 7f17d218
  Mikaël Mayer authored 9 years ago
  
  7f17d218
Dec 07, 2015
- Removing the body of the function when adding examples. · 0cb1ea61
  Mikaël Mayer authored 9 years ago
  
  0cb1ea61
- Corrected invariance bug. · 017b8c9f
  Mikaël Mayer authored 9 years ago
  
  017b8c9f
- Moved the ExamplesAdder.scala to the subpackage disambiguation. · 89648d0a
  Mikaël Mayer authored 9 years ago
  89648d0a
- Added a way to add examples to the postcondition of functions. · 1a5b63df
  Mikaël Mayer authored 9 years ago
  
  1a5b63df