Commits · 7645771ee50d903a8ad5e519300689d92d78161c · LARA / inox · GitLab

Snippets Groups Projects

Oct 08, 2015
- Make Printing a little more forgiving · 7645771e
  Manos Koukoutos authored 9 years ago
  
  7645771e
- Improve help message · afad9926
  Manos Koukoutos authored 9 years ago
  
  afad9926
- SimplifierWithPaths optionally takes initial path condition · 36777e9d
  Manos Koukoutos authored 9 years ago
  
  36777e9d
- Move handling of Require to TransformerWithPC · f4d5a236
  Manos Koukoutos authored 9 years ago
  
  f4d5a236
- Refactor/generalize collection of correctness cond. · c49e2d77
  Manos Koukoutos authored 9 years ago
  
  c49e2d77
- Porting Orb to smtlib solvers · 02b62f4b
  ravi authored 9 years ago
  
  02b62f4b
Oct 05, 2015
- Refactor Phases/Pipelines · 554d6e66
  Etienne Kneuss authored 9 years ago
  554d6e66
Oct 02, 2015
- Adding testcases for leon-orb web integeration · dcd1b287
  ravi authored 9 years ago
  
  dcd1b287
- Making some changes for Orb leon-web integration · 1390aa5a
  ravi authored 9 years ago
  
  1390aa5a
Sep 30, 2015
- Update changelog; stub of invariant inference docs · f78aeb22
  Viktor Kuncak authored 9 years ago
  
  f78aeb22
- Improved the date conversion benchmark · df73de93
  Viktor Kuncak authored 9 years ago
  
  df73de93
Sep 29, 2015
- Ingore Nested15 for now · 4bad9728
  Etienne Kneuss authored 9 years ago
  
  4bad9728
- Free these solvers as well · f7fb9845
  Etienne Kneuss authored 9 years ago
  
  f7fb9845
- Merge symbolic resource bound inference for leon (PR153) · 04df727a
  Etienne Kneuss authored 9 years ago
  
  04df727a
- This should give the JVM that tests more room · 27aa7faf
  Etienne Kneuss authored 9 years ago
  
  27aa7faf
- Fix model extraction of solvers and test them · ab98b3ee
  Etienne Kneuss authored 9 years ago
  
  ab98b3ee
- Removing compositional and automatic testcases · c6e7ae28
  ravi authored 9 years ago
  
  c6e7ae28
- (a) Adding support for inferring invariants in Leon. · 9d37d6ad
  Ravi Madhavan authored 9 years ago
  9d37d6ad
- Zune bug test case · 0e89606b
  Viktor Kuncak authored 9 years ago
  
  0e89606b
Sep 28, 2015
- Add some testcases, focus gitignore · cba3b360
  Etienne Kneuss authored 9 years ago
  
  cba3b360
- Add new sygus testcases · 019e5db7
  Etienne Kneuss authored 9 years ago
  
  019e5db7
- additional regression test for unapply patterns · b0289e1f
  Lars Hupel authored 9 years ago
  
  b0289e1f
- track dependencies on unapply patterns in CallGraph · 715fe63a
  Lars Hupel authored 9 years ago
  715fe63a
- quantifier support for Isabelle · bbd4170b
  Lars Hupel authored 9 years ago
  
  bbd4170b
- add library annotation to par package · 54ce14a3
  Lars Hupel authored 9 years ago
  
  54ce14a3
- bump libisabelle version for improved Windows compatibility · e7897507
  Lars Hupel authored 9 years ago
  e7897507
- new CVC4 option · b5b9b1e3
  Etienne Kneuss authored 9 years ago
  
  b5b9b1e3
- Best effort fromSMT with optional target type. · 59db52f6
  Etienne Kneuss authored 9 years ago
  
  59db52f6
- Use --macro-quant, support >1 outputs · ce9875ff
  Etienne Kneuss authored 9 years ago
  
  ce9875ff
- Implement basic sygus, only possible in --manual mode for now · 5dad01db
  Etienne Kneuss authored 9 years ago
  5dad01db
- Substitute types in synthesis holes · 8f743372
  Etienne Kneuss authored 9 years ago
  
  8f743372
Sep 25, 2015
- Add imports to tests · 037665b0
  Manos Koukoutos authored 9 years ago
  
  037665b0
- An example for FunctionClosure with typed polym. functions · 8ea8f2e7
  Manos Koukoutos authored 9 years ago
  
  8ea8f2e7
- Move State examples out of library · 4da32aa4
  Manos Koukoutos authored 9 years ago
  
  4da32aa4
Sep 23, 2015
- Termination works in parallel merge sort, passing length as parameter. Addeded it as testcase. · 6596b511
  Viktor Kuncak authored 9 years ago
  
  6596b511
- Fixed empty domains · 3cd9c09d
  Nicolas Voirol authored 9 years ago
  
  3cd9c09d
- Relaxed quantification checks and added testcases · 71df38e6
  Nicolas Voirol authored 9 years ago
  
  71df38e6
- Optimization for quantification in posts · dad26d13
  Nicolas Voirol authored 9 years ago
  
  dad26d13
- Added set matchers for quantification · 1125b6d9
  Nicolas Voirol authored 9 years ago
  
  1125b6d9
- Don't give invalid characters to the solver · 4ff7a4dc
  Manos Koukoutos authored 9 years ago
  
  4ff7a4dc