elstel.org

Die neue Version ist vollständig in C++/Qt implementiert und läuft unter Linux sowie Windows. Es können nichtdeterministische Turingmaschinen, mehrbuchstabige Übergänge und Übergänge mit Zeichenmengen für endliche Automaten sowie parameterisierte Maschinenschemata mit Hochzahlen für mehrmalige Wiederholung eines Automaten simuliert werden.

Some improvements to xchroot have been realised: a better working --quiet switch, making use of chroot --userspec to avoid su and sudo inside the chroot and a --genuine-retval switch to directly return the return code of chroot / the program inside the chroot.

Ein Werkzeug zur Normalisierung von Datenbankschemata. BugFix: ein vergessenes reverse hat in Version 1.0.5 die Resultate des BCNF-Split Algorithmus antioptimal gemacht. Ein Update von keysTreeAlg vermeidet nun das Generieren von Knoten, die später als doppelte erkannt werden müssen; bessere Dokumentation von keysTreeAlg und mincoverage; C-FSL v1.1 (+Schreibfehler korrigiert).

Version v1.7.7 of confinedrv has been released. It does now not only support to blend in a partition image but also the Master Boot Record from a file in place of an existing partition (or in place of the spare space before the first partition respectively). confinedrv has also received some other updates and bug fixes. It now makes use of lockfile-create/remove from lockfile-progs and thereby is no more dependent on the meanwhiles rarely shipped lockfile utility.

Wir haben eine komplett neue Lizenz namens C-FSL v1.0 für Sie ausgearbeitet. Diese ist in hinblick auf OpenSourceTauglichkeit und dem Wunsch unseren Benutzern ein Maximum an Rechten und Sicherheit zu gewähren geschehen. So gut wie alle derzeit auf elstel.org angebotenen Programme sind unter der neuen Lizenz verfügbar: xchroot, confinedrv, bundsteg, [deb]checkroot, dbschemacmd, sftvdownload und vpngate-extract.

Neu ist auch eine zentrale SHA512SUMS.signed - Liste unter software/, die es erlaubt heruntergeladene Programme zusätzlich mit gpg zu verifizieren (neben der Möglichkeit dafür https + DANE zu bemühen).