Commits · 6f23a5bab4b7ca405b7edcfa977cc96e9620ef9c · LARA / inox

Aug 03, 2016
- 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
Jul 16, 2016
- Progress on inox trees · 9574980d
  Nicolas Voirol authored 8 years ago
  
  9574980d
Jul 13, 2016
- Added datagen, continued working on trees · 282f172c
  Nicolas Voirol authored 8 years ago
  
  282f172c
Jul 12, 2016
- Started cleaning up Inox and rewrote Trees,Expressions,Types,Definitions · fc18ebd5
  Nicolas Voirol authored 8 years ago
  
  fc18ebd5
Jul 06, 2016
- Prints lambdas of fundefs using the fundef's name. · 5e530691
  Mikaël Mayer authored 8 years ago
  5e530691
Jul 04, 2016
- Coverage can now handle tuples. · 13b01fdf
  Mikaël Mayer authored 8 years ago
  13b01fdf
Jun 30, 2016
- Up to date all-markovization. · f03f1028
  Mikaël Mayer authored 8 years ago
  
  f03f1028
Jun 28, 2016
- Fixed an inlining bug. · 3e3c2711
  Mikaël Mayer authored 8 years ago
  
  3e3c2711
- Added forgotten @library on functions names. · fb858669
  Mikaël Mayer authored 8 years ago
  
  fb858669
- QuestionBuilder returns the list of inputs that it tests. · d0fd6f15
  Mikaël Mayer authored 8 years ago
  
  d0fd6f15
- Corrected colspan on WebBuilder · d51c2c9c
  Mikaël Mayer authored 8 years ago
  d51c2c9c
- state in the middle of sfun · 2d762876
  Regis Blanc authored 8 years ago
  
  2d762876
Jun 24, 2016
- generic foreach for all closures · 2ee2d64b
  Regis Blanc authored 8 years ago
  
  2ee2d64b