RSS feed
e9035e07
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 16:56
Don't print extra stuff.
0249553f
– Lennart Augustsson <lennart@augustsson.net>
authored
and GitHub <noreply@github.com>
committed
on 2023/11/27 16:49
Merge pull request #6 from dmjio/cc
56fef7b2
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 16:38
Test fixes.
4f01480a
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 16:34
More tests
30730a71
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 16:28
Add nfib to tests.
08fca0b1
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 16:25
Start of Symbol kind.
645abd7e
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 15:45
Another test.
7cf1c79a
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 15:42
Fix problem with meta variables in dictionary arguments.
83038eb0
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 14:59
Add aarch64
e0218782
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 14:38
More platforms
009c2c8b
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 14:32
Fix typo
bf737faf
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 14:31
Change test
0da422e2
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 14:28
Reorder tests
98209f4e
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 14:25
More test
c35085e2
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 14:22
Test
9ebb37c3
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 14:20
More 32 tests
6a01ad0f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 14:12
Silly quote
dff81d06
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 14:11
Less 32 testing
fdc175a8
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 14:03
32 bit fixes.
fc3070f7
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 13:57
32 bit fixes
17807bfa
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 13:49
More packages
08dc5825
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 13:43
Add 32 bit conf.
c4959615
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 12:45
Add a GC reduction for (C op) when op can be flipped.
d879d78f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 12:14
Refactor
318f879c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 12:11
Make :reload smarter
98a03508
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 11:38
Some float changes.
cb61540c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 11:23
Add a flag to show if we are on Windows.
2fd37e8e
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 10:58
Use MD5 on windows too.
8675af3c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 10:56
Use \
05e0bf35
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 10:54
Dependeny fixes.
71ce981d
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 10:50
Add intttype.h
c38cb328
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 10:47
Add CI for windows
3889a8ea
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/27 10:38
Redo how the config is used.
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.
cc302bbc
– David Johnson <djohnson.m@gmail.com>
authored
on 2023/11/27 07:40
Make C compiler configurable
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.
Next