945 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Dmitry Boulytchev	89f72bdcac	Added test to x86only	2018-11-06 14:03:55 +03:00
Dmitry Boulytchev	d0a32802e3	Extended pattern-matching	2018-11-06 00:21:38 +03:00
Dmitry Boulytchev	cf045e0be5	Fixed bug in sexp arity	2018-11-05 20:17:11 +03:00
Dmitry Boulytchev	8a4874797b	'as' pattern	2018-11-05 18:21:41 +03:00
Dmitry Boulytchev	be89ee983a	Sync	2018-11-04 12:54:26 +03:00
Dmitry Boulytchev	584e7a998b	Added x86only	2018-11-01 15:12:45 +03:00
Dmitry Boulytchev	2bf7ab7091	Added missing file	2018-11-01 15:08:13 +03:00
Dmitry Boulytchev	06d05b1506	Added test for .string	2018-10-31 21:48:44 +03:00
Dmitry Boulytchev	3cd95f8b5f	StringVal as a builtin .string	2018-10-31 20:10:50 +03:00
Dmitry Boulytchev	9caee0c526	Arithmetic corrections	2018-10-25 03:15:24 +03:00
Dmitry Boulytchev	eb72a6aa3d	Arithmetics+corrections (expressions only)	2018-10-23 23:18:00 +03:00
Dmitry Boulytchev	ee402687de	Fixed ref in X86.ml	2018-10-23 14:29:30 +03:00
Dmitry Boulytchev	1ac302ac46	Switched to the new GT	2018-05-28 18:44:38 +03:00
Dmitry Boulytchev	72c963f60f	Pre-HW12	2018-05-25 09:53:10 +03:00
Dmitry Boulytchev	57588f2605	Pattern matching in X86	2018-05-16 16:50:36 +03:00
Dmitry Boulytchev	1f1ef2ce57	Intermediate; pattern matching in x86	2018-05-16 09:24:40 +03:00
Dmitry Boulytchev	34767b9dcb	Fixed pattern matching in SM	2018-05-11 02:40:52 +03:00
Dmitry Boulytchev	a5dbf5156a	Sync	2018-05-06 21:38:36 +03:00
Dmitry Boulytchev	691c84f1c8	S-expressions and pattern matching	2018-05-04 02:59:23 +03:00
Dmitry Boulytchev	de17bdc3c4	Reach pattern-matching.	2018-05-02 22:36:27 +03:00
Dmitry Boulytchev	40afee26cc	Generalized state	2018-05-01 03:37:29 +03:00
Dmitry Boulytchev	de760a2b09	Pattern-matching parsing	2018-05-01 02:57:09 +03:00
Dmitry Boulytchev	3f40a66f43	Added sorting test	2018-04-30 18:12:12 +03:00
Dmitry Boulytchev	7314f109b4	Arrays/strings in x86	2018-04-30 17:18:41 +03:00
Dmitry Boulytchev	39508a0195	Buildtins, arrays, string (no X86 yet), tests	2018-04-27 01:27:10 +03:00
Dmitry Boulytchev	25eff5c282	Sync	2018-04-26 22:31:47 +03:00
Dmitry Boulytchev	dd5956d663	Strings/arrays/builtins in int/sm	2018-04-25 01:06:18 +03:00
Dmitry Boulytchev	b19bea4d58	Functions in X86	2018-04-11 00:47:46 +03:00
Dmitry Boulytchev	8907ab2119	Text	2018-04-06 02:40:24 +03:00
Dmitry Boulytchev	73ad0dd515	Stack machine for functions	2018-04-03 11:06:38 +03:00
Dmitry Boulytchev	784cc6510d	Function tests in interpretation	2018-04-03 08:05:10 +03:00
Dmitry Boulytchev	44b8a96e34	Tests in interpretation	2018-04-03 07:21:59 +03:00
Dmitry Boulytchev	b4f6f48e30	CPS-style	2018-04-02 10:38:54 +03:00
Dmitry Boulytchev	7352dc3da8	Functions without return	2018-04-02 07:00:36 +03:00
Dmitry Boulytchev	0ab54cddbc	Renamed enter/leave	2018-04-02 06:09:30 +03:00
Dmitry Boulytchev	47080c50cd	Reverted to procedures implementation	2018-04-02 06:07:19 +03:00
Dmitry Boulytchev	5c7cb4ccaa	Revert "hw6" ... This reverts commit 2645f1433c.	2018-04-02 05:58:02 +03:00
Dmitry Boulytchev	2d48cecb1a	Revert "Fixed docs" ... This reverts commit eff25f1cf4.	2018-04-02 05:56:26 +03:00
Dmitry Boulytchev	2645f1433c	hw6	2018-03-28 17:13:59 +03:00
Dmitry Boulytchev	eff25f1cf4	Fixed docs	2018-03-28 15:01:04 +03:00
Dmitry Boulytchev	bad97b4d6f	05.tex done	2018-03-28 00:12:06 +03:00
Dmitry Boulytchev	08c0d5d4a2	05.tex	2018-03-27 22:53:31 +03:00
Dmitry Boulytchev	087bdfd10a	Procedures in SM	2018-03-27 03:13:00 +03:00
Dmitry Boulytchev	b4ef95c8bc	Procedures in interpretation	2018-03-27 01:51:22 +03:00
Dmitry Boulytchev	30697f19eb	Added 04.tex	2018-03-25 21:05:37 +03:00
Dmitry Boulytchev	8409f69983	Control constructs	2018-03-20 23:13:51 +03:00
Dmitry Boulytchev	a60a491e73	Implemented control constructs	2018-03-20 20:30:58 +03:00
Dmitry Boulytchev	f8a5e2067a	Sync	2018-03-20 19:32:38 +03:00
Dmitry Boulytchev	7d9776c4cb	Merge branch 'hw4'	2018-03-14 23:27:16 +03:00
Dmitry Boulytchev	f10cdcf2e8	Yep...	2018-03-14 23:26:52 +03:00