Commits · 234ba1606023e57f87fb6b0f1e8afc7ced3712d2 · LARA / inox

Nov 27, 2016
- Ignore compilation warnings from scala-smtlib and princess · 234ba160
  Nicolas Voirol authored 8 years ago
  
  234ba160
Nov 24, 2016
- Fixing bugs in equality and theory encoders · 742500e1
  Nicolas Voirol authored 8 years ago
  
  742500e1
Nov 23, 2016
- Make project depend on princess svn source · dce0bdd1
  Nicolas Voirol authored 8 years ago
  
  dce0bdd1
- Started work on ADTs in Princess backend · 127cf430
  Nicolas Voirol authored 8 years ago
  
  127cf430
- Added initial version of Princess interface. · 62084744
  Peter Backeman authored 8 years ago
  62084744
Nov 10, 2016
- TIP parsing and printing working and tested · b56f0572
  Nicolas Voirol authored 8 years ago
  
  b56f0572
Nov 06, 2016
- Guaranteed finite bags and sets · 3932b6e5
  Nicolas Voirol authored 8 years ago
  
  3932b6e5
Oct 07, 2016
- Update to latest scala-smtlib for tip parsing and positions · eebce6a1
  Nicolas Voirol authored 8 years ago
  
  eebce6a1
Oct 02, 2016
- Updated scala-smtlib version for TIP parser overrides · 361d07b4
  Nicolas Voirol authored 8 years ago
  
  361d07b4
Aug 18, 2016
- Fixes and preparation for stainless · fbbca114
  Nicolas Voirol authored 8 years ago
  
  fbbca114
Aug 16, 2016
- All integration tests pass · 6f3c0e9c
  Nicolas Voirol authored 8 years ago
  
  6f3c0e9c
Aug 15, 2016
- Added first integration tests, repaired some bugs · 58d97d7f
  Nicolas Voirol authored 8 years ago
  
  58d97d7f
Aug 12, 2016
- Working on integration tests for solvers · 652e5b19
  Nicolas Voirol authored 8 years ago
  
  652e5b19
Aug 11, 2016
- first batch of unit tests running · 17772124
  Regis Blanc authored 8 years ago
  
  17772124
Aug 09, 2016
- Simplify/ rename in build.sbt · 132d9c35
  Manos Koukoutos authored 8 years ago
  
  132d9c35
Aug 05, 2016
- Change project name to inox · caeaec9f
  Manos Koukoutos authored 8 years ago
  
  caeaec9f
May 12, 2016
- Latest scala-smtlib version · 90208c93
  Manos Koukoutos authored 8 years ago
  
  90208c93
May 02, 2016
- Disabled buffered log for NativeZ3 regression (tests are sequential · a46a21c4
  Nicolas Voirol authored 9 years ago
  a46a21c4
May 01, 2016
- Attempt at reducing native-z3 parallelism during tests · 45496c70
  Nicolas Voirol authored 9 years ago
  
  45496c70
- Leon now works again on Windows. · da6264d0
  Mikaël Mayer authored 9 years ago
  
  da6264d0
- Fix use of slf4j so that leon-web works. · 6f2e2d5a
  Mikaël Mayer authored 9 years ago
  
  6f2e2d5a
- Added basic map to string support · 958a90a8
  Mikaël Mayer authored 9 years ago
  958a90a8
Apr 29, 2016
- cafebabe as dependency · 2fea054a
  Manos Koukoutos authored 9 years ago
  
  2fea054a
- Attempt at reducing native-z3 parallelism during tests · 8b347b42
  Nicolas Voirol authored 9 years ago
  
  8b347b42
Apr 28, 2016
- Leon now works again on Windows. · 20113bdf
  Mikaël Mayer authored 9 years ago
  
  20113bdf
Apr 20, 2016
- Fix use of slf4j so that leon-web works. · 9c824b6c
  Mikaël Mayer authored 9 years ago
  
  9c824b6c
Apr 18, 2016
- Added basic map to string support · 85a13c17
  Mikaël Mayer authored 9 years ago
  85a13c17
Apr 07, 2016
- Leon targets latest smtlib · 843ce3f1
  Nicolas Voirol authored 9 years ago
  
  843ce3f1
Apr 05, 2016
- Depend on version of scala-smtlib with force-destroy · ee62f190
  Manos Koukoutos authored 9 years ago
  
  ee62f190
Mar 27, 2016
- Leon/slf4j log bridge · 8ee11c23
  Lars Hupel authored 9 years ago
  
  8ee11c23
- update Scala version to 2.11.8 · 0d94371b
  Lars Hupel authored 9 years ago
  
  0d94371b
Mar 20, 2016
- leon.base property is not needed · 69748a58
  Lars Hupel authored 9 years ago
  
  69748a58
- update to libisabelle 0.3 · f3db3bd3
  Lars Hupel authored 9 years ago
  f3db3bd3
Mar 09, 2016
- use scala-smtlib from official repo · ad6b90b5
  Regis Blanc authored 9 years ago
  
  ad6b90b5
Feb 12, 2016
- Run tests in parallel when asked only (-Dparallel=123) · f75c629d
  Etienne Kneuss authored 9 years ago
  
  f75c629d
Feb 09, 2016
- can assign val to updated array · d8f76573
  Regis Blanc authored 9 years ago
  
  d8f76573
- first batch of tests for array mutation · 4b5362dd
  Regis Blanc authored 9 years ago
  
  4b5362dd
Feb 02, 2016
- Add regression tests for C code generation · c6dce4f2
  Marco Antognini authored 9 years ago
  
  c6dce4f2
Jan 26, 2016
- Update bonsai to latest version · 542dea5c
  Manos Koukoutos authored 9 years ago
  
  542dea5c
Jan 08, 2016
- update libisabelle version · 42b44de8
  Lars Hupel authored 9 years ago
  
  42b44de8