Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 12, 2024

• Indirection-bounded analysis

  amoeller

  committed
  ace2908

• Minor edits in comment and README

  amoeller

  committed
  895f1c0

Commits on Apr 5, 2024

• Approximate interpretation

  amoeller

  committed
  fa90bc1

Commits on Mar 30, 2024

• Changed autoDetectBaseDir

  amoeller

  committed
  07074db

Commits on Feb 5, 2024

• Updated diagnostics and progress output

  amoeller

  committed
  8ca30bd

• Preparing for release

  amoeller

  committed
  99844b8

Commits on Dec 21, 2023

• Minor edits

  amoeller

  committed
  1495e3f

Commits on Aug 7, 2023

• Enable source maps

  amoeller

  committed
  428fe7c

Commits on Jul 12, 2023

• Updated README

  amoeller

  committed
  1d36cc4

Commits on Jul 6, 2023

• Minor fixes

  amoeller

  committed
  1138462

Commits on Mar 3, 2023

• Moved typings and resources

  amoeller

  committed
  46aaac5

Commits on Feb 20, 2023

• initial

  amoeller

  committed
  e929e0b

Loading