Kindelia/Kind2
1
1
Fork 0
mirror of https://github.com/Kindelia/Kind2.git synced 2024-09-17 10:59:12 +03:00
Code Issues Projects Releases Wiki Activity
580 Commits 10 Branches 10 Tags 56 MiB
a8d0004fdd
Commit Graph

580 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Victor Maia
5d3dffb5d7 More stringifier fixes 2022-08-13 14:12:15 -03:00
Victor Maia
b61a8d5eac Stringifier fixes 2022-08-13 14:10:25 -03:00
Victor Maia
36e7ba99fc Omit () on forall body 2022-08-13 13:55:56 -03:00
Victor Maia
6d2054b57e Update HVM 2022-08-11 14:48:26 -03:00
Victor Maia
1da8314e38 Inc version 2022-08-11 14:34:47 -03:00
Victor Maia
4eee13ec34 Update HVM 2022-08-11 14:26:03 -03:00
Victor Maia
28d3b17706 Merge branch 'master' of github.com:kindelia/kind2 2022-08-11 13:23:24 -03:00
Victor Maia
65fecd1d02 Eval before conversion, fixes #38 2022-08-11 13:23:15 -03:00
Victor Taelin
711f3ca21a
Merge pull request #40 from developedby/checker-fix 
Small checker fixes
 2022-08-11 13:06:29 -03:00
Victor Taelin
748edf00ee
Merge pull request #39 from developedby/asympt-bench 
Add more benchmarks from the smalltt repo
 2022-08-11 13:06:21 -03:00
Victor Maia
7fbe8ab727 Fix Kind2->KDL ctr compiler 2022-08-09 15:24:27 -03:00
Victor Maia
84ff4f54e2 Add missing case on monad syntax 2022-08-09 13:57:18 -03:00
Nicolas Abril
0a05ec87d2 Update benchmarks to new syntax 2022-08-05 12:05:11 -03:00
Nicolas Abril
d97529ea52 Merge remote-tracking branch 'origin/master' into asympt-bench 2022-08-05 12:01:44 -03:00
Victor Maia
72c8e32109 Merge branch 'master' of github.com:kindelia/kind2 2022-08-05 05:09:39 -03:00
Victor Maia
e023947255 Omit most parenthesis; arrow lambda syntax (x => y) 2022-08-05 05:03:25 -03:00
Nicolas Abril
485f389e22 Remove duplicate Checker.find 2022-08-04 23:59:50 -03:00
Nicolas Abril
2f0b6104e3 Remove unused parameter from checker.hvm:Main 2022-08-04 23:58:45 -03:00
Nicolas Abril
dff1b228b5 Add more benchmarks from the smalltt repo 2022-08-04 23:57:27 -03:00
Victor Taelin
dc1d081a7f
Merge pull request #37 from developedby/hex-literals 
Add hexadecimal number literals
 2022-08-02 00:20:25 -03:00
Nicolas Abril
d37b0c2260 Add hexadecimal number literals 2022-07-30 23:13:44 -03:00
Victor Maia
727e334609 Update HVM, reduction improvements 2022-07-27 19:59:40 -03:00
Victor Maia
dd66be414f Update HVM, fixes reduction bugs 2022-07-27 18:59:09 -03:00
Victor Maia
7d8327c394 Remove accidental line 2022-07-27 18:03:35 -03:00
Victor Maia
e948648062 Fix stringifier and deriver 2022-07-27 17:26:04 -03:00
Victor Maia
7c1a7aa793 Stringify sugars and lists 2022-07-27 16:19:46 -03:00
Victor Taelin
e33809f3cc
Merge pull request #34 from Kindelia/sugar-syntax 
Add char and string sugar syntax
 2022-07-27 12:34:39 -03:00
Victor Maia
c7e18e936d Inc version 2022-07-27 01:13:19 -03:00
Victor Maia
af1b3890d0 Proper reduction of default cases; fixes #32 2022-07-27 01:09:28 -03:00
Victor Maia
4c21332cad Inc version 2022-07-26 17:33:49 -03:00
Victor Taelin
b9e7e36be9
Merge pull request #35 from FranchuFranchu/linearize-unused 
to-kdl: Linearize unused variables.
 2022-07-26 17:33:27 -03:00
Victor Maia
be09477634 Show unbound var name 2022-07-26 17:12:39 -03:00
Victor Maia
4564e27fee Fix derive path with dots 2022-07-26 16:32:48 -03:00
FranchuFranchu
609906e3c4 to-kdl: Linearize unused variables. 
Previously, the following code:

    Q (x: Type): U60
    Q x = #0

would get turned into:

	fun (Q x) {
	  (Q x) = #0
	}

This is incorrect because X is not used, and thus isn't used in a linear way.

Now, the correct code is produced:

	fun (Q x) {
	  (Q ~) = #0
	}

This has also been implemented for lambdas: `@x #0` -> `@~ #0`
 2022-07-26 16:12:39 -03:00
Victor Maia
8303aeff36 Linearize variables on Kindelia compiler 2022-07-26 14:53:06 -03:00
Victor Maia
a8e9d02c68 Add missing type name 2022-07-25 22:42:13 -03:00
Victor Maia
b3e0d2802b Match syntax and improvements 2022-07-25 20:23:31 -03:00
Samuel Durante
e6253f7714 Add char and string sugar syntax 2022-07-25 03:45:07 -03:00
Victor Maia
edf9a9fdc5 Terminal IO 2022-07-24 14:16:59 -03:00
Victor Maia
c5295e9c08 Inc version 2022-07-23 23:06:46 -03:00
Victor Maia
4c2641eeb8 Update HVM; fixes #31 2022-07-23 23:05:07 -03:00
Victor Maia
b53901dcde Add an equality to let-bound variables 
Should allow using let for type aliases.
 2022-07-23 15:48:39 -03:00
Victor Maia
c00e729952 Expand README 2022-07-23 15:25:57 -03:00
Victor Maia
e941df9fb0 Re-enable errors on top-level types 2022-07-23 14:44:13 -03:00
Victor Maia
f64e4177ab Temporarily disable errors on top-level types 2022-07-23 14:25:22 -03:00
Victor Maia
c5004cb59b Merge branch 'master' of github.com:kindelia/kind2 2022-07-23 14:21:19 -03:00
Victor Maia
1a39ce8cb9 Improve errors 2022-07-23 14:21:13 -03:00
Victor Taelin
ba6bd211d0
Update README.md 2022-07-23 13:23:32 -03:00
Victor Taelin
de58b84a5f
Update README.md 2022-07-23 13:21:01 -03:00
Victor Taelin
bb875065f3
Update README.md 2022-07-23 13:20:42 -03:00