Commits · input-output-hk/thorn-calculus

Commits
Branch selector
User selector
Datepicker
Commit History
Commits on Jan 23, 2024
Merge `bugfix/copyright-and-license` of pull request #135 into `master`
jeltsch
committed
Fix copyright and licensing information
jeltsch
committed
Commits on Jan 22, 2024
Merge `enhancement/readme-completion` of pull request #133 into `master`
jeltsch
committed
Add an overview
jeltsch
committed
Commits on Jan 20, 2024
Specify the dependencies on other Isabelle sessions
jeltsch
committed
Commits on Oct 17, 2023
Merge `bugfix/sync-io-type-restriction` of pull request #127 into `master`
jeltsch
committed
Commits on Oct 13, 2023
Restrict the types of `sync_send` and `sync_receive`
jeltsch
committed
Commits on Oct 5, 2023
Merge `improvement/sync-send-pretty-printing-block` of pull request #125 into `master`
jeltsch
committed
Commits on Oct 3, 2023
Make `sync_send` processes pretty-printing blocks
jeltsch
committed
Merge `enhancement/untyped-synchronous-channels` of pull request #123 into `master`
jeltsch
committed
Merge `master` into `enhancement/untyped-synchronous-channels`
jeltsch
committed
Merge `improvement/more-descriptive-val-morphism-names` of pull request #117 into `master`
jeltsch
committed
Merge `master` into `improvement/more-descriptive-val-morphism-names`
jeltsch
committed
Add support for untyped synchronous channels
jeltsch
committed
Merge `enhancement/sync-channel-embeddable` of pull request #122 into `master`
jeltsch
committed
Make `sync_channel` an instance of `embeddable`
jeltsch
committed
Merge `improvement/sync-channel-definition` of pull request #119 into `master`
jeltsch
committed
Improve the definition of `sync_channel`
jeltsch
committed
Give `val` morphisms more descriptive names
jeltsch
committed
Commits on Sep 29, 2023
Merge `enhancement/synchronous-channels` of pull request #115 into `master`
jeltsch
committed
Commits on Sep 28, 2023
Add support for synchronous channels
jeltsch
committed
Commits on Jul 18, 2023
Merge `improvement/imports-layout` of pull request #109 into `master`
jeltsch
committed
Merge `master` into `improvement/imports-layout`
jeltsch
committed
Merge `improvement/standard-for-ext` of pull request #107 into `master`
jeltsch
committed
Merge `master` into `improvement/standard-for-ext`
jeltsch
committed
Merge `enhancement/better-contribution-rules` of pull request #111 into `master`
jeltsch
committed
Commits on Jul 16, 2023
Extend and improve the contribution rules
jeltsch
committed
Improve the layout of `imports` clauses
jeltsch
committed
Replace `rule HOL.ext` by `standard`
jeltsch
committed
Commits on May 18, 2023
Merge `improvement/general-parallel-notation-in-translation` of pull request #105 into `master`
jeltsch
committed
Start using the `‖`-notation also in its translation
jeltsch
committed
Merge `improvement/general-parallel-standard-notation` of pull request #103 into `master`
jeltsch
committed
Add import of `stmaryrd`
jeltsch
committed
Switch to standard notation for `general_parallel`
jeltsch
committed
Merge `improvement/function-continuation-argument-order` of pull request #100 into `master`
jeltsch
committed
Pagination
Previous
Next