Skip to content

History

New page

Revisions

  • Update developer tips

    @bricoletc bricoletc committed Mar 15, 2022
    f22fab6

  • update build command wiki with --prgs_bed

    @bricoletc bricoletc committed Feb 15, 2022
    a76d6fd

  • Docker construction tip

    @bricoletc bricoletc committed Feb 15, 2022
    dfd6f05

  • Update developer wikipage * Add clang-format code formatting * Add back-end testing section, with compilation commands * Add code coverage measurement instructions for back-end tests

    @bricoletc bricoletc committed Jan 28, 2021
    1e2eec2

  • Fix links and options

    @bricoletc bricoletc committed Apr 28, 2020
    53ace07

  • Update wiki to v1.7.0

    @bricoletc bricoletc committed Apr 28, 2020
    1f0c55e

  • Updated Developers: tips (rest)

    @bricoletc bricoletc committed Dec 12, 2019
    d6236af

  • Created Developers: tips (rest)

    @bricoletc bricoletc committed Dec 3, 2019
    0c2b7e2

  • Updated _Sidebar (markdown)

    @bricoletc bricoletc committed Dec 3, 2019
    3da9e35

  • Updated Commands: discover (markdown)

    @bricoletc bricoletc committed Dec 3, 2019
    b34193c

  • Updated Commands: discover (markdown)

    @bricoletc bricoletc committed Dec 3, 2019
    b79ab46

  • Updated Commands: infer (markdown)

    @bricoletc bricoletc committed Dec 3, 2019
    cb7dd94

  • Updated Commands: quasimap (markdown)

    @bricoletc bricoletc committed Dec 3, 2019
    3485c13

  • Updated Home (markdown)

    @bricoletc bricoletc committed Dec 3, 2019
    3928de8

  • Updated _Sidebar (markdown)

    @bricoletc bricoletc committed Dec 3, 2019
    08ede85

  • Updating TODO

    @leoisl leoisl committed Jul 9, 2019
    564d2ff

  • Updating TODO

    @leoisl leoisl committed Jun 27, 2019
    ea93015

  • Updated Improvements TODOs (markdown)

    @bricoletc bricoletc committed Jun 27, 2019
    8b71d90

  • Updating TODO

    @leoisl leoisl committed Jun 27, 2019
    b465e9e

  • Updated Improvements TODOs (markdown)

    @bricoletc bricoletc committed Jun 27, 2019
    bc976aa

  • Updated Improvements TODOs (markdown)

    @bricoletc bricoletc committed May 29, 2019
    ae7b13e

  • Updated Improvements TODOs (markdown)

    @bricoletc bricoletc committed May 29, 2019
    e41deb9

  • Updating TODO

    @leoisl leoisl committed May 13, 2019
    0584aee

  • Updated Improvements TODOs (markdown)

    @bricoletc bricoletc committed May 8, 2019
    0754d49

  • Updated _Sidebar (markdown)

    @bricoletc bricoletc committed May 8, 2019
    d67f09d

  • Updated _Sidebar (markdown)

    @bricoletc bricoletc committed May 8, 2019
    7593735

  • Created Improvements/TODOs (markdown)

    @bricoletc bricoletc committed May 8, 2019
    13f258a

  • Updated Home (markdown)

    @bricoletc bricoletc committed Feb 1, 2019
    61685d7

  • Updated _Sidebar (markdown)

    @bricoletc bricoletc committed Feb 1, 2019
    1776e9e

  • Updated Commands: build (markdown)

    @bricoletc bricoletc committed Jan 30, 2019
    5d86e71