crackNum 4.1 → 4.2
raw patch · 3 files changed
+20/−24 lines, 3 files
Files
- CHANGES.md +14/−1
- README.md +5/−22
- crackNum.cabal +1/−1
CHANGES.md view
@@ -1,7 +1,20 @@ * Hackage: <http://hackage.haskell.org/package/crackNum> * GitHub: <http://github.com/LeventErkok/crackNum/> -* Latest Hackage released version: 4.1, 2026-08-25+* Latest Hackage released version: 4.2, 2026-08-25++### Version 4.2, 2026-08-25++ * Documentation only; no functional changes.++ * Simplified the README's download section further. It is now just the three+ platforms, each linking to the latest release. The per-platform notes (static+ linking, the macOS quarantine flag, the Windows SmartScreen prompt) and the+ unpack/PATH instructions are gone from here -- every bundle ships a `README.txt`+ that covers them for that platform, and it is the first thing you see when you+ unpack.++ * Trimmed the note about needing z3 when installing from Hackage. ### Version 4.1, 2026-08-25
README.md view
@@ -11,26 +11,11 @@ ### Download crackNum -**→ [Ready-to-run bundles for Linux, macOS, and Windows](https://github.com/LeventErkok/crackNum/releases)**--Nothing to build, no Haskell toolchain. Each bundle carries the `crackNum`-executable, a copy of `z3`, the GUI, a LICENSE, and a `README.txt` with the-install steps for that platform.-- - **Linux (x86_64)** — [`crackNum-<version>-linux-x86_64.tar.gz`](https://github.com/LeventErkok/crackNum/releases/latest).- Statically linked, so it runs as-is on any x86_64 Linux, old or new.- - **macOS (Apple Silicon)** — [`crackNum-<version>-macos-arm64.tar.gz`](https://github.com/LeventErkok/crackNum/releases/latest).- Includes `CrackNum.app`. Ad-hoc signed, so clear the quarantine flag first.- - **Windows (x86_64)** — [`crackNum-<version>-windows-x86_64.zip`](https://github.com/LeventErkok/crackNum/releases/latest).- Includes `CrackNumGUI.exe`. Unsigned, so SmartScreen warns on first run.--Unpack it, put the files on your `PATH` — `z3` included, since crackNum shells-out to it for every operation — and check with:+Ready-to-run bundles — nothing to build, no Haskell toolchain: -```-$ crackNum -fsp 3.5-$ crackNum --gui-```+ - [**Linux** (x86_64)](https://github.com/LeventErkok/crackNum/releases/latest)+ - [**macOS** (Apple Silicon)](https://github.com/LeventErkok/crackNum/releases/latest)+ - [**Windows** (x86_64)](https://github.com/LeventErkok/crackNum/releases/latest) ### Building from source @@ -40,9 +25,7 @@ $ cabal install crackNum ``` -This way you also need [z3](https://github.com/Z3Prover/z3) on your `PATH`:-crackNum delegates the floating-point reasoning to it, via-[SBV](http://hackage.haskell.org/package/sbv).+Note that you also need [z3](https://github.com/Z3Prover/z3) on your `PATH`. ### Supported formats
crackNum.cabal view
@@ -1,6 +1,6 @@ Cabal-version : 2.2 Name : crackNum-Version : 4.1+Version : 4.2 Synopsis : Crack various integer and floating-point data formats Description : Crack IEEE-754 and other float formats and arbitrary sized words and integers, showing the layout. Along with a command-line interface on any platform, native MacOS and Windows GUIs and a Tcl-based Linux GUI are available as well: