<commit_before># guppypy

# Example

This example synthesizes BarrelfishOS x86_64 assembly for loading user-space syscall arguments into the kernel during a system call handler.

It creates three synthesis candidates: one by SMT solver and two random ones. It then commits each candidate to version control and tests each candidate using CircleCI and Docker.

| Candidate     | Guppy Diff    | CircleCI build  |
| ------------- |:-------------:| -----:|
| rand-1      | [rand-1](https://github.com/Harvard-PRINCESS/Guppy/compare/dev...stack_order.synthesize_1501045021_rand-1.diff) | [rand-1](https://circleci.com/gh/Harvard-PRINCESS/Guppy/93) |
| rand-2     | [rand-2](https://github.com/Harvard-PRINCESS/Guppy/compare/dev...stack_order.synthesize_1501045021_rand-2.diff) | [rand-2](https://circleci.com/gh/Harvard-PRINCESS/Guppy/94) |
| smt | [smt](https://github.com/Harvard-PRINCESS/Guppy/compare/dev...stack_order.synthesize_1501045021_smt.diff) | [smt](https://circleci.com/gh/Harvard-PRINCESS/Guppy/95) |

```asm<commit_msg>center demo table<commit_after># guppypy

# Example

This example synthesizes BarrelfishOS x86_64 assembly for loading user-space syscall arguments into the kernel during a system call handler.

It creates three synthesis candidates: one by SMT solver and two random ones. It then commits each candidate to version control and tests each candidate using CircleCI and Docker.

| Candidate     | Guppy Diff    | CircleCI build  |
| :-------------: |:-------------:| :-----:|
| rand-1      | [rand-1](https://github.com/Harvard-PRINCESS/Guppy/compare/dev...stack_order.synthesize_1501045021_rand-1.diff) | [rand-1](https://circleci.com/gh/Harvard-PRINCESS/Guppy/93) |
| rand-2     | [rand-2](https://github.com/Harvard-PRINCESS/Guppy/compare/dev...stack_order.synthesize_1501045021_rand-2.diff) | [rand-2](https://circleci.com/gh/Harvard-PRINCESS/Guppy/94) |
| smt | [smt](https://github.com/Harvard-PRINCESS/Guppy/compare/dev...stack_order.synthesize_1501045021_smt.diff) | [smt](https://circleci.com/gh/Harvard-PRINCESS/Guppy/95) |

```asm
{'fraction_non_alphanumeric': 0.1638472692121798, 'fraction_numerical': 0.04639922667955534, 'mean_word_length': 3.8027842227378192, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 12, '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': '2780841', 'n_tokens_mistral': 780, 'n_tokens_neox': 712, 'n_words': 133}