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


1.1
date	2026.07.02.19.34.01;	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$

Skip applications.

--- Makefile.orig	2026-07-01 22:07:24.471021064 +0000
+++ Makefile
@@@@ -1,5 +1,5 @@@@
 include flags
-SUBDIRS=applications/ baseTypes/
+SUBDIRS=baseTypes/
 OBJECTFILES=baseTypes/simpleExecutable.o
 LIBFILES=symfpu.a
 PROGS=test
@