Skip to content
Snippets Groups Projects
Select Git revision
0 results
Blame Permalink
  • Orestis Melkonian's avatar
    62233d68
    LogicIR parser. · 62233d68
    Orestis Melkonian authored 
    * LogicIR EDSL.
* Minimized LogicIR.
* General styling fixes.
* Supressed output in tests.
* Single-threaded test execution.
    62233d68
    History
    LogicIR parser.
    Orestis Melkonian authored 
    * LogicIR EDSL.
* Minimized LogicIR.
* General styling fixes.
* Supressed output in tests.
* Single-threaded test execution.