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.h.orig	2026-07-01 22:11:10.431642930 +0000
+++ baseTypes/simpleExecutable.h
@@@@ -18,9 +18,9 @@@@
 **
 */
 
-#include "symfpu/utils/properties.h"
-#include "symfpu/core/ite.h"
-#include "symfpu/baseTypes/shared.h"
+#include "utils/properties.h"
+#include "core/ite.h"
+#include "baseTypes/shared.h"
 
 #include <assert.h>
 #include <stdint.h>
@