Commits · 51dc95519adc260f16c6838a70052451b3b69702 · LARA / inox · GitLab

Snippets Groups Projects

Oct 28, 2016
- 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
- Fixed TIP parser for hex bitvectors & generalized identity transformers · df8ef8c8
  Nicolas Voirol authored 8 years ago
  df8ef8c8
Oct 10, 2016
- Lots of refactoring to enable encoding solvers · bc7d332a
  Nicolas Voirol authored 8 years ago
  
  bc7d332a
Oct 07, 2016
- Removed tip-benchmarks submodule · bd01d1b3
  Nicolas Voirol authored 8 years ago
  
  bd01d1b3
- Better variablesOf extension point · b218ffba
  Nicolas Voirol authored 8 years ago
  
  b218ffba
- Better TIP parsing/printing, more flexible SMTLIBTarget · 381a3d31
  Nicolas Voirol authored 8 years ago
  
  381a3d31
- Update to latest scala-smtlib for tip parsing and positions · eebce6a1
  Nicolas Voirol authored 8 years ago
  
  eebce6a1
Oct 06, 2016
- Removed TIP benchmark · 0975af43
  Nicolas Voirol authored 8 years ago
  
  0975af43
Oct 04, 2016
- All TIP parser tests run · fcaa876f
  Nicolas Voirol authored 8 years ago
  
  fcaa876f