head	1.1;
access;
symbols;
locks; strict;
comment	@// @;


1.1
date	2026.07.02.19.34.02;	author alnsn;	state Exp;
branches;
next	;
commitid	T8GKuIjOhFd6b7MG;


desc
@@


1.1
log
@Initial import of math/symfpu version 1.2.0.

SymFPU is an implementation of the SMT-LIB theory of (IEEE-754)
floating-point in terms of bit-vector operations. It is templated
in terms of the bit-vectors, propositions, floating-point formats
and rounding mode types used.
@
text
@$NetBSD$

Don't assume that the root directory is named "symfpu".

--- baseTypes/simpleExecutable.cpp.orig	2026-07-01 22:11:25.492879747 +0000
+++ baseTypes/simpleExecutable.cpp
@@@@ -12,7 +12,7 @@@@
 */
 
 
-#include "symfpu/baseTypes/simpleExecutable.h"
+#include "baseTypes/simpleExecutable.h"
 
 #include <assert.h>
 #include <math.h>
@