620 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Victor Maia	61bbdec535	Cleanups	2022-07-15 01:23:18 -03:00
Victor Maia	a1961a6548	Fix ctr stringifier	2022-07-15 01:17:49 -03:00
Victor Maia	792108dd33	Merge branch 'master' of github.com:kindelia/kind2	2022-07-15 01:16:36 -03:00
Victor Maia	2af581ef02	Check generated constraints	2022-07-15 01:16:29 -03:00
Victor Taelin	a9c2a73545	Merge pull request #26 from Kindelia/feat-cli ... Add clap cli	2022-07-14 20:58:27 -03:00
Samuel Durante	3c4afcb8d3	Merge branch 'master' into feat-cli	2022-07-14 20:56:15 -03:00
Samuel Durante	ebaff0ee8a	Resolving conflicts	2022-07-14 20:52:37 -03:00
Victor Maia	d41c85b4c1	Add Lean benchmark	2022-07-14 20:23:26 -03:00
Victor Maia	40a8d38900	Add missing file	2022-07-14 19:23:34 -03:00
Victor Maia	9f1a0992eb	Improved syntax, many cleanups	2022-07-14 19:17:20 -03:00
Samuel Durante	9981cfbabc	Add clap cli	2022-07-14 14:07:04 -03:00
Victor Maia	182814b528	Add Idris2 benchmark	2022-07-14 13:06:28 -03:00
Victor Maia	1707c3dfc8	Perf bugfixes and benchmarks	2022-07-14 01:20:49 -03:00
Victor Maia	1ee09c0b2b	Add run instruction	2022-07-13 23:57:15 -03:00
Victor Maia	a161704986	Bugfixes, polishments	2022-07-13 23:56:52 -03:00
Victor Maia	b8092e84d5	Cleanup	2022-07-13 23:22:29 -03:00
Victor Maia	9a7fe526e8	Add example	2022-07-13 23:20:07 -03:00
Victor Maia	41e2518ddd	Initial working type-checker	2022-07-13 23:19:47 -03:00
Victor Maia	27afb25616	Initial working type checker	2022-07-13 00:48:58 -03:00
Victor Maia	469eb5976d	Initial commit	2022-07-12 22:47:17 -03:00