Skip to content

History

Revisions

  • Updated MAL Code Examples (markdown)

    @mathiasekstedt mathiasekstedt committed Jan 6, 2026
    7a50686
  • Updated Home (markdown)

    @mathiasekstedt mathiasekstedt committed Jan 6, 2026
    b5db210
  • Updated Home (markdown)

    @mathiasekstedt mathiasekstedt committed Jan 6, 2026
    ddd860d
  • References to unnecessary compilation and/or Java deleted

    @Esantos93 Esantos93 committed Dec 3, 2025
    d8806a1
  • Typo fixing (foreseeting)

    @Esantos93 Esantos93 committed Dec 3, 2025
    6af3d62
  • Headers fixing

    @Esantos93 Esantos93 committed Dec 3, 2025
    b0f3cf1
  • Additiong of the latest version of MAL syntax for the forseeti compiler

    @Esantos93 Esantos93 committed Dec 3, 2025
    809bdac
  • MAL Syntax (Legacy Compiler) description correction

    @Esantos93 Esantos93 committed Dec 3, 2025
    c319a77
  • Link to syntax for the legacy compiler fixed

    @Esantos93 Esantos93 committed Dec 3, 2025
    5b6e900
  • Destroyed Metod of Creating a MAL (markdown)

    @Esantos93 Esantos93 committed Dec 3, 2025
    90f0ade
  • Adding of the "Method of Creating a MAL" section (from the old page with the same name)

    @Esantos93 Esantos93 committed Dec 3, 2025
    03cdd03
  • Destroyed MAL Syntax (legacy) (markdown)

    @Esantos93 Esantos93 committed Dec 3, 2025
    2d9b1b3
  • Destroyed Instantiating Language Models (markdown)

    @Esantos93 Esantos93 committed Dec 3, 2025
    0ff7453
  • Destroyed Compiling (Legacy) (markdown)

    @Esantos93 Esantos93 committed Dec 3, 2025
    d05d5a6
  • Destroyed Compiling (markdown)

    @Esantos93 Esantos93 committed Dec 3, 2025
    011eabc
  • Creation of the new Legacy page + Adding of the following sections: Compiling (Forseeti & Legacy compilers), Instantiation of Language Models and MAL Syntax Legacy (Legacy Compiler)

    @Esantos93 Esantos93 committed Dec 3, 2025
    c00a9f7
  • Removal of securiCAD references and its children: Hidden Step(@hidden), Debug Step(@debug), Trace Origin(@trace) and AS {C, I, A} or Risk Type

    @Esantos93 Esantos93 committed Dec 3, 2025
    fbfce94
  • Removal of securiCAD references and its children: Hidden Step(@hidden), Debug Step(@debug) and Trace Step(@trace)

    @Esantos93 Esantos93 committed Dec 3, 2025
    360ca66
  • Removal of securiCAD references

    @Esantos93 Esantos93 committed Dec 3, 2025
    1ff04cb
  • Updated Compiling (markdown)

    @Esantos93 Esantos93 committed Nov 24, 2025
    da45e85
  • Updated About (markdown)

    @mathiasekstedt mathiasekstedt committed May 29, 2023
    d32d898
  • Updated About (markdown)

    @mathiasekstedt mathiasekstedt committed May 29, 2023
    8a17741
  • Updated About (markdown)

    @mathiasekstedt mathiasekstedt committed May 29, 2023
    74c5f02
  • Updated About (markdown)

    @mathiasekstedt mathiasekstedt committed May 29, 2023
    8e2db44
  • Changed multiplicity of Computer <--> Firewall from 1 to 0..1 in Basic MAL Example.

    @viktorengstrom viktorengstrom committed Apr 14, 2020
    86b4c73
  • Clarified existence operators. Renamed "checks for" to "Requires". Re-ordered some table entries. Provided links for all language constituents and symbols to the corresponding code examples. Added risk types.

    @viktorengstrom viktorengstrom committed Apr 14, 2020
    db952cf
  • Initial upload of the page.

    @viktorengstrom viktorengstrom committed Apr 14, 2020
    867a943
  • Thorough update of the page, including detailed code examples and test case coding styles.

    @viktorengstrom viktorengstrom committed Apr 14, 2020
    dfdeb90
  • Added versioning note.

    @viktorengstrom viktorengstrom committed Apr 14, 2020
    11d054f
  • Uploaded updated compilation guidelines.

    @viktorengstrom viktorengstrom committed Apr 14, 2020
    7fbd90d