anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-14 17:32:00 +03:00
Code Issues Projects Releases Wiki Activity
293 Commits 53 Branches 39 Tags 21 MiB
9d086a79a4
Commit Graph

293 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Jonathan Cubides
9d086a79a4
Update Example.agda 2022-03-16 14:21:25 +01:00
Jan Mas Rovira
df5f6d2df0 [scoper] check that top modules are defined in the correct path 2022-03-16 13:58:07 +01:00
Jan Mas Rovira
09303131a8 [test] improve test for literals 2022-03-16 12:42:06 +01:00
Jan Mas Rovira
3b685092d9 [minihaskell] inline all imported top module files 2022-03-16 12:40:43 +01:00
Jan Mas Rovira
8760f73d38 [parser] allow '-' as the first character of an identifier. Use try for literals 2022-03-16 12:39:50 +01:00
Jan Mas Rovira
4a346ea0dc [pretty] MiniHaskell: put :: in type signature (for real) 2022-03-15 18:09:58 +01:00
Jan Mas Rovira
3d1fd29199 [pretty] fix :: in type signatures 2022-03-15 18:08:31 +01:00
Jan Mas Rovira
5848e8693a [app] add minihaskell command 2022-03-15 18:01:28 +01:00
Jan Mas Rovira
6f9f847b0b [pretty] add pretty printer for MiniHaskell 2022-03-15 17:28:01 +01:00
Jan Mas Rovira
271464df04 add integer and string literals 2022-03-15 12:37:33 +01:00
Jan Mas Rovira
d061dc8a39 add translation from abstract to MiniHaskell 2022-03-15 10:18:34 +01:00
Jan Mas Rovira
7c19f17985 small refactor 2022-03-09 19:28:00 +01:00
Jan Mas Rovira
eace0cfcb4 [minihaskell] add language syntax 2022-03-09 14:34:06 +01:00
Jan Mas Rovira
44388c08af [scoped] add HasNameKind class 2022-03-09 14:34:06 +01:00
Jan Mas Rovira
4517dbf7c7 [extensions] add TemplateHaskell and DeriveGeneric 2022-03-09 14:33:36 +01:00
Jan Mas Rovira
798c4da699 [termination] add termination subcommands 2022-03-08 18:09:40 +01:00
Jonathan Prieto-Cubides
7f501de774 [ tests ] added example about ordinals 2022-03-08 13:25:17 +01:00
Jonathan Prieto-Cubides
02c17c1d1f [ tests ] Uppercase type variables 2022-03-07 17:59:18 +01:00
Jonathan Prieto-Cubides
9ed5db7243 [ tests ] fixed definitions for flat and aux 2022-03-07 17:16:45 +01:00
Jan Mas Rovira
0021e7cf70 [app] properly filter callGraph 2022-03-07 17:14:16 +01:00
Jan Mas Rovira
18fd8841ed [app] add default value for -show-decreasing-args 2022-03-07 16:43:30 +01:00
Jonathan Prieto-Cubides
19c15a1a8e [ tests ] Adds some example of mutual recursion to test the termination checker 2022-03-07 16:39:14 +01:00
Jan Mas Rovira
fd5a70296f [app] add option to filter function by name in calls and graph commands 2022-03-07 16:32:24 +01:00
Jan Mas Rovira
e9e97151ce [abstract] fail if we have a nonempty where clause 2022-03-07 14:34:17 +01:00
Jan Mas Rovira
14573c0927 Merge remote-tracking branch 'origin/qtt' into jan 2022-03-05 14:08:30 +01:00
Jan Mas Rovira
f7b3d6042f [termination] implement callgraph using sets 2022-03-05 13:32:47 +01:00
Jan Mas Rovira
42de5df6c5 [termination] fix diagonal matrix 2022-03-04 14:52:33 +01:00
Jan Mas Rovira
9dfe3981d7 [termination] fix termination for recursive functions with no arguments 2022-03-04 12:35:48 +01:00
Jonathan Prieto-Cubides
1046981240 Some revisions added 2022-03-04 12:18:51 +01:00
Jan Mas Rovira
4ee79a4baf [termination] improve efficiency of lexicographical order search 2022-03-04 10:13:32 +01:00
Jan Mas Rovira
d6dda61e12 [termination] implement lexical order search 2022-03-04 02:13:43 +01:00
Jan Mas Rovira
5d264d61de [termination] reorganize code 2022-03-03 23:39:52 +01:00
Jan Mas Rovira
42f9d0334d [termination] small fix: rename callGraph to callMap 2022-03-03 13:22:30 +01:00
Jan Mas Rovira
61f12e3ed8 [app] add specific command for computing the complete call graph 2022-03-02 11:10:11 +01:00
Jan Mas Rovira
dc62c642a8 [termination] small refactor to remove a redundant type 2022-03-02 10:45:40 +01:00
Jan Mas Rovira
6e38e3c045 [termination] pretty print completed call graph 2022-03-02 09:20:00 +01:00
Jan Mas Rovira
73b2278288 [termination] implement size relation, call matrix and complete call graph 2022-03-02 00:18:42 +01:00
Jan Mas Rovira
9377c55b7b [proofs] add some proofs on small matrices 2022-02-28 18:31:31 +01:00
Jan Mas Rovira
21261046ac [deps] add algebraic-graphs dependency 2022-02-28 18:29:14 +01:00
Jan Mas Rovira
4d662f640d [stack] update resolver 2022-02-28 18:28:09 +01:00
Jan Mas Rovira
e983065a7b [stdlib] update 2022-02-28 18:24:52 +01:00
Jan Mas Rovira
f48a7c0e04 [proofs] fix module path 2022-02-25 17:27:36 +01:00
Jan Mas Rovira
3772b8b9f8 [proofs] move file 2022-02-25 17:27:12 +01:00
Jan Mas Rovira
4e99d53bfc [proofs] prove that the foetus98 algebra is a StarSemiring 2022-02-25 16:38:54 +01:00
Jan Mas Rovira
7a5b838070 [proofs] add StarSemiring structure 2022-02-25 16:38:38 +01:00
Jan Mas Rovira
e87eed038e [proofs] prove that the foetus98 size relation and its operations form a semiring 2022-02-25 12:32:21 +01:00
Jan Mas Rovira
206d263e70 [app] rename 'graph' command to 'calls' 2022-02-24 19:36:21 +01:00
Jan Mas Rovira
d1af2c8862 [termination] allow different printing options (arg|rel|both) for call graph 2022-02-24 11:03:02 +01:00
Jan Mas Rovira
79d9cc6f97 [termination] detect non-increasing arguments 2022-02-24 02:27:00 +01:00
Jan Mas Rovira
95c7e6fa10 [tests] add ackermann function 2022-02-24 01:33:26 +01:00