Commits · fc3d723fa9e843bb30b5702afc5332fed7308451 · LARA / inox

Oct 19, 2015
- Offer command line option to parallelize verification conditions · fc3d723f
  Manos Koukoutos authored 9 years ago
  
  fc3d723f
- Even more time for repair benchmarks · a953439c
  Manos Koukoutos authored 9 years ago
  
  a953439c
- Fix this comment · b3a835ca
  Manos Koukoutos authored 9 years ago
  
  b3a835ca
- Break down slow test suites · cec93641
  Manos Koukoutos authored 9 years ago
  
  cec93641
- convertHoles -> convert · e8e87ca8
  Manos Koukoutos authored 9 years ago
  
  e8e87ca8
Oct 16, 2015
- Make this more readable · 41223045
  Manos Koukoutos authored 9 years ago
  
  41223045
- Squash synthesis conversion phases · 346748f5
  Manos Koukoutos authored 9 years ago
  
  346748f5
- Typos · 1cacc923
  Manos Koukoutos authored 9 years ago
  
  1cacc923
- Put Model in different file · cac2626a
  Manos Koukoutos authored 9 years ago
  
  cac2626a
Oct 15, 2015
- Catch stack-overflows occuring while checking in Pfolio · 2666d873
  Etienne Kneuss authored 9 years ago
  
  2666d873
- Update scala-smtlib to prevent issues with exceptions while interupting · 3597e1ff
  Etienne Kneuss authored 9 years ago
  
  3597e1ff
- Catch exceptions thrown in assertCnstr · d39332d2
  Etienne Kneuss authored 9 years ago
  
  d39332d2
Oct 14, 2015
- import should go at top level · 4b225124
  Regis Blanc authored 9 years ago
  
  4b225124
- Warning about ADT fields should be positioned · 71b6a002
  Etienne Kneuss authored 9 years ago
  
  71b6a002
Oct 13, 2015
- Remarks in documentation · e623a4cf
  Viktor Kuncak authored 9 years ago
  
  e623a4cf
- Ok, let's print nothing by default · 332903c0
  Manos Koukoutos authored 9 years ago
  
  332903c0
- Implement a bad version of printing vc position in SMT file · 6ac88da4
  Manos Koukoutos authored 9 years ago
  
  6ac88da4
- Make sure stripMargin does not break printer · 7ed6ba69
  Manos Koukoutos authored 9 years ago
  
  7ed6ba69
- XLangVerificationSuite checks for z3 · a791ddb8
  Manos Koukoutos authored 9 years ago
  
  a791ddb8
- Just a typo · 565d17ae
  Manos Koukoutos authored 9 years ago
  
  565d17ae
- Don't dump stats while generating invariants · 210e5bc7
  Manos Koukoutos authored 9 years ago
  
  210e5bc7
Oct 09, 2015
- Display more information in case of a verification failure · e7ffc49c
  Etienne Kneuss authored 9 years ago
  
  e7ffc49c
- Fail tests with better errors · f5895876
  Etienne Kneuss authored 9 years ago
  
  f5895876
- Simplify tests · 74a62d6e
  Manos Koukoutos authored 9 years ago
  
  74a62d6e
- Let's give more time to repair tests · 2163b315
  Etienne Kneuss authored 9 years ago
  2163b315
- Finitemaps are now maps, surprisingly. · aa95e1b8
  Etienne Kneuss authored 9 years ago
  
  aa95e1b8
- Support for calling @extern functions · f12376b2
  Etienne Kneuss authored 9 years ago
  
  f12376b2
- Remove warning · 1167bcef
  Etienne Kneuss authored 9 years ago
  
  1167bcef
- Printer improvements · 0e6fa10f
  Manos Koukoutos authored 9 years ago
  0e6fa10f
- all properties of coins implemented · 65268fe8
  Regis Blanc authored 9 years ago
  
  65268fe8
- same non linear constraints without adt proving in z3 · a0fb2d32
  Regis Blanc authored 9 years ago
  
  a0fb2d32
- working on coins with real numbers · a7e64005
  Regis Blanc authored 9 years ago
  
  a7e64005
- rewrite coins with rational · 5c500290
  Regis Blanc authored 9 years ago
  
  5c500290
- conditional probabilities · f81cd4e6
  Regis Blanc authored 9 years ago
  
  f81cd4e6
- more independence results · 59e61dfb
  Regis Blanc authored 9 years ago
  
  59e61dfb
- indepence of coins · 9bff2987
  Regis Blanc authored 9 years ago
  
  9bff2987
- coins properties · 49a2f1e3
  Regis Blanc authored 9 years ago
  
  49a2f1e3
- progress · 1624f257
  Regis Blanc authored 9 years ago
  
  1624f257
- addition modulo 6 · d6d2ec50
  Regis Blanc authored 9 years ago
  
  d6d2ec50
- some dices distribution properties · 8dc63930
  Regis Blanc authored 9 years ago
  
  8dc63930