Commits · 2cf7b6beaa313de87510c0939f4bf78edf6afad9 · LARA / inox · GitLab

Snippets Groups Projects

You need to sign in or sign up before continuing.

Feb 05, 2014
- Improve printer, improve TypedFunDef, fix variablesOf · 2cf7b6be
  Etienne Kneuss authored 11 years ago
  
  2cf7b6be
Feb 04, 2014
- Instanciate Lets correctly · 6043f2ab
  Etienne Kneuss authored 11 years ago
  
  6043f2ab
- Release Leon 2.2 with generics · 46a48f1d
  Etienne Kneuss authored 11 years ago
  
  46a48f1d
- Implement generics for functions and ADTs · 1708d239
  Etienne Kneuss authored 11 years ago
  1708d239
Feb 03, 2014
- Remove unused ad-hoc test files · 8c91bcc4
  Etienne Kneuss authored 11 years ago
  
  8c91bcc4
Jan 31, 2014
- remove the need for innerXXX methods · a3cab185
  Régis Blanc authored 11 years ago
  a3cab185
- Unrolling solver takes an incremental solver · e53c900a
  Régis Blanc authored 11 years ago
  e53c900a
Jan 29, 2014
- fix out of date info in README.md · 899ec22f
  Régis Blanc authored 11 years ago
  
  899ec22f
Jan 27, 2014
- Rewrite ChooseCollector using generic Collector · 38641196
  Régis Blanc authored 11 years ago
  
  38641196
- Introduce array access VC in DefaultTactic · 55246deb
  Régis Blanc authored 11 years ago
  55246deb
- implement missing ArrayUpdated in codegen · 3e223b3d
  Régis Blanc authored 11 years ago
  
  3e223b3d
Jan 10, 2014
- Improve readme · dbf8b945
  Etienne Kneuss authored 11 years ago
  
  dbf8b945
- Fix deprecated API · fda24ca7
  Etienne Kneuss authored 11 years ago
  
  fda24ca7
- Release Leon 2.1 · ed6c4fb4
  Etienne Kneuss authored 11 years ago
  
  ed6c4fb4
- Clean TreeOps API · baba33f8
  Etienne Kneuss authored 11 years ago
  baba33f8
Dec 16, 2013
- Support Choose in evaluation, range positions, tracing. · e02cd510
  Etienne Kneuss authored 11 years ago
  e02cd510
Dec 03, 2013
- Improve FileInterface, flatten functions with immediate simple LetDefs · 980a4fc4
  Etienne Kneuss authored 11 years ago
  
  980a4fc4
- Fix pretty-printer indenting and braces · 6d9d8dd5
  Etienne Kneuss authored 11 years ago
  
  6d9d8dd5
Dec 02, 2013
- Extract more (range) positions · 1506a713
  Etienne Kneuss authored 11 years ago
  
  1506a713
- Remove confusing plugin package, move to frontends.scalac · 002d9643
  Etienne Kneuss authored 11 years ago
  
  002d9643
- Rework positions, introduce RangePositions · 480e8a3d
  Etienne Kneuss authored 11 years ago
  
  480e8a3d
- Common Tree class, rework & improve pretty-printers · 6579ed24
  Etienne Kneuss authored 11 years ago
  
  6579ed24
Nov 29, 2013
- Remove global state in Termination · dd985716
  Etienne Kneuss authored 11 years ago
  
  dd985716
- Duplicate programs to limit side-effects · cc60855a
  Etienne Kneuss authored 11 years ago
  
  cc60855a
Nov 20, 2013
- Add testcase for AVLTree · 60d7be95
  Etienne Kneuss authored 11 years ago
  
  60d7be95
- Have Condition Abduction work at least in manual mode · 1f2deec4
  Etienne Kneuss authored 11 years ago
  
  1f2deec4
- More flexible and powerful refinement of variables in CA · 0e0b4a14
  Ivan Kuraj authored 11 years ago
  
  0e0b4a14
- Fixed the missing eval parameters, added some logging · c0e06d67
  Ivan Kuraj authored 11 years ago
  
  c0e06d67
- Consolidate and re-organize testcases · 82f37c6b
  Etienne Kneuss authored 11 years ago
  
  82f37c6b
Nov 15, 2013
- Add/Fix support for (a: Type) patterns · 3ff98050
  Etienne Kneuss authored 11 years ago
  
  3ff98050
- Rework Match <-> i.t.e w/ aggressive flattening. Test transformations. · 6ff085d1
  Etienne Kneuss authored 11 years ago
  
  6ff085d1
Nov 13, 2013
- Basic flattening for pattern match reconstruction · 5e6413e5
  Etienne Kneuss authored 11 years ago
  
  5e6413e5
- Fix Z3 crash when class hierarchy contains an isolated abstract class · 221d1a52
  Etienne Kneuss authored 11 years ago
  
  221d1a52
- Only output reason for z3's UNKNOWN in certain cases · a51bceb9
  Etienne Kneuss authored 11 years ago
  
  a51bceb9
Nov 12, 2013
- Do not compile and package files found in the Leon base directory · adc8b294
  Etienne Kneuss authored 11 years ago
  
  adc8b294
- Add debug section for termination · dfdb0418
  Etienne Kneuss authored 11 years ago
  
  dfdb0418
- Updated project and added solver memory freeing · ab6fc65d
  Nicolas Voirol authored 11 years ago
  
  ab6fc65d
- Added automatic testing to termination framework and corrected some · 4c7364b8
  Nicolas Voirol authored 11 years ago
  4c7364b8
- Fixed small but in ChainProcessor · e37d54ce
  Nicolas Voirol authored 11 years ago
  
  e37d54ce
- Implement termination checker · f0cbe2ce
  Nicolas Voirol authored 12 years ago
  
  f0cbe2ce