Mart Lubbers [Thu, 20 Aug 2020 08:50:55 +0000 (10:50 +0200)]
updates, hierarchical
Mart Lubbers [Fri, 24 Jul 2020 13:30:16 +0000 (15:30 +0200)]
adsusussu
Mart Lubbers [Fri, 24 Jul 2020 13:07:30 +0000 (15:07 +0200)]
asds
Mart Lubbers [Fri, 24 Jul 2020 11:59:13 +0000 (13:59 +0200)]
asynchronous parametric lenses
Mart Lubbers [Fri, 24 Jul 2020 08:44:37 +0000 (10:44 +0200)]
add uds and auds implementations
Mart Lubbers [Wed, 22 Jul 2020 08:23:09 +0000 (10:23 +0200)]
.
Mart Lubbers [Fri, 10 Jul 2020 13:48:54 +0000 (15:48 +0200)]
.
Mart Lubbers [Fri, 10 Jul 2020 07:09:12 +0000 (09:09 +0200)]
yes
Mart Lubbers [Thu, 9 Jul 2020 13:28:30 +0000 (15:28 +0200)]
gengen
Mart Lubbers [Mon, 6 Jul 2020 14:38:37 +0000 (16:38 +0200)]
gen
Mart Lubbers [Mon, 6 Jul 2020 08:17:00 +0000 (10:17 +0200)]
t
Mart Lubbers [Fri, 3 Jul 2020 13:08:38 +0000 (15:08 +0200)]
many changes
Mart Lubbers [Tue, 30 Jun 2020 17:16:44 +0000 (19:16 +0200)]
uds
Mart Lubbers [Mon, 8 Jun 2020 06:09:50 +0000 (08:09 +0200)]
lambda
Mart Lubbers [Fri, 5 Jun 2020 08:38:38 +0000 (10:38 +0200)]
Merge branch 'master' of git.martlubbers.net:clean-tests
Mart Lubbers [Fri, 5 Jun 2020 08:38:24 +0000 (10:38 +0200)]
.
Mart Lubbers [Fri, 5 Jun 2020 08:38:04 +0000 (10:38 +0200)]
t
Mart Lubbers [Tue, 26 May 2020 11:58:47 +0000 (13:58 +0200)]
monomorph structgen
Mart Lubbers [Fri, 27 Mar 2020 15:02:31 +0000 (16:02 +0100)]
bc
Mart Lubbers [Mon, 23 Mar 2020 07:34:17 +0000 (08:34 +0100)]
Merge branch 'master' of git.martlubbers.net:clean-tests
Mart Lubbers [Mon, 23 Mar 2020 07:33:40 +0000 (08:33 +0100)]
.
Mart Lubbers [Thu, 5 Mar 2020 15:35:13 +0000 (16:35 +0100)]
.
Mart Lubbers [Mon, 2 Mar 2020 15:33:32 +0000 (16:33 +0100)]
.
Mart Lubbers [Mon, 2 Mar 2020 14:17:12 +0000 (15:17 +0100)]
.
Mart Lubbers [Mon, 2 Mar 2020 10:09:14 +0000 (11:09 +0100)]
.'
Mart Lubbers [Thu, 27 Feb 2020 15:52:21 +0000 (16:52 +0100)]
cloud
Mart Lubbers [Wed, 26 Feb 2020 14:28:44 +0000 (15:28 +0100)]
cloud
Mart Lubbers [Mon, 24 Feb 2020 10:27:18 +0000 (11:27 +0100)]
rank2
Mart Lubbers [Wed, 19 Feb 2020 08:14:04 +0000 (09:14 +0100)]
-
Mart Lubbers [Wed, 18 Dec 2019 14:21:35 +0000 (15:21 +0100)]
ushalow
Mart Lubbers [Tue, 17 Dec 2019 11:26:48 +0000 (12:26 +0100)]
ue
Mart Lubbers [Thu, 21 Nov 2019 08:44:59 +0000 (09:44 +0100)]
Merge branch 'master' of git.martlubbers.net:clean-tests
Mart Lubbers [Thu, 21 Nov 2019 08:44:31 +0000 (09:44 +0100)]
test
Mart Lubbers [Thu, 21 Nov 2019 08:44:14 +0000 (09:44 +0100)]
structs
Mart Lubbers [Fri, 15 Nov 2019 12:37:59 +0000 (13:37 +0100)]
structs
Mart Lubbers [Thu, 14 Nov 2019 13:12:57 +0000 (14:12 +0100)]
tests
Mart Lubbers [Thu, 10 Oct 2019 12:19:22 +0000 (14:19 +0200)]
things
Mart Lubbers [Thu, 12 Sep 2019 09:13:55 +0000 (11:13 +0200)]
test
Mart Lubbers [Wed, 11 Sep 2019 05:41:56 +0000 (07:41 +0200)]
progress
Mart Lubbers [Mon, 2 Sep 2019 09:18:43 +0000 (11:18 +0200)]
bork
Mart Lubbers [Tue, 20 Aug 2019 11:47:17 +0000 (13:47 +0200)]
7gui 1-5
Mart Lubbers [Tue, 20 Aug 2019 10:35:23 +0000 (12:35 +0200)]
gui
Mart Lubbers [Mon, 19 Aug 2019 17:52:08 +0000 (19:52 +0200)]
step as parallel
Mart Lubbers [Mon, 19 Aug 2019 17:37:51 +0000 (19:37 +0200)]
tests'
Mart Lubbers [Sun, 11 Aug 2019 16:30:19 +0000 (18:30 +0200)]
Merge branch 'master' of git.martlubbers.net:clean-tests
Mart Lubbers [Sun, 11 Aug 2019 16:30:01 +0000 (18:30 +0200)]
bork
Mart Lubbers [Thu, 8 Aug 2019 12:41:31 +0000 (14:41 +0200)]
tests
Mart Lubbers [Wed, 24 Jul 2019 12:08:10 +0000 (14:08 +0200)]
upd
Mart Lubbers [Thu, 16 May 2019 06:12:00 +0000 (08:12 +0200)]
Merge branch 'master' of git.martlubbers.net:clean-tests
Mart Lubbers [Thu, 16 May 2019 06:11:48 +0000 (08:11 +0200)]
tsets
Mart Lubbers [Tue, 14 May 2019 14:03:41 +0000 (16:03 +0200)]
signal handlers
Mart Lubbers [Wed, 3 Apr 2019 07:25:34 +0000 (09:25 +0200)]
signal
Mart Lubbers [Mon, 11 Mar 2019 07:26:53 +0000 (08:26 +0100)]
parse
Mart Lubbers [Mon, 18 Feb 2019 14:26:02 +0000 (15:26 +0100)]
update
Mart Lubbers [Mon, 18 Feb 2019 06:57:03 +0000 (07:57 +0100)]
parseclas
Mart Lubbers [Thu, 14 Feb 2019 10:54:43 +0000 (11:54 +0100)]
godpt
Mart Lubbers [Mon, 28 Jan 2019 14:42:31 +0000 (15:42 +0100)]
parserparser
Mart Lubbers [Fri, 25 Jan 2019 14:33:35 +0000 (15:33 +0100)]
parserparser associativity
Mart Lubbers [Thu, 6 Dec 2018 10:56:50 +0000 (11:56 +0100)]
try optiE
'
Mart Lubbers [Wed, 5 Dec 2018 12:14:57 +0000 (13:14 +0100)]
Merge branch 'master' of git.martlubbers.net:clean-tests
Mart Lubbers [Wed, 5 Dec 2018 12:14:09 +0000 (13:14 +0100)]
a11
Mart Lubbers [Fri, 30 Nov 2018 10:52:51 +0000 (11:52 +0100)]
a10
Mart Lubbers [Wed, 28 Nov 2018 09:14:11 +0000 (10:14 +0100)]
10
Mart Lubbers [Wed, 28 Nov 2018 08:06:31 +0000 (09:06 +0100)]
afp10
Mart Lubbers [Tue, 27 Nov 2018 15:55:16 +0000 (16:55 +0100)]
new a10A
Mart Lubbers [Tue, 27 Nov 2018 11:27:06 +0000 (12:27 +0100)]
Merge branch 'master' of git.martlubbers.net:clean-tests
Mart Lubbers [Tue, 27 Nov 2018 11:26:57 +0000 (12:26 +0100)]
a10
Mart Lubbers [Fri, 23 Nov 2018 08:11:19 +0000 (09:11 +0100)]
a9
Mart Lubbers [Wed, 14 Nov 2018 09:43:50 +0000 (10:43 +0100)]
Merge branch 'master' of git.martlubbers.net:clean-tests
Mart Lubbers [Wed, 14 Nov 2018 09:43:18 +0000 (10:43 +0100)]
fundeps a8
Mart Lubbers [Sat, 10 Nov 2018 14:50:48 +0000 (15:50 +0100)]
t push orMerge branch 'master' of git.martlubbers.net:clean-tests
Mart Lubbers [Sat, 10 Nov 2018 14:50:44 +0000 (15:50 +0100)]
com
Mart Lubbers [Wed, 7 Nov 2018 08:40:28 +0000 (09:40 +0100)]
remove bin
Mart Lubbers [Wed, 7 Nov 2018 08:40:12 +0000 (09:40 +0100)]
Merge branch 'master' of git.martlubbers.net:clean-tests
Mart Lubbers [Wed, 7 Nov 2018 08:40:05 +0000 (09:40 +0100)]
a7
Mart Lubbers [Thu, 11 Oct 2018 13:29:11 +0000 (15:29 +0200)]
Merge branch 'master' of git.martlubbers.net:clean-tests
Mart Lubbers [Thu, 11 Oct 2018 13:28:36 +0000 (15:28 +0200)]
bork
Mart Lubbers [Thu, 11 Oct 2018 13:27:06 +0000 (15:27 +0200)]
a5
Mart Lubbers [Thu, 11 Oct 2018 13:08:05 +0000 (15:08 +0200)]
updates
Mart Lubbers [Fri, 5 Oct 2018 11:40:08 +0000 (13:40 +0200)]
afp
Mart Lubbers [Fri, 5 Oct 2018 09:12:51 +0000 (11:12 +0200)]
gopdt
Mart Lubbers [Thu, 27 Sep 2018 08:59:04 +0000 (10:59 +0200)]
t push Merge branch 'master' of git.martlubbers.net:clean-tests
Mart Lubbers [Thu, 27 Sep 2018 08:59:02 +0000 (10:59 +0200)]
up
Mart Lubbers [Thu, 27 Sep 2018 08:58:49 +0000 (10:58 +0200)]
up
Mart Lubbers [Fri, 21 Sep 2018 07:23:50 +0000 (09:23 +0200)]
Merge branch 'master' of git.martlubbers.net:clean-tests
Mart Lubbers [Fri, 21 Sep 2018 07:03:17 +0000 (09:03 +0200)]
Merge branch 'master' of git.martlubbers.net:clean-tests
Mart Lubbers [Fri, 21 Sep 2018 07:03:17 +0000 (09:03 +0200)]
Merge branch 'master' of git.martlubbers.net:clean-tests
Mart Lubbers [Fri, 21 Sep 2018 07:02:55 +0000 (09:02 +0200)]
fp
Mart Lubbers [Fri, 21 Sep 2018 07:01:30 +0000 (09:01 +0200)]
runtasks
Mart Lubbers [Tue, 11 Sep 2018 14:43:42 +0000 (16:43 +0200)]
updates
Mart Lubbers [Mon, 10 Sep 2018 13:54:01 +0000 (15:54 +0200)]
Merge branch 'master' of git.martlubbers.net:clean-tests
Mart Lubbers [Mon, 10 Sep 2018 13:53:39 +0000 (15:53 +0200)]
file picker
Mart Lubbers [Mon, 10 Sep 2018 13:53:22 +0000 (15:53 +0200)]
tests'
_'
'
Mart Lubbers [Thu, 6 Sep 2018 11:30:33 +0000 (13:30 +0200)]
Merge branch 'master' of git.martlubbers.net:clean-tests
Mart Lubbers [Thu, 6 Sep 2018 11:30:26 +0000 (13:30 +0200)]
bork
Mart Lubbers [Thu, 23 Aug 2018 16:48:06 +0000 (18:48 +0200)]
Merge branch 'master' of git.martlubbers.net:clean-tests
Mart Lubbers [Thu, 23 Aug 2018 16:48:04 +0000 (18:48 +0200)]
exexexe
Mart Lubbers [Thu, 16 Aug 2018 14:24:41 +0000 (16:24 +0200)]
testsssss
Mart Lubbers [Fri, 13 Jul 2018 09:09:25 +0000 (11:09 +0200)]
bork
Mart Lubbers [Tue, 10 Jul 2018 05:48:42 +0000 (07:48 +0200)]
bork
repositories / clean-tests.git / log