RSS feed
a1adb6a8
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 09:50
More CI
0b3fe41b
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 09:03
Only C tests for everytestmhs
c7a15944
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 08:55
Dummy commit
e7299487
– Lennart Augustsson <lennart@augustsson.net>
authored
and GitHub <noreply@github.com>
committed
on 2023/11/27 08:54
Create c-cpp.yml
8115958c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 08:53
Less tests
1fc913ac
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 08:49
Regen
47379f48
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 08:48
More testing stuff
019086e9
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 08:27
More testing
52c588b1
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 08:27
Nicer name generation.
ce593aea
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 08:27
Make it work
17e9e9a9
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 08:20
Better debug
513fd84d
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 08:19
Add missing import.
b99cb952
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/26 13:56
Handle constraint variables better.
4bbd2e17
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/26 07:41
More bugs.
554f2c7b
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/26 07:33
Fix bug in transitivity generation.
45b40d4c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/26 07:15
Add a test for constraint variables.
2bb13446
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/26 07:06
Make arrow keys work again.
117ef42c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/26 06:43
Add Data.Void
da432078
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/26 06:37
Bump version
8df0ac52
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/26 06:35
Regen
b2db88b8
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/26 06:34
Set up target to cache all of lib/
64d12f8d
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/26 06:24
Add target for running examples.
d86f4ae0
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/26 06:20
Better writeFileFast
dd9af731
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/26 06:19
Ignore more
dce6fe4e
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/26 06:18
More FFI stuff
b460f85f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/26 06:16
More portable code for setting raw mode.
21304a39
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/25 15:08
Update version.
140ee04c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/25 15:07
Add missing md5.c in compilation command.
f1929b46
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/25 15:03
Add missing file.
db7a9ad6
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/25 11:13
Bad writeFileFast
07ced839
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/25 11:07
Make safer for GC.
31866874
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/25 11:00
Allow longer strings in evalString.
af8dcc9a
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/25 10:59
Add fwrite & fread
8bb3ce45
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/25 10:28
Fix spellos.
51393f56
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/25 10:23
Add missing file.
8a836cd7
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/25 10:21
More compilation cache. It works on some simple examples.
5185d914
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/25 10:07
New version
7846a20f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/25 10:06
Better error messages in getraw().
6e9ed994
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/25 09:53
Note that there are no records.
519eb83e
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/25 09:52
More cache stuff
db4b72d1
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/24 18:20
More preparation for a compilation cache.
ad81f6dc
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/24 13:49
Better magnitude (modulos) functions.
5a6e20ca
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/24 13:01
Prepare for caching compilation
a40a0673
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/24 12:32
Dummy MD5 for GHC
144e3e30
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/24 12:30
Add MD5 checksumming.
51d4b252
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/24 11:36
Minor tweak.
294b1dc3
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/24 09:29
Update
519d97a7
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/23 19:55
Remove --X processing.
438daa9f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/23 19:50
Get rid of --X.
e1b4550f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/23 19:44
Add instantiation of parameterless context
2d0fe252
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/23 16:33
Clean up
5f773c1e
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/23 16:30
Delete junk.
b0ee0e44
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/23 16:12
Edit.
4b386c6b
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/23 16:07
Small tweaks.
752043cd
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/23 10:29
Regen
222af8fc
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/23 10:23
Add target
15867b28
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/23 10:20
Prefer argument dictionaries over instances.
61023e37
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/23 09:36
Get rid of more --X
f2fb6f74
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/23 09:01
Remove more --X
4fd2c14e
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/23 08:54
Remove --X on deriving.
216898a5
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/23 08:53
Parse and ignore deriving.
888a3f86
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/23 08:45
Get rid of more --X
584e3185
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/23 08:34
Add comment
e46daa17
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/23 08:29
Get rid of all --Ximport
9fe472b8
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/11/22 20:02
Minor tweaks.
217986cc
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/22 15:26
Make it easy to use a cached Prelude.
3aa161e0
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/22 15:11
Propagate fundeps
bacaee30
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/22 05:49
Parse fundeps correctly
50a3e59e
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/21 19:50
More
a37a58b7
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/21 19:50
Remove junk
b22f2ebf
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/21 19:09
More tests
3d6876dc
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/21 19:06
Update with numbers.
8ace8b89
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/21 19:06
Fix types
0362bdbd
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/21 13:55
Rename evalio to execio.
6d791430
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/21 12:51
Rename BK to Z
811a341a
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/21 12:28
Regen
61d11a84
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/20 13:56
Dump combinators when really verbose.
4680b1d4
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/20 13:56
Add tag name array.
b4390daf
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/20 13:31
Add missing stack depth checks.
5307a307
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/20 13:31
Better defn processing.
725a0515
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/20 11:55
Make safer.
ae92dd51
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/20 10:08
Rename T to U (like David Turner had it).
8e277869
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/20 08:11
Tweaks
b74c30e9
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/20 08:07
Monad instance for functions.
784543ab
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/20 07:57
Two kinds of rnf, with our without calls to error et al.
caace13b
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/20 07:56
New handy targets
6009f507
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/19 19:54
Regen
b7d664f2
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/19 19:50
Add test
d3cdee1e
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/19 19:48
More type equality stuff.
b0d55ed7
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/18 19:23
Start of type equality.
99e4b296
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/18 18:36
Minor tweaks.
4e1310bf
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/18 18:19
Test for existentials.
e2879fb1
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/18 18:16
Make sure existentials work in more places.
fd90cd62
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/18 11:39
Support dumping and reading compilation cache.
9cafa1a6
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/18 11:05
Comments
eff1304f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/17 20:34
Hack rnf() so it doesn't call error functions.
02bd8474
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/17 20:33
Have two versions of cprint
8dc29a90
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/17 20:32
Better error message
518e38f6
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/17 20:11
Update TODO
cc468f4f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/17 19:52
Make simple existentials work.
Next