- 18 Mar, 2019 2 commits
-
-
Dan Frumin authored
-
Dan Frumin authored
-
- 21 Feb, 2019 1 commit
-
-
Ralf Jung authored
-
- 01 Feb, 2019 1 commit
-
-
Ralf Jung authored
-
- 19 Dec, 2018 1 commit
-
-
Ralf Jung authored
-
- 08 Nov, 2018 2 commits
- 19 Sep, 2018 1 commit
-
-
Ralf Jung authored
-
- 18 Sep, 2018 1 commit
-
-
Ralf Jung authored
-
- 06 Jun, 2018 2 commits
-
-
Dan Frumin authored
-
Dan Frumin authored
-
- 15 May, 2018 1 commit
-
-
Dan Frumin authored
-
- 14 May, 2018 2 commits
-
-
Ralf Jung authored
- 02 May, 2018 2 commits
-
-
Dan Frumin authored
-
Dan Frumin authored
The simplification is acheieved by removing the stackUR workaround. That RA was used to enusure that the nodes that were parts of the stack do not change themselves -- this is crucial for the safety of pop and iter operations. Now this is achieved by using duplicable propositions (∃ q, n ↦ᵢ{q} v) to ensure that the node are still alive/not freed.
-
- 24 Apr, 2018 1 commit
-
-
Ralf Jung authored
-
- 23 Apr, 2018 1 commit
-
-
Dan Frumin authored
-
- 18 Apr, 2018 1 commit
-
-
Ralf Jung authored
-
- 11 Apr, 2018 1 commit
-
-
Dan Frumin authored
install CI and update build system See merge request !1
-
- 10 Apr, 2018 1 commit
-
-
Ralf Jung authored
-
- 09 Apr, 2018 5 commits
-
-
Ralf Jung authored
-
Dan Frumin authored
-
Dan Frumin authored
-
Dan Frumin authored
-
Dan Frumin authored
-
- 29 Mar, 2018 1 commit
-
-
Dan Frumin authored
-
- 28 Mar, 2018 3 commits
-
-
Dan Frumin authored
-
Dan Frumin authored
-
Dan Frumin authored
-
- 24 Mar, 2018 2 commits
-
-
Dan Frumin authored
-
Dan Frumin authored
-
- 31 Jan, 2018 6 commits
-
-
Dan Frumin authored
-
Dan Frumin authored
-
Dan Frumin authored
-
Dan Frumin authored
-
Dan Frumin authored
-
Dan Frumin authored
-
- 30 Jan, 2018 1 commit
-
-
Dan Frumin authored
-
- 29 Jan, 2018 1 commit
-
-
Dan Frumin authored
Thanks to Robbert
-