Code

aslt changes + grammar + testing#53

Code

Merged

katrinafyi merged 21 commits intopartial_evalUQ-PAC/aslp:partial_evalfrom aslt-changesUQ-PAC/aslp:aslt-changesCopy head branch name to clipboardMar 18, 2024

+242,960-67,118

Commits

Commits on Mar 18, 2024

• match raw pretty printing of optional_else and indented_block (#51)

  Show description for db0539c
  

  mmcloughlin

  authored and

  katrinafyi

  committed
  db0539c

• dune-project: enable cram tests.

  katrinafyi

  committed
  5308898

• cram: add golden tests for disassembling particular opcodes.

  katrinafyi

  committed
  dfc532e

• coverage: use dune to run coverage testing

  katrinafyi

  committed
  38318bc

• ci: use dune-based coverage test

  Show description for 131cd62
  katrinafyi

  committed
  131cd62

• dune: do not run tests during build

  katrinafyi

  committed
  6892463

• aslt: compact indented blocks when empty.

  katrinafyi

  committed
  8742199

• aslt: quote ident names

  katrinafyi

  committed
  e0de609

• aslt: display integers and bits as bare literals

  katrinafyi

  committed
  d04a029

• aslt: semicolon for stmt lists

  Show description for 0e2d200
  katrinafyi

  committed
  0e2d200

• cram: add ldp/stp

  katrinafyi

  committed
  9f7fe1b

• aslt: reduce redundant parens in expr list and slice list.

  katrinafyi

  committed
  9ea5c19

• cram: separate ops.txt file.

  katrinafyi

  committed
  c655861

• aslt: fix some missing quotes and fix conflict.

  Show description for 2681489
  katrinafyi

  committed
  2681489

• aslt: remove parens around var decl names

  katrinafyi

  committed
  f2ffd5d

• aslt: touch up antlr grammar

  katrinafyi

  committed
  9a50554

• docs: update with new aslt and testing

  katrinafyi

  committed
  cf30082

• ci: runtest

  katrinafyi

  committed
  e04974a

• cram: output aslt instead of antlr tree

  katrinafyi

  committed
  c1d47db

• cram: intersperse opcodes in test_cntlm.t

  katrinafyi

  committed
  7ccaf89

• cram: update output after offline partial eval.

  katrinafyi

  committed
  ecfa846