Commits

Branch selector

 main

User selector

thotypous

Datepicker

All time

Commit History

Commits on May 10, 2025

• Fix vendored STP/ABC build error with GCC 15

  Show description for e9187c1
  thotypous

  authored
  e9187c1

  Copy full SHA for e9187c1

Commits on Nov 7, 2021

• Fix lookup of Tcl via pkg-config

  Show description for 077d73c
  

  thotypous

  authored and

  quark17

  committed
  077d73c

  Copy full SHA for 077d73c

Commits on Aug 12, 2020

• Fix mkFixedPointSquareRooter and add safe-guard to mkSquareRooter

  

  thotypous

  authored and

  quark17

  committed
  8366d5a

  Copy full SHA for 8366d5a

Commits on Apr 20, 2020

• Slim down Docker image

  

  thotypous

  authored and

  quark17

  committed
  fbdb85a

  Copy full SHA for fbdb85a

Commits on Apr 13, 2020

• Fix CFLAGS handling in htcl and build parallelism in stp

  

  thotypous

  authored and

  quark17

  committed
  d9e5b0f

  Copy full SHA for d9e5b0f

• Add Dockerfile

  

  thotypous

  authored and

  quark17

  committed
  262df96

  Copy full SHA for 262df96