Commits

Branch selector

 partial_eval

User selector

All users

All time

Commit history

Commits on Apr 16, 2025

• Merge pull request #134 from UQ-PAC/div

  Show description for df36c52
  ncough

  authored
  df36c52

  Copy full SHA for df36c52

Commits on Apr 15, 2025

• Revert division lowering to extended bvs

  Show description for c572a29
  ncough

  committed
  c572a29

  Copy full SHA for c572a29

Commits on Apr 9, 2025

• Merge pull request #132 from UQ-PAC/configurable-marshal-dir

  Show description for fd6aba5
  katrinafyi

  authored
  fd6aba5

  Copy full SHA for fd6aba5

Commits on Mar 5, 2025

• offline-coverage validation & ocamlbackend cvt-bool-bv (#131)

  Show description for 0f99fdb
  

  ailrst

  and

  ncough

  authored
  0f99fdb

  Copy full SHA for 0f99fdb

Commits on Feb 7, 2025

• Merge pull request #130 from UQ-PAC/remove-aslp-server-cpp

  Show description for 7d03b87
  katrinafyi

  authored
  7d03b87

  Copy full SHA for 7d03b87

• symbolic_lifter: make marshal dir configurable by env var

  Show description for 25b7ba9
  katrinafyi

  committed
  25b7ba9

  Copy full SHA for 25b7ba9

Commits on Feb 6, 2025

• Merge pull request #129 from UQ-PAC/remove-offline-js

  Show description for 19b1283
  katrinafyi

  authored
  19b1283

  Copy full SHA for 19b1283

• remove aslp-server

  ailrst

  committed
  e682f6d

  Copy full SHA for e682f6d

• remove aslp_offline_jsoo package

  ailrst

  committed
  0cb686d

  Copy full SHA for 0cb686d

• remove aslp-cpp

  ailrst

  committed
  ce253d6

  Copy full SHA for ce253d6

Commits on Feb 5, 2025

• Merge pull request #127 from UQ-PAC/mark-dune-as-generated

  Show description for d264ef3
  katrinafyi

  authored
  d264ef3

  Copy full SHA for d264ef3

• mark dune.generated files as generated

  Show description for 30921a0
  katrinafyi

  committed
  30921a0

  Copy full SHA for 30921a0

Commits on Feb 4, 2025

• bump version (#126)

  ailrst

  authored
  e43aeb2

  Copy full SHA for e43aeb2

• ocaml backend fixes for pc, export offline lifter library (#120)

  Show description for 52726c4
  

  ailrst

  and

  katrinafyi

  authored
  52726c4

  Copy full SHA for 52726c4

Commits on Jan 22, 2025

• ci: bump setup-ocaml version to fix darcs missing (#124)

  Show description for 9b487c6
  katrinafyi

  authored
  9b487c6

  Copy full SHA for 9b487c6

Commits on Jan 21, 2025

• Merge pull request #123 from UQ-PAC/vec_test

  Show description for e61acb0
  ncough

  authored
  e61acb0

  Copy full SHA for e61acb0

• Merge pull request #121 from UQ-PAC/rasl-checks

  Show description for 7fe6e01
  ncough

  authored
  7fe6e01

  Copy full SHA for 7fe6e01

Commits on Jan 17, 2025

• remove lithex

  ailrst

  committed
  4ff2eef

  Copy full SHA for 4ff2eef

• Add prims to scala backend, fix impure issue with rt copyprop

  ncough

  committed
  14b24fe

  Copy full SHA for 14b24fe

• Extend offline for new prims

  ncough

  committed
  c6c51f0

  Copy full SHA for c6c51f0

• Init vectors in coverage, fix resulting errors

  ncough

  committed
  da42348

  Copy full SHA for da42348

Commits on Jan 15, 2025

• more precise suppress check

  ailrst

  committed
  493205b

  Copy full SHA for 493205b

• check for structural language invariants

  ailrst

  committed
  c64e0da

  Copy full SHA for c64e0da

Commits on Jan 14, 2025

• Limit primitives to bool/bv operations

  ncough

  committed
  f83c9b3

  Copy full SHA for f83c9b3

• Add vector operations to symbolic prim list

  ncough

  committed
  48e9961

  Copy full SHA for 48e9961

• remove unneeded cvt int

  ailrst

  committed
  783e4b6

  Copy full SHA for 783e4b6

• update pure prim list and move check to after vectoriser

  ailrst

  committed
  194a6c8

  Copy full SHA for 194a6c8

• fix use of old flag in run.sh

  katrinafyi

  committed
  643bb1e

  Copy full SHA for 643bb1e

• use +dis:check_rasl flag instead of injected boolean

  katrinafyi

  committed
  c501a45

  Copy full SHA for c501a45

Commits on Jan 9, 2025

• add missing intrins from cov

  ailrst

  committed
  3855d2a

  Copy full SHA for 3855d2a

• rasl check for load structure and included primops

  ailrst

  committed
  8500ec0

  Copy full SHA for 8500ec0

Commits on Dec 27, 2024

• Merge pull request #118 from UQ-PAC/httplib-udl-warning

  Show description for dde3c1d
  katrinafyi

  authored
  dde3c1d

  Copy full SHA for dde3c1d

• aslp-cpp: roll httplib to fix user-defined string warning

  Show description for 0960135
  katrinafyi

  committed
  0960135

  Copy full SHA for 0960135

Commits on Dec 26, 2024

• Merge pull request #117 from UQ-PAC/aslp-cpp-exit-in-fork

  Show description for 799846c
  katrinafyi

  authored
  799846c

  Copy full SHA for 799846c

• aslp-cpp: also fix initialisation order wawrning

  katrinafyi

  committed
  3320c6c

  Copy full SHA for 3320c6c