Commits · 043851a8a162f5725922c9f7955b597761a9642c · LARA / inox

Aug 29, 2012
- access rights to Etienne · 043851a8
  Philippe Suter authored 12 years ago
  
  043851a8
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
- added output of ldd · 0e31f16d
  Viktor Kuncak authored 12 years ago
  
  0e31f16d
- added a short README file · 7b3e116a
  Viktor Kuncak authored 12 years ago
  
  7b3e116a
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
- Merge branch 'master' into sat · 12c61388
  Régis Blanc authored 12 years ago
  
  12c61388
- 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
- Merge branch 'testgen' · f0e14b36
  Régis Blanc authored 12 years ago
  
  f0e14b36
- one more test · a0d66baa
  Régis Blanc authored 12 years ago
  
  a0d66baa
- waypoint and @main can be used with standard leon · 9974e2b2
  Régis Blanc authored 12 years ago
  
  9974e2b2
- integrate waypoint in evaluaiton and better printer for scala · dc072e8d
  Régis Blanc authored 12 years ago
  
  dc072e8d
- 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 20, 2012
- test if function is main · 6642b923
  Régis Blanc authored 12 years ago
  
  6642b923
- add annotation for main function · e2a9013a
  Régis Blanc authored 12 years ago
  
  e2a9013a
Jun 17, 2012
- testcase folder for regist master thesis results · fd9242d7
  Régis Blanc authored 12 years ago
  
  fd9242d7
Jun 07, 2012
- comment on the copy from FunctionTemplate · f9b46be6
  Régis Blanc authored 12 years ago
  
  f9b46be6
- Merge branch 'initialunroll' · 3dfd43e4
  Régis Blanc authored 12 years ago
  
  3dfd43e4
- clearer error message for big int from Z3 · 4b8eacfc
  Régis Blanc authored 12 years ago
  
  4b8eacfc
- Merge branch 'master' into initialunroll · 2174577d
  Régis Blanc authored 12 years ago
  
  2174577d
- use noluckytest in run-test · ef30f85b
  Régis Blanc authored 12 years ago
  
  ef30f85b
Jun 06, 2012
- fix the bug with initial unrolling · 38988a32
  Régis Blanc authored 12 years ago
  
  38988a32
- attempt to fix the bug with initial unroll · b7b01a0a
  Régis Blanc authored 12 years ago
  
  b7b01a0a
Jun 05, 2012
- fix bug with tuple type casting · dd7023d2
  Régis Blanc authored 12 years ago
  
  dd7023d2
- more debug messages · 4ca7538c
  Régis Blanc authored 12 years ago
  
  4ca7538c
- propagate elimination of imperative code in nested functions · 4d6019a2
  Régis Blanc authored 12 years ago
  
  4d6019a2
May 25, 2012
- Type of lets should be based on their body, not their id · 1fdb3046
  Régis Blanc authored 12 years ago
  
  1fdb3046
May 18, 2012
- add a List imperative and use bestRealType · 05156cb2
  Régis Blanc authored 12 years ago
  
  05156cb2
- set a longer timeout · e981148d
  Régis Blanc authored 12 years ago
  
  e981148d
- remove invariants of BubbleSort to identify a clearer bug · 80c3df73
  Régis Blanc authored 12 years ago
  
  80c3df73
- fix a bug with pretty printer of match in scala format · 67e30baf
  Régis Blanc authored 12 years ago
  
  67e30baf
- List testcase · c8c767a7
  Régis Blanc authored 12 years ago
  
  c8c767a7