..
jni
Build: Switch from javah (deprecated since JDK8) based JNI header generation to javac
8 years ago
DoubleVector.h
Build: Switch from javah (deprecated since JDK8) based JNI header generation to javac
8 years ago
DoubleVectorGlob.h
Missing file from last commit.
13 years ago
ExportIterations.h
ExportIterations: Switch to HTTPS in PRISM URL
7 years ago
IntegerVector.h
Build: Switch from javah (deprecated since JDK8) based JNI header generation to javac
8 years ago
IntervalIteration.h
(cleanup) IntervalIteration.h, Measures.h: make constructors explicit
8 years ago
JDD.h
Build: Switch from javah (deprecated since JDK8) based JNI header generation to javac
8 years ago
JDDNode.h
Build: Switch from javah (deprecated since JDK8) based JNI header generation to javac
8 years ago
JDDVars.h
Build: Switch from javah (deprecated since JDK8) based JNI header generation to javac
8 years ago
Measures.h
(cleanup) IntervalIteration.h, Measures.h: make constructors explicit
8 years ago
NDSparseMatrix.h
Build: Switch from javah (deprecated since JDK8) based JNI header generation to javac
8 years ago
NativeIntArray.h
Build: Switch from javah (deprecated since JDK8) based JNI header generation to javac
8 years ago
ODDUtils.h
Build: Switch from javah (deprecated since JDK8) based JNI header generation to javac
8 years ago
PrismHybrid.h
Build: Switch from javah (deprecated since JDK8) based JNI header generation to javac
8 years ago
PrismHybridGlob.h
(symbolic engines) annotate P*_PrintToMainLog, error message, export_string methods for format string checks
9 years ago
PrismMTBDD.h
Build: Switch from javah (deprecated since JDK8) based JNI header generation to javac
8 years ago
PrismMTBDDGlob.h
(symbolic engines) annotate P*_PrintToMainLog, error message, export_string methods for format string checks
9 years ago
PrismNative.h
Build: Switch from javah (deprecated since JDK8) based JNI header generation to javac
8 years ago
PrismNativeGlob.h
(symbolic engines) annotate P*_PrintToMainLog, error message, export_string methods for format string checks
9 years ago
PrismSparse.h
Build: Switch from javah (deprecated since JDK8) based JNI header generation to javac
8 years ago
PrismSparseGlob.h
(symbolic engines) annotate P*_PrintToMainLog, error message, export_string methods for format string checks
9 years ago
SimulatorEngine.h
Integration of prism-explicit branch into trunk, i.e. merge of trunk@1015-prism-explicit@1405 into trunk.
17 years ago
dd.h
Updated email addresses and affiliations in copyright info.
18 years ago
dd_abstr.h
Updated email addresses and affiliations in copyright info.
18 years ago
dd_basics.h
Added (in full) log function to PRISM language.
18 years ago
dd_cudd.h
Add DebugJDD_GetExternalRefCounts
11 years ago
dd_export.h
Extra DD-to-PP file export functionality for 3D matrices (from Vojta).
15 years ago
dd_info.h
Integration of prism-explicit branch into trunk, i.e. merge of trunk@1015-prism-explicit@1405 into trunk.
17 years ago
dd_matrix.h
Updated email addresses and affiliations in copyright info.
18 years ago
dd_term.h
JDD, prism.StateValues: find max finite value
9 years ago
dd_vars.h
Updated email addresses and affiliations in copyright info.
18 years ago
dv.h
JDD, prism.StateValues: find max finite value
9 years ago
hybrid.h
Improvements to memory handling, especially in sparse/hybrid engines:
17 years ago
iv.h
Add integer vector storage class to dv package.
13 years ago
jnipointer.h
Remove old unneeded code.
13 years ago
odd.h
ODD: Use int64_t for offsets everywhere, check for arithmetic overflow
9 years ago
prism.h
prism.h: typo
8 years ago
sparse.h
Tidy up JNI wrapper around NDSparseMatrix and push action index storage inside the data structure.
12 years ago
sparse_adv.h
Patch in current version of multi-objective model checking (from prism-multi branch). Still need to copy across etc/ directory containing lpsolve libraries. Also contains a few JDD fixes via Christian von Essen.
13 years ago
Joachim Klein
06bba360ca