Commits · fa9183567bda1a0b6ab32df50cc36516a8706ddf · LARA / inox · GitLab

Snippets Groups Projects

Jun 18, 2015
- split the Termination Cake into two parts: · fa918356
  Samuel Gruetter authored 9 years ago
  fa918356
- don't tupleWrap before each call of RelationComparator.sizeDecreasing, · ce6306c6
  Samuel Gruetter authored 9 years ago
  ce6306c6
- --verify --termination does verification and termination checking in one run · d9b9c41d
  Samuel Gruetter authored 9 years ago
  
  d9b9c41d
- don't change RelationProcessor · 88adff8f
  Samuel Gruetter authored 9 years ago
  
  88adff8f
- implement body of abs function --> Termination2 works · 5992df36
  Samuel Gruetter authored 10 years ago
  
  5992df36
- replace case IntegerType in size func by abs(expr), does not work on mytests/Termination2.scala · eda946cc
  Samuel Gruetter authored 10 years ago
  
  eda946cc
- simple self calls detector · 5062da61
  Samuel Gruetter authored 9 years ago
  
  5062da61
- make termination checker respect --solvers argument, · 5bcd6142
  Samuel Gruetter authored 9 years ago
  5bcd6142
Jun 17, 2015
- Let deleting code hides errors · 83f8f8bf
  Manos Koukoutos authored 9 years ago
  
  83f8f8bf
- Fix an error in printing · 18384fd3
  Manos Koukoutos authored 9 years ago
  
  18384fd3
- Simplify/clean up extractors · a8cdb84c
  Manos Koukoutos authored 9 years ago
  
  a8cdb84c
- Use ground solver in tests · b8b66898
  Manos Koukoutos authored 9 years ago
  
  b8b66898
- Some simplifications · a9c3f4c2
  Manos Koukoutos authored 9 years ago
  
  a9c3f4c2
- Revive some dead code · 2593e1b2
  Manos Koukoutos authored 9 years ago
  
  2593e1b2
- Correct a bug/ simplify some cases in ExprOps · c562f300
  Manos Koukoutos authored 9 years ago
  
  c562f300
- Allow up to Function22 in CodeExtraction, simplify · 92e3c1df
  Manos Koukoutos authored 9 years ago
  
  92e3c1df
Jun 16, 2015
- doc conf: author list in one string, alphabetical · 2b5517f9
  Viktor Kuncak authored 9 years ago
  
  2b5517f9
Jun 11, 2015
- Make Leon strings a bit more scala-friendly · fe1158fe
  Etienne Kneuss authored 9 years ago
  
  fe1158fe
- Fix Leon strings being always empty · 8347b480
  Etienne Kneuss authored 9 years ago
  
  8347b480
- Fix scalac compilation, accept non-specified @extern fundef · fb017ac3
  Etienne Kneuss authored 9 years ago
  
  fb017ac3
Jun 10, 2015
- Improve help message · dc5cd629
  Manos Koukoutos authored 9 years ago
  
  dc5cd629
- Include GroundSolver in docs · 0118c357
  Manos Koukoutos authored 9 years ago
  
  0118c357
- Introducing GroundSolver · 8d899398
  Manos Koukoutos authored 9 years ago
  
  8d899398
- Assume ind. hypothesis for all VCKind's · ff0c03d0
  Manos Koukoutos authored 9 years ago
  
  ff0c03d0
- More cleanup · 64c49949
  Manos Koukoutos authored 9 years ago
  
  64c49949
- Clean up GroupedTactic · 164c7b29
  Manos Koukoutos authored 9 years ago
  
  164c7b29
- Simplifications/corrections · 5d53aecb
  Manos Koukoutos authored 9 years ago
  
  5d53aecb
- Prioritize displaying invalid instead of unknown · 1f28ecbf
  Manos Koukoutos authored 9 years ago
  
  1f28ecbf
- Update to latest scala-smtlib · c723d520
  Manos Koukoutos authored 9 years ago
  
  c723d520
- Assume contracts of inductive calls · 58c16119
  Manos Koukoutos authored 9 years ago
  
  58c16119
- Display id instead of globalID for SMT identifiers · 024778d8
  Manos Koukoutos authored 9 years ago
  
  024778d8
- Choose GroupedTactic even if subsolver of Portfolio needs it · d5536f7c
  Manos Koukoutos authored 9 years ago
  
  d5536f7c
- Free solvers in tests · 25a98f63
  Manos Koukoutos authored 9 years ago
  
  25a98f63
- Termination checks library funs without @library · 2103d041
  Manos Koukoutos authored 9 years ago
  
  2103d041
- Only generate one vc per function group in GroupedTactic · 053c4545
  Manos Koukoutos authored 9 years ago
  
  053c4545
- Make generated Build.scala readable · 17195f17
  Manos Koukoutos authored 9 years ago
  
  17195f17
- Re-implement simple @extern · 32223a62
  Etienne Kneuss authored 9 years ago
  32223a62
Jun 03, 2015
- Use """ in Build.scala to prevent issues with \ in windows paths · a020448a
  Etienne Kneuss authored 9 years ago
  
  a020448a
- Add --assumpre option to assume the precondition when unfolding · 85505865
  Etienne Kneuss authored 9 years ago
  85505865
Jun 02, 2015
- Prevent user in case of an invalid usage of ADTs · 1949076d
  Etienne Kneuss authored 9 years ago
  1949076d