Commits · d790e38af6ad895114876c00a5ac7ccf8d2a904c · LARA / inox

May 13, 2015
- This benchmark actually needs a fix in non-smt solvers · d790e38a
  Etienne Kneuss authored 10 years ago
  
  d790e38a
May 12, 2015
- correct BigInt division and remainder · 06ad7d4a
  Regis Blanc authored 10 years ago
  
  06ad7d4a
May 11, 2015
- New benchmarks with strings, justifications, etc.. · b0373d91
  Etienne Kneuss authored 10 years ago
  
  b0373d91
May 08, 2015
- testing bv division by zero with variables · e233402c
  Regis Blanc authored 10 years ago
  
  e233402c
May 06, 2015
- generate vc for division by zero · 7d353945
  Regis Blanc authored 10 years ago
  
  7d353945
Apr 28, 2015
- Get rid of invalid benchmark · 46b4a943
  Manos Koukoutos authored 10 years ago
  
  46b4a943
Apr 21, 2015
- Make sure that all non-graveyard testcases at least compile, test it · 21422e5d
  Etienne Kneuss authored 10 years ago
  
  21422e5d
Apr 20, 2015
- Remove test that was not really passing solver checks · d9e04cf6
  Etienne Kneuss authored 10 years ago
  
  d9e04cf6
- Add import for Set/Map · f590499b
  Etienne Kneuss authored 10 years ago
  
  f590499b
- Leon defines its own Maps · 4ee5234a
  Etienne Kneuss authored 10 years ago
  4ee5234a
Apr 17, 2015
- Fix test · 634f5761
  Etienne Kneuss authored 10 years ago
  
  634f5761
- Leon defines its own Sets · a86f13a1
  Etienne Kneuss authored 10 years ago
  
  a86f13a1
Apr 16, 2015
- Update copyright notices · 4c5796bc
  Manos Koukoutos authored 10 years ago
  
  4c5796bc
- Remove unhandled tests for now · 915ebc6f
  Manos Koukoutos authored 10 years ago
  
  915ebc6f
- Refactor tests: separate old from new solvers in verification · 54359d4d
  Manos Koukoutos authored 10 years ago
  
  54359d4d
- Fixed an issue with lambda equality · 480631b8
  Nicolas Voirol authored 10 years ago
  
  480631b8
Apr 15, 2015
- Fix test for Church.Squared · 6d108adb
  Etienne Kneuss authored 10 years ago
  
  6d108adb
- Add tests for extraction of implicit defs · dcd628dd
  Etienne Kneuss authored 10 years ago
  
  dcd628dd
- Every Synthesis benchmark in leon-web is now a regression test · 13959168
  Etienne Kneuss authored 10 years ago
  
  13959168
Apr 02, 2015
- Extract ensuring(expr: Boolean) as ensuring(res => expr) · e0482187
  Etienne Kneuss authored 10 years ago
  
  e0482187
Mar 26, 2015
- Move Option to leon.collection · 8f4352d4
  Manos Koukoutos authored 10 years ago
  
  8f4352d4
Mar 18, 2015
- Tests main object with the same name as the file to prevent clashes · b828ed70
  Etienne Kneuss authored 10 years ago
  
  b828ed70
- Fix for lambda evaluation · ba72318d
  Nicolas Voirol authored 10 years ago
  
  ba72318d
- A few tests for higher-order regression · 00d71bb8
  Nicolas Voirol authored 10 years ago
  
  00d71bb8
- Move tests to correct directory · f8893d61
  Manos Koukoutos authored 10 years ago
  
  f8893d61
- Default parameters for functions · 8af3310b
  Emmanouil (Manos) Koukoutos authored 11 years ago
  
  8af3310b
- Move tests failing the frontend to FrontEndTests · 463b47e1
  Manos Koukoutos authored 10 years ago
  
  463b47e1
- The the main object in each test should match the file name · 4fbe3438
  Manos Koukoutos authored 10 years ago
  
  4fbe3438
Mar 06, 2015
- Implement Ensuring, Choose as HOFs · a3216570
  Manos Koukoutos authored 10 years ago
  
  a3216570
Mar 03, 2015
- xlang does not eliminate side effect in blocks · 563fcbfc
  Regis Blanc authored 10 years ago
  563fcbfc
- no-xlang checking phase · 15f66010
  Regis Blanc authored 10 years ago
  
  15f66010
Feb 28, 2015
- that benchmark was checking for not equals bug · 31db59f9
  Régis Blanc authored 10 years ago
  
  31db59f9
Feb 27, 2015
- Gives more memory to travis to run tests · a4df62f9
  Regis Blanc authored 10 years ago
  
  a4df62f9
Feb 25, 2015
- fix rational test · 491d59c1
  Regis Blanc authored 10 years ago
  
  491d59c1
Feb 24, 2015
- Eliminate MutableTyped from Expr's. Improve how respective Expr's are handled. · 83e59c6f
  Manos Koukoutos authored 10 years ago
  83e59c6f
- front-end only accepts != with comparable types · e7ad02a5
  Regis Blanc authored 10 years ago
  
  e7ad02a5
Feb 21, 2015
- list operations testcase is back · 47b97071
  Régis Blanc authored 10 years ago
  
  47b97071
Feb 20, 2015
- cleaner BigInt extractor front-end · c2179e13
  Regis Blanc authored 10 years ago
  
  c2179e13
- fix bug while reading int literal from z3 models · 2fe24a49
  Regis Blanc authored 10 years ago
  
  2fe24a49
Feb 17, 2015
- add support for bits operations · 4481325f
  Regis Blanc authored 10 years ago
  4481325f