Commits · 778cc7ca331ffd610ba98d021b12ba9b4cc0e3cc · LARA / inox · GitLab

Snippets Groups Projects

Oct 31, 2016
- More precise types · 778cc7ca
  Nicolas Voirol authored 8 years ago
  
  778cc7ca
- Lots of fixes for quantifier instantiation module · acbea642
  Nicolas Voirol authored 8 years ago
  
  acbea642
Oct 29, 2016
- Fix for unique lambda extractions from model · ea7cbd6a
  Nicolas Voirol authored 8 years ago
  
  ea7cbd6a
- Correct sorting for resource listing · 892b7e57
  Nicolas Voirol authored 8 years ago
  
  892b7e57
- Added utility for changing a program's context · bcb0589e
  Nicolas Voirol authored 8 years ago
  
  bcb0589e
- Added call-graph based orderings · 2628128f
  Nicolas Voirol authored 8 years ago
  
  2628128f
Oct 28, 2016
- Fixed call blocker positioning · 8d08a552
  Nicolas Voirol authored 8 years ago
  
  8d08a552
- Fixed FiniteMap ast change in tests · 940e7dec
  Nicolas Voirol authored 8 years ago
  
  940e7dec
- Interrupt isn't only scoped to Inox · 51dc9551
  Nicolas Voirol authored 8 years ago
  
  51dc9551
- Fixed quantifier template unrolling for deferred ground instantiations · ac4ad2f8
  Nicolas Voirol authored 8 years ago
  
  ac4ad2f8
- Fix for model extraction in UnrollingSolver · 83139845
  Nicolas Voirol authored 8 years ago
  
  83139845
- FiniteMap with to type + fixes in ProgramEncoder · f34d906f
  Nicolas Voirol authored 8 years ago
  
  f34d906f
Oct 27, 2016
- Better typing checking and typing debug · ca731869
  Nicolas Voirol authored 8 years ago
  
  ca731869
Oct 26, 2016
- Ordering on characters · f9daa0d7
  Nicolas Voirol authored 8 years ago
  
  f9daa0d7
- No paramIds! · a81517e5
  Nicolas Voirol authored 8 years ago
  
  a81517e5
- More flexible transformers · 73321ddd
  Nicolas Voirol authored 8 years ago
  
  73321ddd
Oct 25, 2016
- Minor aesthetic changes in Expressions · 5d20989a
  Nicolas Voirol authored 8 years ago
  
  5d20989a
Oct 24, 2016
- Refactored testing code · 6929d665
  Nicolas Voirol authored 8 years ago
  
  6929d665
- More comprehensive tree-transformers for Symbols · 69c2bf47
  Nicolas Voirol authored 8 years ago
  
  69c2bf47
- Better id.asString · 2cbde59c
  Nicolas Voirol authored 8 years ago
  
  2cbde59c
- Certain MainHelpers fields should be lazy · dafa42ad
  Nicolas Voirol authored 8 years ago
  
  dafa42ad
- Added timers debug to Main · 7e3ac13c
  Nicolas Voirol authored 8 years ago
  
  7e3ac13c
- Useful implicit conversion for definition flags · 63d9ea28
  Nicolas Voirol authored 8 years ago
  
  63d9ea28
- Moved the Identifier alias to the root package · 6bfbe20d
  Nicolas Voirol authored 8 years ago
  
  6bfbe20d
Oct 23, 2016
- Better TreeDeconstructor instantiation system · fecfef7f
  Nicolas Voirol authored 8 years ago
  
  fecfef7f
Oct 21, 2016
- Updated tests for new options · a2a57136
  Nicolas Voirol authored 8 years ago
  
  a2a57136
- Reorganized options and added a simple main to Inox · b8001518
  Nicolas Voirol authored 8 years ago
  
  b8001518
Oct 20, 2016
- Nicer transformers · 8265a97e
  Nicolas Voirol authored 8 years ago
  
  8265a97e
Oct 19, 2016
- Update for encoding solvers and evaluators · 77f69481
  Nicolas Voirol authored 8 years ago
  
  77f69481
- A few changes for stainless termination: · 966f4050
  Nicolas Voirol authored 8 years ago
  966f4050
Oct 18, 2016
- Esthetic changes in transformers + unary minus in DSL · db91a8c3
  Nicolas Voirol authored 8 years ago
  
  db91a8c3
- Small fixes in various transformers · d80e434d
  Nicolas Voirol authored 8 years ago
  
  d80e434d
Oct 17, 2016
- Documented Trees#Identifier and added ADTDefinition transform · 682d8a59
  Nicolas Voirol authored 8 years ago
  
  682d8a59
- Add fundef.transform · adb9875d
  Manos Koukoutos authored 8 years ago
  
  adb9875d
- paramids · fd78556b
  Manos Koukoutos authored 8 years ago
  
  fd78556b
- Identifier is not a dep. type. Small changes to CollectorWithPC · 6fc6e8c3
  Manos Koukoutos authored 8 years ago
  
  6fc6e8c3
- More extension points for Symbol transformers · 11912ad9
  Nicolas Voirol authored 8 years ago
  
  11912ad9
- Use private[this] for caches (should be a bit faster) · c95c63d0
  Nicolas Voirol authored 8 years ago
  
  c95c63d0
Oct 11, 2016
- Nicer abstract Symbol member overrides · 8eef6f0c
  Nicolas Voirol authored 8 years ago
  
  8eef6f0c
- Small fixes for solver factories · 074c1ac8
  Nicolas Voirol authored 8 years ago
  
  074c1ac8