Commits · 8dd29e18ac7070cc6bcc817799d32c4bc82cf377 · LARA / inox

May 23, 2016
- Fixed scalaz3 for windows version. · 624e5a72
  Mikaël Mayer authored 8 years ago
  
  624e5a72
May 20, 2016
- Added native bags to FairZ3 and reverted to (faster) Z3-4.3.2 · 494a891b
  Nicolas Voirol authored 8 years ago
  
  494a891b
May 02, 2016
- Revert "Remove vanuatoo" · 972d07c7
  Manos Koukoutos authored 8 years ago
  972d07c7
May 01, 2016
- Updated scalaz3-unix to latest · 4606c1a1
  Nicolas Voirol authored 9 years ago
  
  4606c1a1
- Leon now works again on Windows. · da6264d0
  Mikaël Mayer authored 9 years ago
  
  da6264d0
- Latest scalaz3 again · d66b813a
  Nicolas Voirol authored 9 years ago
  
  d66b813a
- Update to latest ScalaZ3 (with null model.eval checking) · 602569b4
  Nicolas Voirol authored 9 years ago
  
  602569b4
- Fixed abstract evaluator & updated ScalaZ3 jar · 3dfd69be
  Nicolas Voirol authored 9 years ago
  
  3dfd69be
Apr 29, 2016
- cafebabe as dependency · 2fea054a
  Manos Koukoutos authored 9 years ago
  
  2fea054a
- Remove vanuatoo · 8e6cfbae
  Manos Koukoutos authored 9 years ago
  
  8e6cfbae
- Remove insynth binary · 35da251f
  Manos Koukoutos authored 9 years ago
  
  35da251f
Apr 28, 2016
- Updated scalaz3-unix to latest · 73adf22d
  Nicolas Voirol authored 9 years ago
  
  73adf22d
- Leon now works again on Windows. · 20113bdf
  Mikaël Mayer authored 9 years ago
  
  20113bdf
Apr 25, 2016
- Latest scalaz3 again · af645f67
  Nicolas Voirol authored 9 years ago
  
  af645f67
- Update to latest ScalaZ3 (with null model.eval checking) · c22e88a3
  Nicolas Voirol authored 9 years ago
  
  c22e88a3
- Fixed abstract evaluator & updated ScalaZ3 jar · 8f06185c
  Nicolas Voirol authored 9 years ago
  
  8f06185c
Mar 20, 2016
- update to libisabelle 0.3 · f3db3bd3
  Lars Hupel authored 9 years ago
  f3db3bd3
Sep 18, 2015
- No more symlink to be windows friendly, who uses 32b anyway! · 6c865e78
  Etienne Kneuss authored 9 years ago
  
  6c865e78
Sep 14, 2015
- Isabelle as a solver in Leon · 6ec1284f
  Lars Hupel authored 9 years ago
  
  6ec1284f
Jul 29, 2014
- Build Leon for Scala 2.11 · b0df8f40
  Etienne Kneuss authored 10 years ago
  
  b0df8f40
May 21, 2014
- Update z3 which would hold on certain ADT definitions · 25fabf5c
  Etienne Kneuss authored 10 years ago
  25fabf5c
Feb 04, 2014
- Implement generics for functions and ADTs · 1708d239
  Etienne Kneuss authored 11 years ago
  1708d239
Oct 18, 2013
- Rely on z3 being bundled now · c5544adf
  Etienne Kneuss authored 11 years ago
  
  c5544adf
Oct 16, 2013
- Remove deprecated accesses, update scalaz3, improve cancellation · 96895abc
  Etienne Kneuss authored 11 years ago
  
  96895abc
Sep 27, 2013
- Refactored the condition abduction code, refactored InSynth code out of Leon,... · 89d021cb
  Ivan Kuraj authored 11 years ago
  89d021cb
Aug 15, 2013
- Use VanuatooDataGen: instrumenting/filtering data gen · 8edcbd66
  Etienne Kneuss authored 11 years ago
  8edcbd66
Jul 16, 2013
- Update versions of ScalaZ3 to latest builds, for 32 and 64b · 278081b8
  Etienne Kneuss authored 11 years ago
  
  278081b8
- ScalaZ3 is specific per architecture · 71455efb
  Etienne Kneuss authored 11 years ago
  
  71455efb
Jul 11, 2013
- Fix Scalaz3 library · c33c5361
  Etienne Kneuss authored 11 years ago
  
  c33c5361
- Upgrade Leon to Scala 2.10.x · c521d3bd
  Etienne Kneuss authored 11 years ago
  c521d3bd
May 06, 2013
- Update version of scalaz3 · 43f195bb
  Etienne Kneuss authored 11 years ago
  
  43f195bb
Jan 11, 2013
- Fixed ClassLoader issue and type errors in evaluation. · 198a5489
  Philippe Suter authored 12 years ago
  198a5489
Dec 17, 2012
- Generalization of Evaluators, and CodeGenEvaluator. · d1592f32
  Philippe Suter authored 12 years ago
  d1592f32
Dec 10, 2012
- :'( · 9a5509d1
  Philippe Suter authored 12 years ago
  
  9a5509d1
- Compile productElements to every case class implementations · 25621685
  Etienne Kneuss authored 12 years ago
  
  25621685
Dec 06, 2012
- Upgraded ScalaZ3 for 32bit architectures · 376c368c
  Philippe Suter authored 12 years ago
  
  376c368c
- Cafebabe for 64bit machines (copy...) · 08941f3f
  Philippe Suter authored 12 years ago
  
  08941f3f
- Case class generation works (use doesn't yet). · 9b5556ac
  Philippe Suter authored 12 years ago
  
  9b5556ac
- Progress in CodeGen. · 6fdae618
  Philippe Suter authored 12 years ago
  6fdae618
- First function compiles :) · 4001e83e
  Philippe Suter authored 12 years ago
  
  4001e83e