Code

Add Idris2 json benchmark#504

Code

Open

Matthew-Mosior wants to merge 31 commits intokostya:masterkostya/benchmarks:masterfrom

Matthew-Mosior:idris2-jsonMatthew-Mosior/benchmarks:idris2-jsonCopy head branch name to clipboard

Commits

Commits on Dec 17, 2024

• Adding files for new Idris2 brainfuck array implementation, as well as re-organizing and modernizing Idris2.

  Matthew-Mosior

  committed
  ef3692c

  Copy full SHA for ef3692c

• Adding updated Idris2 brainfuck/brainfuck-array implementations.

  Matthew-Mosior

  committed
  c7f986d

  Copy full SHA for c7f986d

• Removing snoclist implementation.

  Matthew-Mosior

  committed
  0c3c236

  Copy full SHA for 0c3c236

• Updating Idris2 paths.

  Matthew-Mosior

  committed
  17b603c

  Copy full SHA for 17b603c

• Removing old Idris2 build command.

  Matthew-Mosior

  committed
  8e1548a

  Copy full SHA for 8e1548a

• Updating required files.

  Matthew-Mosior

  committed
  2b11a65

  Copy full SHA for 2b11a65

• Fixing .gitmodules.

  Matthew-Mosior

  committed
  0b82db7

  Copy full SHA for 0b82db7

• Updating Makefile.

  Matthew-Mosior

  committed
  df3fbe7

  Copy full SHA for df3fbe7

• Fixing both Makefile and commands.mk.

  Matthew-Mosior

  committed
  ead2c28

  Copy full SHA for ead2c28

• Cleaning up Dockerfile.

  Matthew-Mosior

  committed
  c4a22d3

  Copy full SHA for c4a22d3

• Updating Dockerfile.

  Matthew-Mosior

  committed
  06cd1a8

  Copy full SHA for 06cd1a8

• Reverting changes to README.md.

  Matthew-Mosior

  committed
  c10e9ee

  Copy full SHA for c10e9ee

• Updating Dockerfile.

  Matthew-Mosior

  committed
  dd1fffd

  Copy full SHA for dd1fffd

• Fixing Dockerfile.

  Matthew-Mosior

  committed
  200eeb3

  Copy full SHA for 200eeb3

• Fixing Haskell (Dockerfile and code).

  Matthew-Mosior

  committed
  8ab2fa4

  Copy full SHA for 8ab2fa4

• Fixing scala.

  Matthew-Mosior

  committed
  a75c1d8

  Copy full SHA for a75c1d8

• Fixing scala.

  Matthew-Mosior

  committed
  22789de

  Copy full SHA for 22789de

Commits on Dec 18, 2024

• Fix bf-staged.scala (get it up to date).

  Matthew-Mosior

  committed
  60c2af1

  Copy full SHA for 60c2af1

• Fixing bf.v (getting up to date).

  Matthew-Mosior

  committed
  3dd7cc6

  Copy full SHA for 3dd7cc6

• Fixing Makefile.

  Matthew-Mosior

  committed
  caaad24

  Copy full SHA for caaad24

Commits on Feb 26, 2025

• Adding Idris2 mutable array version (in-progress) and updating Idris2 run platform.

  Matthew-Mosior

  committed
  1adb0ce

  Copy full SHA for 1adb0ce

Commits on Mar 7, 2025

• Updating code.

  Matthew-Mosior

  committed
  762ffde

  Copy full SHA for 762ffde

• Updating README.md.

  Matthew-Mosior

  committed
  4249b93

  Copy full SHA for 4249b93

• Updating code.

  Matthew-Mosior

  committed
  e9a41ee

  Copy full SHA for e9a41ee

• Updating code.

  Matthew-Mosior

  committed
  af7dfae

  Copy full SHA for af7dfae

• Updating code.

  Matthew-Mosior

  committed
  d3e5b04

  Copy full SHA for d3e5b04

• Removed unnecessary files and submodules.

  Matthew-Mosior

  committed
  96ec870

  Copy full SHA for 96ec870

• Removed unnecessary files and submodules.

  Matthew-Mosior

  committed
  c42aa57

  Copy full SHA for c42aa57

• Updating code.

  Matthew-Mosior

  committed
  4b5dcaf

  Copy full SHA for 4b5dcaf

• Merge branch 'master' into idris2-json

  Matthew-Mosior

  authored
  8f9e257

  Copy full SHA for 8f9e257

• Updating README.md.

  Matthew-Mosior

  committed
  80b917b

  Copy full SHA for 80b917b