- 26 Jun, 2019 3 commits
-
-
johnvg@science.ru.nl authored
-
johnvg@science.ru.nl authored
-
johnvg@science.ru.nl authored
-
- 28 May, 2019 1 commit
-
-
johnvg@science.ru.nl authored
-
- 21 May, 2019 1 commit
-
-
johnvg@science.ru.nl authored
Revert "temporarily add fields gcd_strict_arguments to record GenericConsDescriptor and grd_strict_fields to record GenericRecordDescriptor of module StdGeneric" This reverts commit 0d9308cf.
-
- 18 Feb, 2019 1 commit
-
-
johnvg@science.ru.nl authored
temporarily add fields gcd_strict_arguments to record GenericConsDescriptor and grd_strict_fields to record GenericRecordDescriptor of module StdGeneric
-
- 06 Feb, 2019 1 commit
-
-
John van Groningen authored
use n>>1 instead of n/2
-
- 10 Jan, 2019 1 commit
-
-
John van Groningen authored
-
- 09 Jan, 2019 2 commits
-
-
John van Groningen authored
-
John van Groningen authored
-
- 06 Dec, 2018 1 commit
-
-
John van Groningen authored
add member types with strictness annotations to {!} and {#} instances (the compiler currently adds these annotations)
-
- 05 Dec, 2018 1 commit
-
-
John van Groningen authored
-
- 19 Nov, 2018 1 commit
-
-
John van Groningen authored
-
- 30 Oct, 2018 1 commit
-
-
John van Groningen authored
-
- 22 Aug, 2018 1 commit
-
-
John van Groningen authored
-
- 21 Aug, 2018 2 commits
-
-
John van Groningen authored
-
John van Groningen authored
-
- 16 Aug, 2018 1 commit
-
-
John van Groningen authored
-
- 14 Aug, 2018 3 commits
-
-
John van Groningen authored
-
John van Groningen authored
-
John van Groningen authored
-
- 26 Apr, 2017 1 commit
-
-
John van Groningen authored
-
- 29 Sep, 2016 1 commit
-
-
John van Groningen authored
-
- 11 May, 2016 1 commit
-
-
John van Groningen authored
-
- 05 Apr, 2016 1 commit
-
-
John van Groningen authored
-
- 26 Aug, 2015 1 commit
-
-
John van Groningen authored
remove bracket count in _eval_to_nf
-
- 03 Apr, 2014 1 commit
-
-
John van Groningen authored
-
- 08 Nov, 2013 1 commit
-
-
John van Groningen authored
-
- 14 Jun, 2013 1 commit
-
-
John van Groningen authored
-
- 13 Jun, 2013 3 commits
-
-
John van Groningen authored
-
John van Groningen authored
-
John van Groningen authored
-
- 24 May, 2013 1 commit
-
-
John van Groningen authored
-
- 24 Oct, 2012 1 commit
-
-
John van Groningen authored
-
- 11 Jan, 2012 1 commit
-
-
John van Groningen authored
-
- 21 Apr, 2011 1 commit
-
-
John van Groningen authored
-
- 04 Apr, 2011 1 commit
-
-
John van Groningen authored
-
- 07 Oct, 2010 1 commit
-
-
Thomas van Noort authored
-