Skip to content
Snippets Groups Projects

Compute service example

Merged Jonas Kastberg requested to merge jonas/compute_list_par into master
All threads resolved!

Merge request reports

Loading
Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
  • Robbert Krebbers
  • Robbert Krebbers
  • Robbert Krebbers
  • Robbert Krebbers
  • Robbert Krebbers
  • Jonas Kastberg added 1 commit

    added 1 commit

    Compare with previous version

  • Jonas Kastberg added 1 commit

    added 1 commit

    • 98da017c - Review comments for compute example

    Compare with previous version

  • Jonas Kastberg added 1 commit

    added 1 commit

    • fdc2775d - Refactoring of client/service

    Compare with previous version

  • Jonas Kastberg added 1 commit

    added 1 commit

    • 4427afa1 - Removed redundant lty scopes

    Compare with previous version

  • Jonas Kastberg added 1 commit

    added 1 commit

    Compare with previous version

  • Jonas Kastberg added 1 commit

    added 1 commit

    Compare with previous version

  • Jonas Kastberg added 1 commit

    added 1 commit

    • afff201a - Added todo for ltyped_val_lam deriving

    Compare with previous version

  • Jonas Kastberg added 1 commit

    added 1 commit

    • 2b955907 - Added todo in regards to ltyped_val explanation

    Compare with previous version

  • Jonas Kastberg resolved all threads

    resolved all threads

  • Jonas Kastberg added 2 commits

    added 2 commits

    • bd9c13f9 - Changed position of reference in list type def
    • afe73811 - Made client type polymorphic

    Compare with previous version

  • Jonas Kastberg mentioned in commit c1f49f5f

    mentioned in commit c1f49f5f

  • Please register or sign in to reply
    Loading