Commits · 6f8108a7689855efff33adb2f5eabda3272ba3ba · LARA / inox

Oct 24, 2012
- Fix derivation generations, genreate dot files · 2d495c3f
  Etienne Kneuss authored 12 years ago
  
  2d495c3f
Oct 23, 2012
- Fix assert, Add example, add more debug output for last rule · 6adbc583
  Etienne Kneuss authored 12 years ago
  
  6adbc583
- Add examples from Spt · a357ae82
  Etienne Kneuss authored 12 years ago
  
  a357ae82
- ADTDual · 1a6a2be3
  Etienne Kneuss authored 12 years ago
  
  1a6a2be3
- small changes in unification tests · 0e8b6e66
  Philippe Suter authored 12 years ago
  
  0e8b6e66
- Add unification rules (Trivial, Symbol Clash, Decomposition, Occurs Check) · e0dd0a63
  Etienne Kneuss authored 12 years ago
  
  e0dd0a63
- Call z3 to get model satisfying no conditions · 147d699d
  Etienne Kneuss authored 12 years ago
  
  147d699d
Oct 22, 2012
- One GROUND example that uses a rec. fun. · 31f639b0
  Philippe Suter authored 12 years ago
  
  31f639b0
- Implement case-split · 79178cb0
  Etienne Kneuss authored 12 years ago
  
  79178cb0
- Generate a proper error in ground rule · 28eaf0ed
  Etienne Kneuss authored 12 years ago
  
  28eaf0ed
- Integrate with Leon some more · 6e5f1718
  Etienne Kneuss authored 12 years ago
  
  6e5f1718
Oct 19, 2012
- Trim down to tuple5 · d500de8f
  Etienne Kneuss authored 12 years ago
  
  d500de8f
- Add choose with return types, example · 1aa65ccb
  Etienne Kneuss authored 12 years ago
  
  1aa65ccb
Oct 18, 2012
- False progress · 73e18588
  Etienne Kneuss authored 12 years ago
  
  73e18588
Oct 16, 2012
- Make progress in proving efficient contains · 93f0ed37
  Etienne Kneuss authored 12 years ago
  
  93f0ed37
Oct 15, 2012
- Add some stuff · 07731442
  Etienne Kneuss authored 12 years ago
  
  07731442
- Add tests in main branch · fad0ae76
  Etienne Kneuss authored 12 years ago
  
  fad0ae76
Jul 31, 2012
- recursion elim · 316b123d
  Viktor Kuncak authored 12 years ago
  
  316b123d
Jul 24, 2012
- array bubble sort that actually works · 238ab28b
  Viktor Kuncak authored 12 years ago
  
  238ab28b
Jul 19, 2012
- stackoverflow · c0b99138
  Régis Blanc authored 12 years ago
  
  c0b99138
Jul 15, 2012
- dpll for the SAT solver and some properties · d12fcbac
  Régis Blanc authored 12 years ago
  
  d12fcbac
Jul 11, 2012
- add buggy versions of functions · 15e7aa77
  Régis Blanc authored 12 years ago
  
  15e7aa77
Jun 27, 2012
- edit object title · bbeb98fc
  Régis Blanc authored 12 years ago
  
  bbeb98fc
- rename SatFun to Sat · a7fc0aaf
  Régis Blanc authored 12 years ago
  
  a7fc0aaf
- more properties on Sat · 07d49a0c
  Régis Blanc authored 12 years ago
  
  07d49a0c
Jun 26, 2012
- one more test · a0d66baa
  Régis Blanc authored 12 years ago
  
  a0d66baa
- refactor TestGen · fa1be89e
  Régis Blanc authored 12 years ago
  
  fa1be89e
- unify waypoints and total coverage · 89e0c5d5
  Régis Blanc authored 12 years ago
  
  89e0c5d5
Jun 25, 2012
- update List · c12d6081
  Régis Blanc authored 12 years ago
  
  c12d6081
- clearer implementation of test generation from a main function · f488cec4
  Régis Blanc authored 12 years ago
  
  f488cec4
Jun 21, 2012
- more property on constraint programming · 95276df7
  Régis Blanc authored 12 years ago
  
  95276df7
- examples of epsilon · 277d9bac
  Régis Blanc authored 12 years ago
  
  277d9bac
Jun 17, 2012
- testcase folder for regist master thesis results · fd9242d7
  Régis Blanc authored 12 years ago
  
  fd9242d7
Jun 05, 2012
- fix bug with tuple type casting · dd7023d2
  Régis Blanc authored 12 years ago
  
  dd7023d2
- propagate elimination of imperative code in nested functions · 4d6019a2
  Régis Blanc authored 12 years ago
  
  4d6019a2
May 18, 2012
- add a List imperative and use bestRealType · 05156cb2
  Régis Blanc authored 12 years ago
  
  05156cb2
- List testcase · c8c767a7
  Régis Blanc authored 12 years ago
  
  c8c767a7
May 17, 2012
- clean up the code · c0066341
  Régis Blanc authored 12 years ago
  
  c0066341
- assemble the collection of path condition and their solving in TestGeneration · 27574af8
  Régis Blanc authored 12 years ago
  
  27574af8
May 14, 2012
- fix bug with nested call to nested functions · 4db2f838
  Régis Blanc authored 12 years ago
  
  4db2f838