Commits · 63bb6772afa970ac5863b34296e8c27de9d9eda3 · LARA / inox

Dec 28, 2015
- Improved matcher discovery · 63bb6772
  Nicolas Voirol authored 9 years ago
  
  63bb6772
- Optimized fold unfolding and lambda id freshening · 6eb02680
  Nicolas Voirol authored 9 years ago
  
  6eb02680
- bank transfer example with variables · 5984b82c
  Regis Blanc authored 9 years ago
  
  5984b82c
Dec 24, 2015
- Merge pull request #163 from MikaelMayer/master · a372b9c1
  vkuncak authored 9 years ago
  
  Added Either in Leon Library. Fixed some code gen issues in Windows.
  a372b9c1
Dec 21, 2015
- Added Either[A, B] in the leon Library · 3158f2c3
  Mikaël Mayer authored 9 years ago
  
  3158f2c3
- Merge branch 'master' of https://github.com/epfl-lara/leon · 33b1e954
  Mikaël Mayer authored 9 years ago
  
  33b1e954
Dec 16, 2015
- 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
Dec 11, 2015
- Improved extraction of SMTLIB lambdas and went full · d6f273eb
  Nicolas Voirol authored 9 years ago
  
  dictator on shape ADT type parameters
  d6f273eb
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
- Fix OutOfBounds · d58ad346
  Manos Koukoutos authored 9 years ago
  
  d58ad346
- 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
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
Dec 08, 2015
- Passes with guarded cases now remain · c997697d
  Etienne Kneuss authored 9 years ago
  
  c997697d
Dec 07, 2015
- doc remarks about &&, ||, ==> · f7ccf1be
  Viktor Kuncak authored 9 years ago
  
  f7ccf1be
- Optimization for && and || short-circuiting · 4dd4ad69
  Nicolas Voirol authored 9 years ago
  
  4dd4ad69
Dec 06, 2015
- More fixes for the && and || short-circuiting · 6de88b1e
  Nicolas Voirol authored 9 years ago
  
  6de88b1e
Dec 05, 2015
- slightly more concise expression compiler · 7ddb9179
  Viktor Kuncak authored 9 years ago
  
  7ddb9179
- Oops · 7169409c
  Nicolas Voirol authored 9 years ago
  
  7169409c
- Use because instead of && proof hints · 280d6c69
  Nicolas Voirol authored 9 years ago
  
  280d6c69
Dec 04, 2015
- (a) Adding a test case to test the laziness of And · cfe3a050
  ravi authored 9 years ago
  
  (b) Adding an option: unfoldFactor to unfold functions more than once in each iteration of verification
  cfe3a050
- Fix bug Ravi found in TemplateGenerator for && and || · 8a7bedd1
  Nicolas Voirol authored 9 years ago
  
  8a7bedd1
- Small fix for termination and optimized lambda instantiation · 5a7f93af
  Nicolas Voirol authored 9 years ago
  
  5a7f93af
Dec 03, 2015
- Extend termination ChainProcessor to single-inlinings · a6adce4b
  Nicolas Voirol authored 9 years ago
  
  a6adce4b
Dec 01, 2015
- Adding a verified expression compiler benchmark · f4b1e95d
  ravi authored 9 years ago
  
  f4b1e95d
Nov 30, 2015
- Added comment for SCC.scala · 39632193
  Mikaël Mayer authored 9 years ago
  
  39632193
Nov 27, 2015
- Merge remote-tracking branch 'upstream/master' · 32b51c5b
  Manos Koukoutos authored 9 years ago
  
  32b51c5b
- Merge ND-evaluator into master · c727548f
  Manos Koukoutos authored 9 years ago
  
  c727548f
Nov 25, 2015
- CodegenEvaluatorSuite was doing nothing. Now it does something. · cd7a4652
  Manos Koukoutos authored 9 years ago
  
  cd7a4652
- Use StreamEvaluator in repair · fd33cc09
  Manos Koukoutos authored 9 years ago
  
  (And nessecary refactoring...)
  fd33cc09
- Refactor Evaluators. Introduce NDEvaluator trait and StreamEvaluator · ac306f8f
  Manos Koukoutos authored 9 years ago
  
  EvaluationResults.Result is now polymorphic Refactor evaluator contexts Refactor evaluator hierarchy Make tests up to date
  ac306f8f
- Improvements · 4eab947c
  Manos Koukoutos authored 9 years ago
  
  4eab947c