RSS feed
d3405fb5
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/09 12:53
Start of view patterns.
6caaf2fe
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/09 08:19
Use different constructor for prefix negation.
53ceb875
– Lennart Augustsson <lennart@augustsson.net>
authored
on 2023/12/09 08:05
Cache flag -s now -C
9005e82a
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/05 06:13
Edit
9cfcb11d
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/04 20:14
Add K2, K3, K4
a87c3802
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/04 15:30
Only do GC reductions in the first pass.
9f609d8f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/04 14:57
Fix a pattern parsing bug.
8fb0571b
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/04 14:28
Prefix negation fixed.
4bc6e977
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/04 14:22
Turn on alternate constructor encoding.
d3340bac
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/04 14:10
Add a different constructor encoding. Currently disabled.
218649cd
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/04 13:35
Swap encIf arguments
aeae7c4f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/04 13:26
Add sortBy
a10da947
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/04 11:05
Refactor encoding of lists.
c07b6997
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/04 10:49
Move constructor and case encoding to its own module.
85ded7f6
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/04 08:07
Make fixity resolution a little nicer.
0bf6f63c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/04 08:01
Refactor fixity resolution to its own file.
0eba1c12
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/04 07:58
Make prefix - work. Surprisingly involved.
f3f8a5ec
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/03 16:41
Parse prefix - correctly.
a21f62cc
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/03 07:20
Treat generated/mhs.c as a binary file (no diff).
f2ad9bb9
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/03 06:57
Kill warning.
47a5fa14
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/02 11:04
Prepare for quantified constraint
729bd2ed
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/01 08:35
Make => polykinded in the second argument.
5f90bba7
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/01 07:17
More TypeLits stuff
f7e693fe
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/12/01 06:53
Some stuff for TypeLits
9b648b84
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/30 10:06
Add fundeps
d02b40c4
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/30 10:06
Export asum
c3d5b2a4
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/30 10:06
Add zip3
a92b259d
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/30 08:18
Add lots of instances.
e17b0b42
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/29 20:11
More refactoring of the constraint solver.
27478248
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/29 19:34
Refactor constraint solver.
e7a6778e
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/29 19:33
Add comment
4fa3fcaf
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/29 11:50
Revert "Try more tests again."
e7c61a81
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/29 11:44
Try more tests again.
43462571
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/29 11:23
Revert "More tests on 32 bits"
529b301b
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/29 11:18
More tests on 32 bits
6ee6740e
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/29 11:11
Comment out the FArith test for now.
631e3e16
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/29 11:01
Use less heap with runtestmhs
b024dfe2
– Lennart Augustsson <lennart@augustsson.net>
authored
and GitHub <noreply@github.com>
committed
on 2023/11/29 11:12
Merge pull request #7 from dmjio/emscripten-ci
258d576f
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/29 10:46
Make Integer work with 32 bit words.
03ffe328
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/29 09:03
More comments.
d3bb1145
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/29 08:53
Disable problematic GC reduction.
03886e1c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/29 08:45
Regen
2367ff5c
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/29 07:52
Add Data.Proxy
7b4ce0a5
– David Johnson <djohnson.m@gmail.com>
authored
on 2023/11/28 09:46
Adds emscripten Makefile and CI entries
7a658066
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/28 12:36
More fixes for float
a86b2bcd
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/28 12:26
Test updates for 32 bit
bd52a299
– Lennart Augustsson <lennart.augustsson@epicgames.com>
authored
on 2023/11/28 10:18
Refactor.
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
Next