Commits · 64179f7983e16aabc5cc89da99e70c48607149d0 · LARA / inox

Oct 19, 2012
- Revert changes I no longer need · 64179f79
  Etienne Kneuss authored 12 years ago
  
  64179f79
- Ands get decomposed into sub-ands · 6522fc50
  Etienne Kneuss authored 12 years ago
  
  6522fc50
- slightly better · e9f6c3ac
  Etienne Kneuss authored 12 years ago
  
  e9f6c3ac
- One-point sort-of works · 651f12e2
  Etienne Kneuss authored 12 years ago
  
  651f12e2
- Stupid example and log output · 06b9bbc7
  Etienne Kneuss authored 12 years ago
  
  06b9bbc7
- This may work · e21eea0f
  Etienne Kneuss authored 12 years ago
  
  e21eea0f
- Implement Choose here and there, not complete yet but should be mostly functional · 300576df
  Etienne Kneuss authored 12 years ago
  
  300576df
- Add choose · 29dabb14
  Etienne Kneuss authored 12 years ago
  
  29dabb14
- This is madness · ea95a62f
  Etienne Kneuss authored 12 years ago
  
  ea95a62f
Oct 18, 2012
- Start with some files · 334b712b
  Etienne Kneuss authored 12 years ago
  
  334b712b
Sep 23, 2012
- moved Annotation to subproject as well · 9123dbd1
  Régis Blanc authored 12 years ago
  
  9123dbd1
Sep 21, 2012
- leon library is now a subproject · 74fdcc5e
  Régis Blanc authored 12 years ago
  
  74fdcc5e
Jun 26, 2012
- 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
- clearer implementation of test generation from a main function · f488cec4
  Régis Blanc authored 12 years ago
  
  f488cec4
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 07, 2012
- comment on the copy from FunctionTemplate · f9b46be6
  Régis Blanc authored 12 years ago
  
  f9b46be6
- clearer error message for big int from Z3 · 4b8eacfc
  Régis Blanc authored 12 years ago
  
  4b8eacfc
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 13 years ago
  
  1fdb3046
May 18, 2012
- add a List imperative and use bestRealType · 05156cb2
  Régis Blanc authored 13 years ago
  
  05156cb2
- fix a bug with pretty printer of match in scala format · 67e30baf
  Régis Blanc authored 13 years ago
  
  67e30baf
May 17, 2012
- clean up the code · c0066341
  Régis Blanc authored 13 years ago
  
  c0066341
- print post condition as ensuring and precondition as require · d53a135d
  Régis Blanc authored 13 years ago
  
  d53a135d
- add a method to write a program to a file in valid scala syntax · 92fd83a4
  Régis Blanc authored 13 years ago
  
  92fd83a4
- create a new program that contains the test function and print it in scala format · 604d34eb
  Régis Blanc authored 13 years ago
  
  604d34eb
- generate a function that run all tests · f5b69e3f
  Régis Blanc authored 13 years ago
  
  f5b69e3f
- a scala printer · fd0f1fb2
  Régis Blanc authored 13 years ago
  
  fd0f1fb2
- assemble the collection of path condition and their solving in TestGeneration · 27574af8
  Régis Blanc authored 13 years ago
  
  27574af8
- find all non looping path from a single waypoint to all other expression · 40a6bb1d
  Régis Blanc authored 13 years ago
  
  40a6bb1d
May 16, 2012
- move hoistIte in Trees · f6451aaa
  Régis Blanc authored 13 years ago
  
  f6451aaa
- remove commented code that is no longer useful · f79c3607
  Régis Blanc authored 13 years ago
  
  f79c3607
- write .dot file method · c8cd6246
  Régis Blanc authored 13 years ago
  
  c8cd6246