<commit_before>homepage: ''
changelog-type: markdown
hash: 78cb91af1c80aef49541ef007a548a052204d90a212cf419384d3b7fdc6f3be7
test-bench-deps: {}
maintainer: <EMAIL>
synopsis: Encode and Decode expressions from Z3 ASTs
changelog: ! '# Revision history for expressions-z3


  ## 0.1.1


  * Bump dependencies


  ## 0.1.0


  * First version. Released on an unsuspecting world.

'
basic-deps:
  base: ! '>=4.9 && <4.11'
  expressions: ! '>=0.1 && <0.2'
  containers: ! '>=0.5 && <0.5.11'
  singletons: ! '>=2.2 && <2.4'
  transformers: ! '>=0.5.2 && <0.6'
  z3: ! '>=4.1.2 && <4.2'
all-versions:
- '0.1.0'
- '0.1.1'
author: <NAME>
latest: '0.1.1'
description-type: haddock
description: ! 'A simple interface for converting expressions back and forth between
  pure

  representation and an AST within a Z3 context.


  Assume<commit_msg>Update from Hackage at 2018-02-10T18:51:04Z<commit_after>homepage: ''
changelog-type: markdown
hash: ac961881f586b679c6daf0797af6819502b0cd29f89e0e0b0ef56890c90dc8c3
test-bench-deps: {}
maintainer: <EMAIL>
synopsis: Encode and Decode expressions from Z3 ASTs
changelog: ! '# Revision history for expressions-z3


  ## 0.1.2


  * Bump dependencies


  ## 0.1.1


  * Bump dependencies


  ## 0.1.0


  * First version. Released on an unsuspecting world.

'
basic-deps:
  base: ! '>=4.9 && <4.12'
  expressions: ! '>=0.1 && <0.2'
  containers: ! '>=0.5 && <0.6'
  singletons: ! '>=2.2 && <2.5'
  transformers: ! '>=0.5.2 && <0.6'
  z3: ! '>=4.1.2 && <4.2'
all-versions:
- '0.1.0'
- '0.1.1'
- '0.1.2'
author: <NAME>
latest: '0.1.2'
description-type: haddock
description: ! 'A simple interface for converting expressions back and forth between
  pure

  representation and an AST within a Z3 context.


  Assume
{'fraction_non_alphanumeric': 0.16016073478760046, 'fraction_numerical': 0.11194029850746269, 'mean_word_length': 3.5390625, 'pattern_counts': {'":': 0, '<': 19, '<?xml version=': 0, '>': 19, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '5693786', 'n_tokens_mistral': 814, 'n_tokens_neox': 721, 'n_words': 169}