Commits · github/fork/jad-hamza/replaceFromSymbols-positions · LARA / inox · GitLab

Snippets Groups Projects

Sep 02, 2019
- Add an option to copy positions from old tree when doing substitutions · ce17562d
  Jad Hamza authored 5 years ago
  
  ce17562d
Jun 29, 2019
- Move implicit debug section higher · eb87ecf0
  Jad Hamza authored 5 years ago
  
  eb87ecf0
Jun 27, 2019
- Simplify inside choose predicates · a6cbf8e2
  Nicolas Voirol authored 5 years ago
  
  a6cbf8e2
- Check purity of tuples by checking that all components are pure · 0ce50b8a
  Jad Hamza authored 5 years ago
  
  0ce50b8a
Jun 08, 2019
- Fix bugs in tut documentation due to Scala 2.12 · 2d898055
  Nicolas Voirol authored 5 years ago
  
  2d898055
Jun 03, 2019
- Use InoxSet instead of Set in Z3Target to avoid clash with Z3's Set · 3c23a864
  Jad Hamza authored 6 years ago
  
  3c23a864
- Parsing and extraction for lambdas in Z3 (4.8.4) model output · a1ffdd6c
  Jad Hamza authored 6 years ago
  
  a1ffdd6c
May 21, 2019
- Consider all non-obvious choose's to be impure · 08fb4efc
  Jad Hamza authored 6 years ago
  
  08fb4efc
May 18, 2019
- Remove scm tag in pomExtra · 397ae7b4
  Nicolas Voirol authored 6 years ago
  
  397ae7b4
May 03, 2019
- Apache license · a1fffa92
  Viktor Kuncak authored 6 years ago
  
  a1fffa92
Mar 15, 2019
- Split processOptions into two functions · f39cca7e
  Romain Ruetschi authored 6 years ago
  
  f39cca7e
- Bump sbt to 1.2.8 · 195ea77c
  Nicolas Voirol authored 6 years ago
  
  195ea77c
Mar 13, 2019
- Fix always true equality test in Templates · 6cdfa722
  Romain Ruetschi authored 6 years ago
  
  6cdfa722
Mar 01, 2019
- BVTypeExtractor should not be sealed · eb2c919d
  Manos Koukoutos authored 6 years ago
  
  eb2c919d
- Fix in simplification of tuples · f0f34a03
  Jad Hamza authored 6 years ago
  
  f0f34a03
- Accept getOrElseUpdate when obviously fine · 172933e5
  Nicolas Voirol authored 6 years ago
  
  172933e5
- Replace all occurences of getOrElseUpdate with manual update. · 6aebd247
  Romain Ruetschi authored 6 years ago
  6aebd247
- Fix issue in freshenLocals where a ValDef would sometimes be freshened twice · 6c3c75c2
  Romain Ruetschi authored 6 years ago
  6c3c75c2
Feb 04, 2019
- Add override point for reporter creation · ac07339d
  Romain Ruetschi authored 6 years ago
  
  ac07339d
Oct 25, 2018
- Add some positions in type parameters · ec5dd7d4
  Nicolas Voirol authored 6 years ago
  
  ec5dd7d4
- Fail on duplicate flags · 2f024c9b
  Nicolas Voirol authored 6 years ago
  
  2f024c9b
- Add position to Choose in freshenLocals · 7a5c97b7
  Nicolas Voirol authored 6 years ago
  
  7a5c97b7
Oct 24, 2018
- Some more well-formedness checks · bce63035
  Nicolas Voirol authored 6 years ago
  
  bce63035
Oct 23, 2018
- Enable creation of PrinterOptions with printTypes · 70f791e9
  Nicolas Voirol authored 6 years ago
  
  70f791e9
Oct 16, 2018
- Revert some unnecessary changes · 673e4cc7
  Nicolas Voirol authored 6 years ago
  
  673e4cc7
- Improvement in typeParamsOf · 9a21f4a1
  Nicolas Voirol authored 6 years ago
  
  9a21f4a1
- Improve expression equivalence in presence of dep-types · 2072674c
  Nicolas Voirol authored 6 years ago
  
  2072674c
Oct 12, 2018
- Sort options when printing help message · 20370d30
  Nicolas Voirol authored 6 years ago
  
  20370d30
- Improve solver option validation · 146dce82
  Nicolas Voirol authored 6 years ago
  
  146dce82
- Drop useless widening override point · 5598093d
  Nicolas Voirol authored 6 years ago
  
  5598093d
Oct 11, 2018
- Some more clarifications · 541bfb4a
  Nicolas Voirol authored 6 years ago
  
  541bfb4a
- Clarify transformWithPC effects on types · 41fc97c2
  Nicolas Voirol authored 6 years ago
  
  41fc97c2
- Small API improvements for transformerWithPC · 3b01b911
  Nicolas Voirol authored 6 years ago
  
  3b01b911
- Better equality for dependent types · 820ab20e
  Nicolas Voirol authored 6 years ago
  
  820ab20e
- Improve bound variables check · 77e58d15
  Nicolas Voirol authored 6 years ago
  
  77e58d15
- Revert the GenTreeOps changes · 07bbc1b4
  Nicolas Voirol authored 6 years ago
  
  07bbc1b4
- Improve variablesOf computation · d84e2fef
  Nicolas Voirol authored 6 years ago
  
  d84e2fef
- Improve self traverser naming · ea8edc6c
  Nicolas Voirol authored 6 years ago
  
  ea8edc6c
- Generalize GenTreeOps to dependent types · 5530e860
  Nicolas Voirol authored 6 years ago
  
  5530e860
Oct 10, 2018
- Add bound variables in simplifier · 7d53e672
  Nicolas Voirol authored 6 years ago
  
  7d53e672