Commits · 35da251f09ae835e4a9b9426e6ea9f344e3f92ea · LARA / inox

Apr 29, 2016
- 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
- Setting up the stage for CodeGen · 6e6292ff
  Philippe Suter authored 12 years ago
  
  6e6292ff
Nov 29, 2012
- Update z3/scalaz3 libraries · cb4d9d00
  Etienne Kneuss authored 12 years ago
  
  cb4d9d00
Oct 26, 2012
- solving the 32/64 *within sbt* problem · a6fce097
  Philippe Suter authored 12 years ago
  
  a6fce097
Oct 15, 2012
- Detect arch type and generate leon script accordingly · 658bf42e
  Etienne Kneuss authored 12 years ago
  
  658bf42e
Mar 05, 2012
- Migrated to xsbt (aka sbt 0.11). · 648f7381
  Philippe Suter authored 13 years ago
  
  648f7381