Commits · 613f9b1e86a74fa5942ae3a7f2c9d2bab538fb9c · LARA / inox · GitLab

Snippets Groups Projects

Nov 07, 2016
- Updated ScalaZ3 version (64 bit) · 613f9b1e
  Nicolas Voirol authored 8 years ago
  
  613f9b1e
- Bag encoder tests (and fixes) · e6e0ddce
  Nicolas Voirol authored 8 years ago
  
  e6e0ddce
- Bag encoder that is sound for models · 8b18f681
  Nicolas Voirol authored 8 years ago
  
  8b18f681
- Registered UnrollingSolver as interrupt handler · 136a6f1b
  Nicolas Voirol authored 8 years ago
  
  136a6f1b
- Setup fine(r) grained interrupts in unrolling solver · 3114ffa2
  Nicolas Voirol authored 8 years ago
  
  3114ffa2
Nov 06, 2016
- Guaranteed finite bags and sets · 3932b6e5
  Nicolas Voirol authored 8 years ago
  
  3932b6e5
Nov 05, 2016
- Fixed infinite instantiations in quantification templates · e4faf632
  Nicolas Voirol authored 8 years ago
  
  e4faf632
Nov 04, 2016
- Small fixes in Definitions and Collector · 634a3749
  Nicolas Voirol authored 8 years ago
  
  634a3749
- Small fix in determining lambda normal form during template generation · 52242199
  Nicolas Voirol authored 8 years ago
  
  52242199
- Reworked lambda equality for models returned by underlying solvers · ad497372
  Nicolas Voirol authored 8 years ago
  
  ad497372
- Moaaar fixes · b2a2d989
  Nicolas Voirol authored 8 years ago
  
  b2a2d989
- More fixes in lambda normalization · 4ab5205a
  Nicolas Voirol authored 8 years ago
  
  4ab5205a
- Fixes for lambda equality · 5212f885
  Nicolas Voirol authored 8 years ago
  
  5212f885
Nov 03, 2016
- Fixed limitations in quantifier instantiation module · 529ec803
  Nicolas Voirol authored 8 years ago
  
  529ec803
- Better separation between lambda templates and their structure key · 1ba68eab
  Nicolas Voirol authored 8 years ago
  
  1ba68eab
Nov 02, 2016
- Fixed some stuff with lambda equality · 7b01175f
  Nicolas Voirol authored 8 years ago
  
  7b01175f
Nov 01, 2016
- Some fixes for ADT invariants · 4dd08350
  Nicolas Voirol authored 8 years ago
  
  4dd08350
- You know where this is going by now... · 0ecddfff
  Nicolas Voirol authored 8 years ago
  
  0ecddfff
- Fixed bug in transitive instantiations · 8ef8c170
  Nicolas Voirol authored 8 years ago
  
  8ef8c170
- More heuristics... · ddf077dc
  Nicolas Voirol authored 8 years ago
  
  ddf077dc
- More optimizations in quantifier instantiation · ab7e0b65
  Nicolas Voirol authored 8 years ago
  
  ab7e0b65
- Fix quantification instantiation for same matcher keys · c5e4324d
  Nicolas Voirol authored 8 years ago
  
  c5e4324d
- Better quantifier instantiation optimizations · b7d0f616
  Nicolas Voirol authored 8 years ago
  
  b7d0f616
Oct 31, 2016
- Added some let simplification support in SymbolOps · 3877a916
  Nicolas Voirol authored 8 years ago
  
  3877a916
- Tested (and removed) optimizations in quantifier instantiation module · ab2735d8
  Nicolas Voirol authored 8 years ago
  
  ab2735d8
- More fixes in quantifiers · 40bce122
  Nicolas Voirol authored 8 years ago
  
  40bce122
- 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