jraregris/advent2020 - Change WFLILUZIPJ4S2PGS5VTH5DM4U3VFGME5O6U3VJB6Y5Q727SFLZMQC

day 8 part 2

Created by oddmunds on December 23, 2020

WFLILUZIPJ4S2PGS5VTH5DM4U3VFGME5O6U3VJB6Y5Q727SFLZMQC

Dependencies

[2] 2V5JBKFOQ7U4WQQ4KFO67OJCS3MUSRGJN5656IULIJSUIJL7TCUQC

In channels

main

Change contents

File addition: program_test.exs (-rw-r--r--)

[2.13]

defmodule ProgramTest do
  use ExUnit.Case
  test "parse program" do
    example_string = File.read!("example")
    parsed_program =
      String.split(example_string, "\n", trim: true)
      |> Enum.map(&Operation.parse/1)
    assert Program.parse(example_string) == parsed_program
  end
  test "decorruptions" do
    assert Program.decorruptions([]) == [[]]
    assert Program.decorruptions([{:acc, 3}]) == [[{:acc, 3}]]
    assert Program.decorruptions([{:nop, 3}]) == [[{:nop, 3}], [{:jmp, 3}]]
    assert Program.decorruptions([{:jmp, 3}]) == [[{:jmp, 3}], [{:nop, 3}]]
  end
end

File addition: operation_test.exs (-rw-r--r--)

[2.13]

defmodule OperationTest do
  use ExUnit.Case
  test "parse operation" do
    assert Operation.parse("nop +0") == {:nop, 0}
    assert Operation.parse("acc +1") == {:acc, 1}
    assert Operation.parse("jmp +4") == {:jmp, 4}
    assert Operation.parse("jmp -3") == {:jmp, -3}
  end
end

File addition: machine_test.exs (-rw-r--r--)

[2.13]

defmodule MachineTest do
  use ExUnit.Case
  test "new machine has ip 0" do
    assert Machine.init().ip == 0
  end
  test "new machine has acc 0" do
    assert Machine.init().acc == 0
  end
  test "init machine with program" do
    example_program = Program.parse(File.read!("example"))
    machine = Machine.init(example_program)
    assert machine.program == example_program
  end
  test "operation NOP" do
    next = Machine.init() |> Machine.apply({:nop, 0})
    assert next.ip == 1
    assert next.acc == 0
  end
  test "operation ACC" do
    next = Machine.init() |> Machine.apply({:acc, 23})
    assert next.ip == 1
    assert next.acc == 23
  end
  test "operation JMP" do
    next = Machine.init() |> Machine.apply({:jmp, 22})
    assert next.ip == 22
    assert next.acc == 0
  end
  test "eof" do
    machine = [{:acc, 3}] |> Machine.init()
    assert machine.acc == 0
    assert machine.halt == false
    assert machine.eof == false
    machine = machine |> Machine.run()
    assert machine.acc == 3
    assert machine.halt == true
    assert machine.eof == true
  end
end

Deletion in 08/test/handheld_halting_test.exs at line 4 [2.77]

B:BD[2.155] → [2.155:305]


  test "new machine has ip 0" do
    assert Machine.init().ip == 0
  end
  test "new machine has acc 0" do
    assert Machine.init().acc == 0
  end

Deletion in 08/test/handheld_halting_test.exs at line 5 [2.77]

B:BD[2.306] → [2.306:1504]

  test "operation NOP" do
    next = Machine.init() |> Machine.apply({:nop})
    assert next.ip == 1
    assert next.acc == 0
  end
  test "operation ACC" do
    next = Machine.init() |> Machine.apply({:acc, 23})
    assert next.ip == 1
    assert next.acc == 23
  end
  test "operation JMP" do
    next = Machine.init() |> Machine.apply({:jmp, 22})
    assert next.ip == 22
    assert next.acc == 0
  end
  test "parse operation" do
    assert HandheldHalting.parse_operation("nop +0") == {:nop}
    assert HandheldHalting.parse_operation("acc +1") == {:acc, 1}
    assert HandheldHalting.parse_operation("jmp +4") == {:jmp, 4}
    assert HandheldHalting.parse_operation("jmp -3") == {:jmp, -3}
  end
  test "parse program" do
    example_string = File.read!("example")
    parsed_program =
      String.split(example_string, "\n", trim: true)
      |> Enum.map(&HandheldHalting.parse_operation/1)
    assert HandheldHalting.parse_program(example_string) == parsed_program
  end
  test "init machine with program" do
    example_program = HandheldHalting.parse_program(File.read!("example"))
    machine = Machine.init(example_program)
    assert machine.program == example_program
  end

Replacement in 08/test/handheld_halting_test.exs at line 8 [2.77]
B:BD[2.1599] → [2.1599:1648]
```
    machine_2 = machine |> Machine.apply({:nop})
```
[2.1599]
[2.1648]
```
    machine_2 = machine |> Machine.apply({:nop, 0})
```

Replacement in 08/test/handheld_halting_test.exs at line 10 [2.77]

B:BD[2.1684] → [2.1684:1735]

    machine_3 = machine_2 |> Machine.apply({:nop})

[2.1684]

[2.1735]

    machine_3 = machine_2 |> Machine.apply({:nop, 0})

Replacement in 08/test/handheld_halting_test.exs at line 15 [2.77]

B:BD[2.1818] → [2.1818:1883]

    machine = [{:nop}, {:acc, 4}, {:acc, -10}] |> Machine.init()

[2.1818]

[2.1883]

    machine = [{:nop, 0}, {:acc, 4}, {:acc, -10}] |> Machine.init()

Replacement in 08/test/handheld_halting_test.exs at line 37 [2.77]

B:BD[2.2424] → [2.2424:2499]

    machine = [{:nop}, {:acc, 4}, {:jmp, -1}, {:acc, 9}] |> Machine.init()

[2.2424]

[2.2499]

    machine = [{:nop, 0}, {:acc, 4}, {:jmp, -1}, {:acc, 9}] |> Machine.init()

Replacement in 08/test/handheld_halting_test.exs at line 69 [2.77]

B:BD[2.3317] → [2.3317:3409]

    machine = [{:nop}, {:acc, 4}, {:jmp, -1}, {:acc, 9}] |> Machine.init() |> Machine.run()

[2.3317]

[2.3409]

    machine = [{:nop, 0}, {:acc, 4}, {:jmp, -1}, {:acc, 9}] |> Machine.init() |> Machine.run()

Replacement in 08/test/handheld_halting_test.exs at line 78 [2.77]

B:BD[2.3563] → [2.3563:3650]

    machine = File.read!("input") |> HandheldHalting.parse_program() |> Machine.init()

[2.3563]

[2.3650]

    machine = File.read!("input") |> Program.parse() |> Machine.init()

Insertion in 08/test/handheld_halting_test.exs at line 82 [2.77]

[2.3733]

  end
  test "part 2" do
    File.read!("input")
    |> Program.parse()
    |> Program.decorruptions()
    |> Enum.map(&Machine.init/1)
    |> Enum.map(&Machine.run/1)
    |> Enum.filter(&(&1.eof == true))
    |> Enum.map(& &1.acc)
    |> IO.inspect(label: "Part 2")

Insertion in 08/mix.lock at line 2 [2.3755]

[2.3759]

  "dialyxir": {:hex, :dialyxir, "1.0.0", "6a1fa629f7881a9f5aaf3a78f094b2a51a0357c843871b8bc98824e7342d00a5", [:mix], [{:erlex, ">= 0.2.6", [hex: :erlex, repo: "hexpm", optional: false]}], "hexpm", "aeb06588145fac14ca08d8061a142d52753dbc2cf7f0d00fc1013f53f8654654"},
  "erlex": {:hex, :erlex, "0.2.6", "c7987d15e899c7a2f34f5420d2a2ea0d659682c06ac607572df55a43753aa12e", [:mix], [], "hexpm", "2ed2e25711feb44d52b17d2780eabf998452f6efda104877a3881c2f8c0c0c75"},

Replacement in 08/mix.exs at line 24 [2.4278]

B:BD[2.4725] → [2.4725:4787]

      {:mix_test_watch, "~> 1.0", only: :dev, runtime: false}

[2.4725]

[2.4787]

      {:mix_test_watch, "~> 1.0", only: :dev, runtime: false},
      {:dialyxir, "~> 1.0", only: [:dev], runtime: false}

File addition: program.ex (-rw-r--r--)

[2.4810]

defmodule Program do
  @type t() :: [Operation.t()]
  @spec parse(binary) :: t()
  def parse(program_string) do
    program_string
    |> String.split("\n", trim: true)
    |> Enum.map(&Operation.parse/1)
  end
  @spec decorruptions(Program.t()) :: [Program.t()]
  def decorruptions(program) do
    [program | decorruptions([], program)]
  end
  @spec decorruptions(Program.t(), Program.t()) :: [Program.t()]
  def decorruptions(_, []) do
    []
  end
  def decorruptions(left, right) do
    [op | rest] = right
    case op do
      {:acc, _} -> decorruptions(left ++ [op], rest)
      {:nop, n} -> [left ++ [{:jmp, n} | rest]] ++ decorruptions(left ++ [op], rest)
      {:jmp, n} -> [left ++ [{:nop, n} | rest]] ++ decorruptions(left ++ [op], rest)
    end
  end
end

File addition: operation.ex (-rw-r--r--)

[2.4810]

defmodule Operation do
  @type t() :: {:nop, integer()} | {:acc, integer()} | {:jmp, integer()}
  @spec parse(binary()) :: Operation.t()
  def parse("nop " <> n) do
    {:nop, String.to_integer(n)}
  end
  def parse("acc " <> n) do
    {:acc, String.to_integer(n)}
  end
  def parse("jmp " <> n) do
    {:jmp, String.to_integer(n)}
  end
end

Replacement in 08/lib/machine.ex at line 2 [2.4824]

B:BD[2.4846] → [2.4846:4911]

  defstruct ip: 0, acc: 0, program: [], visited: [], halt: false

[2.4846]

[2.4911]

  defstruct ip: 0, acc: 0, program: [], visited: [], halt: false, eof: false
  @type t() :: %Machine{
          ip: integer(),
          acc: integer(),
          program: Program.t(),
          visited: [integer()],
          halt: boolean(),
          eof: boolean()
        }

Insertion in 08/lib/machine.ex at line 13 [2.4824]
[2.4912]
[2.4912]
```
  @spec init :: Machine.t()
```
Insertion in 08/lib/machine.ex at line 18 [2.4824]
[2.4950]
[2.4950]
```
  @spec init(Program.t()) :: Machine.t()
```

Replacement in 08/lib/machine.ex at line 23 [2.4824]

B:BD[2.5011] → [2.5011:5056]

  def apply(%Machine{} = machine, {:nop}) do

[2.5011]

[2.5056]

  @spec apply(Machine.t(), Operation.t()) :: Machine.t()
  def apply(%Machine{} = machine, {:nop, _}) do

Insertion in 08/lib/machine.ex at line 41 [2.4824]
[2.5519]
[2.5519]
```
  @spec step(Machine.t()) :: Machine.t()
```

Replacement in 08/lib/machine.ex at line 43 [2.4824]

B:BD[2.5555] → [2.5555:5752]

    if Enum.member?(machine.visited, machine.ip) do
      %Machine{machine | halt: true}
    else
      operation = machine.program |> Enum.at(machine.ip)
      machine |> Machine.apply(operation)

[2.5555]

[2.5752]

    cond do
      machine.ip == length(machine.program) ->
        %Machine{machine | halt: true, eof: true}
      Enum.member?(machine.visited, machine.ip) ->
        %Machine{machine | halt: true}
      true ->
        operation = machine.program |> Enum.at(machine.ip)
        machine |> Machine.apply(operation)

Insertion in 08/lib/machine.ex at line 56 [2.4824]
[2.5767]
[2.5767]
```
  @spec run(Machine.t()) :: Machine.t()
```

Deletion in 08/lib/handheld_halting.ex at line 2 [2.5990]

B:BD[2.6020] → [2.6020:6361]

  def parse_operation("nop" <> _) do
    {:nop}
  end
  def parse_operation("acc " <> n) do
    {:acc, String.to_integer(n)}
  end
  def parse_operation("jmp " <> n) do
    {:jmp, String.to_integer(n)}
  end
  def parse_program(program_string) do
    program_string |> String.split("\n", trim: true) |> Enum.map(&parse_operation/1)
  end

Replacement in 08/assignment at line 1 [2.11718]
B:BD[2.11718] → [2.11719:11751]
```
--- Day 8: Handheld Halting ---
```
[2.11718]
[2.11751]
```
# Day 8: Handheld Halting
```

Insertion in 08/assignment at line 10 [2.11718]

[2.12460]


**acc** increases or decreases a single global value called the accumulator by the value given in the argument. For example, acc +7 would increase the accumulator by 7. The accumulator starts at 0. After an acc instruction, the instruction immediately below it is executed next.

Replacement in 08/assignment at line 13 [2.11718]

B:BD[2.12461] → [2.12461:13192]

    acc increases or decreases a single global value called the accumulator by the value given in the argument. For example, acc +7 would increase the accumulator by 7. The accumulator starts at 0. After an acc instruction, the instruction immediately below it is executed next.
    jmp jumps to a new instruction relative to itself. The next instruction to execute is found using the argument as an offset from the jmp instruction; for example, jmp +2 would skip the next instruction, jmp +1 would continue to the instruction immediately below it, and jmp -20 would cause the instruction 20 lines above to be executed next.
    nop stands for No OPeration - it does nothing. The instruction immediately below it is executed next.

[2.12461]

[2.13192]

**jmp** jumps to a new instruction relative to itself. The next instruction to execute is found using the argument as an offset from the jmp instruction; for example, jmp +2 would skip the next instruction, jmp +1 would continue to the instruction immediately below it, and jmp -20 would cause the instruction 20 lines above to be executed next.
**nop** stands for No OPeration - it does nothing. The instruction immediately below it is executed next.

Insertion in 08/assignment at line 19 [2.11718]
[2.13239]
[2.13239]
```
```assembly
```
Insertion in 08/assignment at line 29 [2.11718]
[2.13303]
[2.13303]
```
```
```
Insertion in 08/assignment at line 33 [2.11718]
[2.13351]
[2.13351]
```
```assembly
```
Insertion in 08/assignment at line 43 [2.11718]
[2.13461]
[2.13461]
```
```
```
Replacement in 08/assignment at line 53 [2.11718]
B:BD[2.14260] → [2.14260:14277]
```
--- Part Two ---
```
[2.14260]
[2.14277]
```
## Part Two
```
Insertion in 08/assignment at line 63 [2.11718]
[2.14813]
[2.14813]
```
```assembly
```
Insertion in 08/assignment at line 73 [2.11718]
[2.14877]
[2.14877]
```
```
```
Insertion in 08/assignment at line 79 [2.11718]
[2.15301]
[2.15301]
```
```assembly
```
Insertion in 08/assignment at line 89 [2.11718]
[2.15403]
[2.15403]
```
```
```
Insertion in 08/assignment at line 91 [2.11718]
[2.15404]
[2.15404]
Replacement in 08/README.md at line 3 [2.15834]
B:BD[2.15854] → [2.15854:15880]
```
**TODO: Add description**
```
[2.15854]
[2.15880]
```
## Decorruption
```
Replacement in 08/README.md at line 5 [2.15834]
B:BD[2.15881] → [2.15881:15897]
```
## Installation
```
[2.15881]
[2.15897]
```
### First step
```

Replacement in 08/README.md at line 7 [2.15834]

B:BD[2.15898] → [2.15898:16051]

If [available in Hex](https://hex.pm/docs/publish), the package can be installed
by adding `handheld_halting` to your list of dependencies in `mix.exs`:

[2.15898]

[2.16051]

> left = []
>
> right = [n0, a1, j4, a3, j-3, a-99, a1, j-4, a6]
>
> out = []

Deletion in 08/README.md at line 13 [2.15834]

B:BD[2.16052] → [2.16052:16126]

```elixir
def deps do
  [
    {:handheld_halting, "~> 0.1.0"}
  ]
end
```

Deletion in 08/README.md at line 14 [2.15834]

B:BD[2.16127] → [2.16127:16375]

Documentation can be generated with [ExDoc](https://github.com/elixir-lang/ex_doc)
and published on [HexDocs](https://hexdocs.pm). Once published, the docs can
be found at [https://hexdocs.pm/handheld_halting](https://hexdocs.pm/handheld_halting).

Insertion in 08/README.md at line 15 [2.15834]

[2.16376]

> left = [n0]
>
> right = [a1 j4, a3, j-3, a-99, a1, j-4, a6]
>
> out = [[n0, a1, j4, a3, j-3, a-99, a1, j-4, a6],
>
>        [j0, a1, j4, a3, j-3, a-99, a1, j-4, a6]]

day 8 part 2

Dependencies

In channels

Change contents

File addition: program_test.exs (-rw-r--r--)

File addition: operation_test.exs (-rw-r--r--)

File addition: machine_test.exs (-rw-r--r--)

Deletion in 08/test/handheld_halting_test.exs at line 4 [2.77]

Deletion in 08/test/handheld_halting_test.exs at line 5 [2.77]

Replacement in 08/test/handheld_halting_test.exs at line 8 [2.77]

Replacement in 08/test/handheld_halting_test.exs at line 10 [2.77]

Replacement in 08/test/handheld_halting_test.exs at line 15 [2.77]

Replacement in 08/test/handheld_halting_test.exs at line 37 [2.77]

Replacement in 08/test/handheld_halting_test.exs at line 69 [2.77]

Replacement in 08/test/handheld_halting_test.exs at line 78 [2.77]

Insertion in 08/test/handheld_halting_test.exs at line 82 [2.77]

Insertion in 08/mix.lock at line 2 [2.3755]

Replacement in 08/mix.exs at line 24 [2.4278]

File addition: program.ex (-rw-r--r--)

File addition: operation.ex (-rw-r--r--)

Replacement in 08/lib/machine.ex at line 2 [2.4824]

Insertion in 08/lib/machine.ex at line 13 [2.4824]

Insertion in 08/lib/machine.ex at line 18 [2.4824]

Replacement in 08/lib/machine.ex at line 23 [2.4824]

Insertion in 08/lib/machine.ex at line 41 [2.4824]

Replacement in 08/lib/machine.ex at line 43 [2.4824]

Insertion in 08/lib/machine.ex at line 56 [2.4824]

Deletion in 08/lib/handheld_halting.ex at line 2 [2.5990]

Replacement in 08/assignment at line 1 [2.11718]

Insertion in 08/assignment at line 10 [2.11718]

Replacement in 08/assignment at line 13 [2.11718]

Insertion in 08/assignment at line 19 [2.11718]

Insertion in 08/assignment at line 29 [2.11718]

Insertion in 08/assignment at line 33 [2.11718]

Insertion in 08/assignment at line 43 [2.11718]

Replacement in 08/assignment at line 53 [2.11718]

Insertion in 08/assignment at line 63 [2.11718]

Insertion in 08/assignment at line 73 [2.11718]

Insertion in 08/assignment at line 79 [2.11718]

Insertion in 08/assignment at line 89 [2.11718]

Insertion in 08/assignment at line 91 [2.11718]

Replacement in 08/README.md at line 3 [2.15834]

Replacement in 08/README.md at line 5 [2.15834]

Replacement in 08/README.md at line 7 [2.15834]

Deletion in 08/README.md at line 13 [2.15834]

Deletion in 08/README.md at line 14 [2.15834]

Insertion in 08/README.md at line 15 [2.15834]