Commits · f0e14b36eacda072336b1635a1dba3ee5db244da · LARA / inox

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
- demo stuff · 61553644
  Régis Blanc authored 12 years ago
  
  61553644
May 17, 2012
- clean up the code · c0066341
  Régis Blanc authored 12 years ago
  
  c0066341
- print post condition as ensuring and precondition as require · d53a135d
  Régis Blanc authored 12 years ago
  
  d53a135d
- add a method to write a program to a file in valid scala syntax · 92fd83a4
  Régis Blanc authored 12 years ago
  
  92fd83a4
- create a new program that contains the test function and print it in scala format · 604d34eb
  Régis Blanc authored 12 years ago
  
  604d34eb
- generate a function that run all tests · f5b69e3f
  Régis Blanc authored 12 years ago
  
  f5b69e3f
- a scala printer · fd0f1fb2
  Régis Blanc authored 12 years ago
  
  fd0f1fb2
- assemble the collection of path condition and their solving in TestGeneration · 27574af8
  Régis Blanc authored 12 years ago
  
  27574af8
- find all non looping path from a single waypoint to all other expression · 40a6bb1d
  Régis Blanc authored 12 years ago
  
  40a6bb1d
May 16, 2012
- move hoistIte in Trees · f6451aaa
  Régis Blanc authored 12 years ago
  
  f6451aaa
- remove commented code that is no longer useful · f79c3607
  Régis Blanc authored 12 years ago
  
  f79c3607