Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • QuickCheckFix
  • arrays2d
  • 2d-arrays
  • CI
5 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.
javawlp.cabal 2.17 KiB