Commits · c1d2f1a8df2ae16c8f20086954ad3cfea00c158c · LARA / inox

Aug 05, 2016
- 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
- Add patterns to DSL · 6a6e7eb0
  Manos Koukoutos authored 8 years ago
  
  6a6e7eb0
- Pattern binders should be ordered · 2dd6b190
  Manos Koukoutos authored 8 years ago
  
  2dd6b190
- DSL to construct expressions · 4aa8b9be
  Manos Koukoutos authored 8 years ago
  
  4aa8b9be
- Mostly hide fields that can cause ambiguity · c34f614f
  Manos Koukoutos authored 8 years ago
  
  c34f614f
Jul 24, 2016
- Grammars compile · 5fa2b09f
  Manos Koukoutos authored 8 years ago
  
  5fa2b09f
Jul 23, 2016
- More private fields · 3c3ac6fb
  Manos Koukoutos authored 8 years ago
  
  3c3ac6fb
Jul 22, 2016
- Fixes in trees · 18d49df7
  Nicolas Voirol authored 8 years ago
  
  18d49df7
Jul 21, 2016
- Inox evaluators · 65fec880
  Nicolas Voirol authored 8 years ago
  
  65fec880
Jul 20, 2016
- leon -> inox in utils · 677ec8c5
  Manos Koukoutos authored 8 years ago
  
  677ec8c5
- Compiles!! Wouhoouuuuu!! · d2303d96
  Nicolas Voirol authored 8 years ago
  
  d2303d96
Jul 19, 2016
- Started work on the solvers · 1696e4a7
  Nicolas Voirol authored 8 years ago
  
  1696e4a7