Commits

Branch selector

master

User selector

All users

All time

Commit history

Commits on Jun 11, 2025

• change diagram

  

  Benjamin Robson

  committed
  061db40View commit details

  Copy full SHA for 061db40

  Browse repository at this point

Commits on May 5, 2021

• small fixes

  benjaminhr

  committed
  baf8b2fView commit details

  Copy full SHA for baf8b2f

  Browse repository at this point

Commits on May 4, 2021

• update readme

  benjaminhr

  authored
  e9ca099View commit details

  Copy full SHA for e9ca099

  Browse repository at this point

• new binaries and remove test folders

  benjaminhr

  committed
  77a4db9View commit details

  Copy full SHA for 77a4db9

  Browse repository at this point

Commits on May 3, 2021

• fix deq converter bugs

  benjaminhr

  committed
  a272d41View commit details

  Copy full SHA for a272d41

  Browse repository at this point

Commits on Apr 25, 2021

• add argument to deq-helper script

  benjaminhr

  committed
  0c0b43eView commit details

  Copy full SHA for 0c0b43e

  Browse repository at this point

• add deq helper and more processes

  benjaminhr

  committed
  b5fa62bView commit details

  Copy full SHA for b5fa62b

  Browse repository at this point

Commits on Apr 24, 2021

• add example pi procs

  benjaminhr

  committed
  e298afcView commit details

  Copy full SHA for e298afc

  Browse repository at this point

Commits on Apr 23, 2021

• add example pi procs

  benjaminhr

  committed
  8eb65e2View commit details

  Copy full SHA for 8eb65e2

  Browse repository at this point

Commits on Apr 18, 2021

• update readme

  benjaminhr

  committed
  57215a5View commit details

  Copy full SHA for 57215a5

  Browse repository at this point

• update readme

  benjaminhr

  authored
  08c51aaView commit details

  Copy full SHA for 08c51aa

  Browse repository at this point

Commits on Apr 14, 2021

• add determinism checker

  benjaminhr

  committed
  ba58968View commit details

  Copy full SHA for ba58968

  Browse repository at this point

Commits on Mar 29, 2021

• more pi calc examples

  benjaminhr

  committed
  69b67cdView commit details

  Copy full SHA for 69b67cd

  Browse repository at this point

• more pi calc examples

  benjaminhr

  committed
  7b0392bView commit details

  Copy full SHA for 7b0392b

  Browse repository at this point

• new binaries

  benjaminhr

  committed
  416e39fView commit details

  Copy full SHA for 416e39f

  Browse repository at this point

• fix state check fra conversion

  benjaminhr

  committed
  4d9b99bView commit details

  Copy full SHA for 4d9b99b

  Browse repository at this point

Commits on Mar 24, 2021

• more pi calc examples, fix register reading from XML

  benjaminhr

  committed
  6ba3833View commit details

  Copy full SHA for 6ba3833

  Browse repository at this point

Commits on Mar 22, 2021

• new procs

  benjaminhr

  committed
  5dabf5dView commit details

  Copy full SHA for 5dabf5d

  Browse repository at this point

• ignore local_ regs in learned model (deq converter)

  benjaminhr

  committed
  1ffd059View commit details

  Copy full SHA for 1ffd059

  Browse repository at this point

• deq converter

  benjaminhr

  committed
  c72b44fView commit details

  Copy full SHA for c72b44f

  Browse repository at this point

Commits on Mar 21, 2021

• handle ITau in deq converter

  benjaminhr

  committed
  632a92aView commit details

  Copy full SHA for 632a92a

  Browse repository at this point

• start deq converter, and major refactor

  benjaminhr

  committed
  7e133efView commit details

  Copy full SHA for 7e133ef

  Browse repository at this point

Commits on Mar 20, 2021

• add new binaries

  benjaminhr

  committed
  c37cf53View commit details

  Copy full SHA for c37cf53

  Browse repository at this point

• clean up

  benjaminhr

  committed
  51c64f4View commit details

  Copy full SHA for 51c64f4

  Browse repository at this point

Commits on Mar 19, 2021

• major leap forward

  benjaminhr

  committed
  ecd48b1View commit details

  Copy full SHA for ecd48b1

  Browse repository at this point

Commits on Mar 17, 2021

• continue pruning component and add equivalence checker

  benjaminhr

  committed
  1b42abaView commit details

  Copy full SHA for 1b42aba

  Browse repository at this point

Commits on Mar 15, 2021

• start pruning final model implementationg

  benjaminhr

  committed
  3e041a3View commit details

  Copy full SHA for 3e041a3

  Browse repository at this point

Commits on Mar 14, 2021

• enable pifra gc, ISet assigns all regs, global freshness against all registers

  benjaminhr

  committed
  5e26ef7View commit details

  Copy full SHA for 5e26ef7

  Browse repository at this point

Commits on Mar 4, 2021

• update binaries

  benjaminhr

  committed
  789222cView commit details

  Copy full SHA for 789222c

  Browse repository at this point

• fix final state bug

  benjaminhr

  committed
  f1e27bdView commit details

  Copy full SHA for f1e27bd

  Browse repository at this point

Commits on Mar 3, 2021

• format xml for pifra output

  benjaminhr

  committed
  fdd62e5View commit details

  Copy full SHA for fdd62e5

  Browse repository at this point

Commits on Mar 2, 2021

• remove xml beautify

  benjaminhr

  committed
  c41e8ceView commit details

  Copy full SHA for c41e8ce

  Browse repository at this point

Commits on Mar 1, 2021

• fix --pifra-only and allow for --json flag

  benjaminhr

  committed
  c36f202View commit details

  Copy full SHA for c36f202

  Browse repository at this point

• small fix with FRAtoRA transition replacement

  benjaminhr

  committed
  61dee11View commit details

  Copy full SHA for 61dee11

  Browse repository at this point

• add required options

  benjaminhr

  committed
  3c253e9View commit details

  Copy full SHA for 3c253e9

  Browse repository at this point