Skip to content

History

Revisions

  • Updated vscode fine tune (markdown)

    @ladisgin ladisgin committed Mar 26, 2024
    52c30a3

  • Update wiki d6f1457d7fed8c101b6bfdd3b5c866f071097b21

    @github-actions github-actions[bot] committed Sep 22, 2023
    4faae7a

  • Minor fix

    @olganaumenko olganaumenko committed May 18, 2023
    8438693

  • Updated links in the Sidebar

    @olganaumenko olganaumenko committed May 17, 2023
    737ae1b

  • Updated links

    @olganaumenko olganaumenko committed May 17, 2023
    0bc2629

  • Updated Wiki

    @olganaumenko olganaumenko committed May 17, 2023
    4a6350d

  • Updated Symsizes (markdown)

    @olganaumenko olganaumenko committed Mar 31, 2023
    f59d224

  • Updated Symcretes (markdown)

    @olganaumenko olganaumenko committed Mar 31, 2023
    3f35463

  • Updated LI (markdown)

    @olganaumenko olganaumenko committed Mar 31, 2023
    4ae2d31

  • Added descriptions for advanced Lazy Initialization, Symcretes with Concretizing Solver, Symbolic Sizes.

    @S1eGa S1eGa committed Mar 14, 2023
    2cc6056

  • Updated docker free wsl2 (markdown)

    @ladisgin ladisgin committed Feb 28, 2023
    5de9baa

  • Updated install server (markdown)

    @ladisgin ladisgin committed Feb 28, 2023
    a9ba7fa

  • Updated docker free wsl2 (markdown)

    @ladisgin ladisgin committed Feb 28, 2023
    8e2af97

  • Updated c syntax (markdown)

    @Lana243 Lana243 committed Dec 23, 2022
    22bfe51

  • Minor linguistic fix in the Input/Output section

    @olganaumenko olganaumenko committed Dec 12, 2022
    364ff7c

  • Minor linguistic fixes

    @olganaumenko olganaumenko committed Dec 12, 2022
    241cc01

  • add description for Error Mode

    Vladislav Kalugin committed Nov 25, 2022
    64c13c7

  • Updated c syntax (markdown)

    @sava-cska sava-cska committed Nov 24, 2022
    7a8eb78

  • Updated symbolic stdin (markdown)

    @sava-cska sava-cska committed Nov 24, 2022
    b6b16f2

  • Updated symbolic stdin (markdown)

    @sava-cska sava-cska committed Nov 13, 2022
    30a44d8

  • Updated system requirements (markdown)

    @olganaumenko olganaumenko committed Nov 10, 2022
    8e5b98d

  • Updated c syntax (markdown)

    @tyuldashev tyuldashev committed Oct 26, 2022
    6572551

  • Updated c syntax (markdown)

    @tyuldashev tyuldashev committed Oct 14, 2022
    0dc2a20

  • Updated c syntax (markdown)

    @Lana243 Lana243 committed Oct 14, 2022
    d794a41

  • Updated command line interface (markdown)

    @tyuldashev tyuldashev committed Sep 22, 2022
    6a22837

  • Updated system requirements (markdown)

    @tyuldashev tyuldashev committed Sep 13, 2022
    dd13e1f

  • Updated c syntax (markdown)

    @tyuldashev tyuldashev committed Sep 12, 2022
    c5f2fd4

  • int128 update

    @belous-dp belous-dp committed Sep 9, 2022
    bf91d16

  • links updated

    @belous-dp belous-dp committed Sep 8, 2022
    4d7228d

  • updated

    @belous-dp belous-dp committed Sep 8, 2022
    52abda7