Activity · Iris / transfinite

3 months ago

Simon Spies @simonspies

pushed to branch master at Iris / transfinite

ca9a1a82 · curry the first function
... and 1 more commit. Compare 06cdb5ad...ca9a1a82

4 months ago

Simon Spies @simonspies

pushed to branch master at Iris / transfinite

06cdb5ad · additional examples

5 months ago

Simon Spies @simonspies

pushed to branch master at Iris / transfinite

48123f29 · derive some more rules

5 months ago

Simon Spies @simonspies

pushed to branch master at Iris / transfinite

11a85c86 · bump the version numbers in the installation instructions

5 months ago

Simon Spies @simonspies

pushed to branch master at Iris / transfinite

46761c18 · add some meta theory on finite step-indexed simulations

5 months ago

Simon Spies @simonspies

pushed to branch master at Iris / transfinite

2936f766 · instantiate fib memoization

5 months ago

Simon Spies @simonspies

pushed to branch master at Iris / transfinite

f58be2a9 · derive more adequacy results

5 months ago

Simon Spies @simonspies

pushed to branch master at Iris / transfinite

9ba8b512 · use tokens instead of auth

5 months ago

Simon Spies @simonspies

pushed to branch master at Iris / transfinite

8a9e98cf · add reentrant example

5 months ago

Simon Spies @simonspies

pushed to branch master at Iris / transfinite

7894bd0d · add an example instance

5 months ago

Simon Spies @simonspies

pushed to branch master at Iris / transfinite

6ee7c69e · add derived rules for termination

5 months ago

Simon Spies @simonspies

pushed to branch master at Iris / transfinite

49b14e9f · tweak

6 months ago

Simon Spies @simonspies

pushed to branch master at Iris / transfinite

ff2e9d17 · add additional derived laws of the program logic

6 months ago

Simon Spies @simonspies

deleted branch bump_to_mac_arm_version at Iris / transfinite

6 months ago

Simon Spies @simonspies

accepted merge request !1 "Bump Coq Version to run on Apple Arm Processors" at Iris / transfinite

6 months ago

Simon Spies @simonspies

pushed to branch master at Iris / transfinite

791af1e3 · Merge branch 'bump_to_mac_arm_version' into 'master'
... and 8 more commits. Compare 0ad25f97...791af1e3

6 months ago

Lennard Gäher @lgaeher

pushed to branch bump_to_mac_arm_version at Iris / transfinite

91256c62 · Update Makefile

6 months ago

Lennard Gäher @lgaeher

pushed to branch bump_to_mac_arm_version at Iris / transfinite

96dc8f77 · move opam file

6 months ago

Lennard Gäher @lgaeher

pushed to branch bump_to_mac_arm_version at Iris / transfinite

40f2cd5b · Update Makefile

6 months ago

Lennard Gäher @lgaeher

pushed to branch bump_to_mac_arm_version at Iris / transfinite

2078bd64 · Update .gitlab-ci.yml