Commits · bbeb98fc8ce0c822d622ad94b48928fb1c4db3ab · LARA / inox

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
May 02, 2012
- both cnf and dnf transformation does not lead to counter examples · 101a4013
  Régis Blanc authored 12 years ago
  
  101a4013
- add a negation of the contains test in evalClause · 65c7c12e
  Régis Blanc authored 12 years ago
  
  65c7c12e
- handling 1 and -1 in eval · 100929ba
  Régis Blanc authored 12 years ago
  
  100929ba
- fix bug in eval DNF and CNF · 3d739eb7
  Régis Blanc authored 12 years ago
  
  3d739eb7
- buggy dnf transform or (more likely) dnf eval · 6aef2c4d
  Régis Blanc authored 12 years ago
  
  6aef2c4d
- some properties · ebe864d4
  Régis Blanc authored 12 years ago
  
  ebe864d4
May 01, 2012
- work in progress · 9ac401bd
  Régis Blanc authored 12 years ago
  
  9ac401bd
- start sat solver in a functional style · c6c71114
  Régis Blanc authored 12 years ago
  
  c6c71114
- Merge remote-tracking branch 'origin/master' · af2b5105
  Régis Blanc authored 12 years ago
  
  af2b5105
- adding an error director the regression tests · d82c2982
  Régis Blanc authored 12 years ago
  
  d82c2982
- if error in the reporter, exit with with error code instead of throwing exception · 085911d8
  Régis Blanc authored 12 years ago
  
  085911d8
Apr 30, 2012
- Eva gets to read and write too. · 6d090514
  Philippe Suter authored 12 years ago
  
  6d090514
- Merge branch 'master' into instanceOf · 9446319d
  Régis Blanc authored 13 years ago
  
  Conflicts: src/main/scala/leon/plugin/CodeExtraction.scala
  9446319d
- Merge branch 'leon2' · d50f26fe
  Régis Blanc authored 13 years ago
  
  d50f26fe
- more regression tests · 89a1be56
  Régis Blanc authored 13 years ago
  
  89a1be56
Apr 27, 2012
- some more tests · 869ea546
  Régis Blanc authored 13 years ago
  
  869ea546
- test system · 7a8cfc64
  Régis Blanc authored 13 years ago
  
  7a8cfc64
- options to reduce the output to a single line · f8104059
  Régis Blanc authored 13 years ago
  
  f8104059
- Better return results when it is impossible to compute the model · d3f14b31
  Régis Blanc authored 13 years ago
  
  d3f14b31
Apr 26, 2012
- Do not accept letdef in precondition and postcondition · 8f859490
  Régis Blanc authored 13 years ago
  
  8f859490
- Refusing nested epsilon · 07e68e99
  Régis Blanc authored 13 years ago
  
  07e68e99
- was setting type to already typed expression · 0219962e
  Régis Blanc authored 13 years ago
  
  0219962e
- using Logger instead of println · fad34eb2
  Régis Blanc authored 13 years ago
  
  fad34eb2
- keeping annotations while creating new FunDef · e2683e72
  Régis Blanc authored 13 years ago
  
  e2683e72
- different sorting for VCs · f71faa8f
  Régis Blanc authored 13 years ago
  
  f71faa8f
- Using Logger instead of println · 2aadccaf
  Régis Blanc authored 13 years ago
  
  2aadccaf
- moving more tests · b5933720
  Régis Blanc authored 13 years ago
  
  b5933720
- Moving some tests into testcases · 5d8b8094
  Régis Blanc authored 13 years ago
  
  5d8b8094
- verbose option no longer here · c219c26a
  Régis Blanc authored 13 years ago
  
  c219c26a
- Merge branch 'debug' into leon2 · 6f5b6689
  Régis Blanc authored 13 years ago
  
  Conflicts: src/main/scala/leon/Main.scala src/main/scala/leon/PassManager.scala src/main/scala/leon/plugin/LeonPlugin.scala
  6f5b6689
- more epsilon tests · 001b4a9a
  Régis Blanc authored 13 years ago
  
  001b4a9a
- Merge branch 'epsilon' into leon2 · afa71bd4
  Régis Blanc authored 13 years ago
  
  afa71bd4
- Nested fundef handled in postcondition and forbidden in precondition · 94711fcb
  Régis Blanc authored 13 years ago
  
  94711fcb
Apr 25, 2012
- Evaluator case when postcondition of undefined funciton was violated · b01a8682
  Régis Blanc authored 13 years ago
  
  b01a8682
- clean up the code · 8559fb26
  Régis Blanc authored 13 years ago
  
  8559fb26
- special treatment of function that take a constant value · 3df2a8d7
  Régis Blanc authored 13 years ago
  
  3df2a8d7
- small test · 086bac59
  Régis Blanc authored 13 years ago
  
  086bac59