Commits · f18e636a77a7380e3d4add1f15bcbb2b199ff123 · LARA / inox

Aug 08, 2016
- Better default constructors, added default trees · f18e636a
  Nicolas Voirol authored 8 years ago
  
  f18e636a
Aug 07, 2016
- Solver package (implicit timeoutSolver wrapper) · 01a8b038
  Nicolas Voirol authored 8 years ago
  
  01a8b038
Aug 06, 2016
- Finished up SolverDataGen · 0b108395
  Nicolas Voirol authored 8 years ago
  
  0b108395
- Some work on GrammarDataGen · 735cd7d3
  Nicolas Voirol authored 8 years ago
  
  735cd7d3
- Working on datagen · 23e2fd89
  Nicolas Voirol authored 8 years ago
  
  23e2fd89
- Native z3 solvers finished · d04f60ba
  Nicolas Voirol authored 8 years ago
  
  d04f60ba
Aug 05, 2016
- SolverPoolFactory · 2f4b69c9
  Manos Koukoutos authored 8 years ago
  
  2f4b69c9
- Implement reclaim of P/Solver factory · 220398f9
  Manos Koukoutos authored 8 years ago
  
  220398f9
- Delete rewriting solver · 57094716
  Manos Koukoutos authored 8 years ago
  
  57094716
- PortfolioSolvers · 379ac744
  Manos Koukoutos authored 8 years ago
  
  379ac744
- Change project name to inox · caeaec9f
  Manos Koukoutos authored 8 years ago
  
  caeaec9f
- Delete all java sources · c1d2f1a8
  Manos Koukoutos authored 8 years ago
  
  c1d2f1a8
Aug 04, 2016
- Cant reset · 0585315b
  Manos Koukoutos authored 8 years ago
  
  0585315b
- SMTLIB{Solver, Target} · 20301b48
  Manos Koukoutos authored 8 years ago
  
  20301b48
- temp · 58887954
  Manos Koukoutos authored 8 years ago
  
  58887954
- Better solver interface · e5cd9450
  Nicolas Voirol authored 8 years ago
  
  e5cd9450
- Working on Z3 solvers · 919c351b
  Nicolas Voirol authored 8 years ago
  
  919c351b
- BVNot and BV evaluation · 3cfb9788
  Nicolas Voirol authored 8 years ago
  
  3cfb9788
- A few new trees · d96c10a8
  Manos Koukoutos authored 8 years ago
  
  d96c10a8
- Add program to TransformerWithPC. Implement SimplifierWithPC. Make some methods final. · 22f3c731
  Manos Koukoutos authored 8 years ago
  
  22f3c731
- Timeout solvers · 988fbcd3
  Nicolas Voirol authored 8 years ago
  
  988fbcd3
- Solver APIs · fa48a804
  Nicolas Voirol authored 8 years ago
  
  fa48a804
Aug 03, 2016
- Blah · a5a9b489
  Manos Koukoutos authored 8 years ago
  
  a5a9b489
- Solver factories · 6f23a5ba
  Nicolas Voirol authored 8 years ago
  
  6f23a5ba
- Removed matchExpr in transformers · 1d64816a
  Nicolas Voirol authored 8 years ago
  
  1d64816a
- Finished up unrolling solver and theory encoders · 6bffff4f
  Nicolas Voirol authored 8 years ago
  
  6bffff4f
- Progress on unrolling solver · 0b8c4c38
  Nicolas Voirol authored 8 years ago
  
  0b8c4c38
- Lots of work on solvers · 55af18c4
  Nicolas Voirol authored 8 years ago
  
  55af18c4
- Add CollectorWithPC constructor · e36ef7c4
  Manos Koukoutos authored 8 years ago
  
  e36ef7c4
- Add ScopeSimplifier, SimplifierWithPC. Exclude guard in matchExprCaseConditions · a3d1a433
  Manos Koukoutos authored 8 years ago
  
  a3d1a433
- Rename UnapplyPattern.id -> fd · 39e4e09d
  Manos Koukoutos authored 8 years ago
  
  39e4e09d
- Transformers · 9af0e9ad
  Manos Koukoutos authored 8 years ago
  
  9af0e9ad
Jul 29, 2016
- Use Variable in lambdas · a64a7178
  Manos Koukoutos authored 8 years ago
  
  a64a7178
- Fix bug in isPurelyFunctional, comments · 9321437a
  Manos Koukoutos authored 8 years ago
  
  9321437a
- Whoops · f46962ed
  Manos Koukoutos authored 8 years ago
  
  f46962ed
- Improvements/comments · 47029993
  Manos Koukoutos authored 8 years ago
  
  47029993
- Comments, slight improvements · 87db906a
  Manos Koukoutos authored 8 years ago
  
  87db906a
- Add support for types and defs. Some renamings. · e0261206
  Manos Koukoutos authored 8 years ago
  
  e0261206
Jul 28, 2016
- Finish pattern/guard support, improvements · 1bcd4533
  Manos Koukoutos authored 8 years ago
  
  1bcd4533
Jul 27, 2016
- Rename files in grammars · c583cc94
  Manos Koukoutos authored 8 years ago
  
  c583cc94