Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Nov 15, 2024

• Merge branch 'gpoesia:main' into main

  maharajamihir

  authored
  6b4f542

  Copy full SHA for 6b4f542

Commits on Nov 14, 2024

• Use Arc instead of Rc for thread safety

  gpoesia

  committed
  50b6d6b

  Copy full SHA for 50b6d6b

• feat: add install script

  

  emergenz

  authored and

  gpoesia

  committed
  6dda017

  Copy full SHA for 6dda017

Commits on Nov 13, 2024

• Add stand-alone example of running proof search

  gpoesia

  committed
  736916c

  Copy full SHA for 736916c

• added usage note

  maharajamihir

  committed
  d83295e

  Copy full SHA for d83295e

• implemented script to evaluate model

  maharajamihir

  committed
  13b90ed

  Copy full SHA for 13b90ed

Commits on Nov 12, 2024

• removed unusable code

  maharajamihir

  committed
  8c2fbb9

  Copy full SHA for 8c2fbb9

• removed outcomes bloat; removed checkpointint per iteration

  maharajamihir

  committed
  517a4bd

  Copy full SHA for 517a4bd

Commits on Nov 1, 2024

• fix: use extension-module for pyo3

  

  emergenz

  authored and

  gpoesia

  committed
  c3d78e0

  Copy full SHA for c3d78e0

• fix: typo in conjecture outcome during sampling

  

  emergenz

  authored and

  gpoesia

  committed
  07f7f6c

  Copy full SHA for 07f7f6c

Commits on Oct 11, 2024

• Add --release to maturin command in README

  gpoesia

  committed
  a460417

  Copy full SHA for a460417

• Remove irrelevant dependencies on old code

  gpoesia

  committed
  b9494c4

  Copy full SHA for b9494c4

Commits on Sep 3, 2024

• Initial release

  gpoesia

  committed
  8d963d0

  Copy full SHA for 8d963d0