Commit Graph

Select branches

Hide Pull Requests

b-r

master

Mono Color

• e5784bb20b lab19: impl master Yuri Tatishchev 2026-04-30 19:30:13 -07:00
• dba2c2b3d6 lab19: init Yuri Tatishchev 2026-04-29 11:33:23 -07:00
• d042a0e016 lab18: impl Yuri Tatishchev 2026-04-28 06:29:32 -07:00
• d2bbb8d14a lab18: init Yuri Tatishchev 2026-04-28 06:24:23 -07:00
• 574225a0f3 lab16: impl Yuri Tatishchev 2026-04-23 01:53:08 -07:00
• 95bb649249 lab17: part 5 Yuri Tatishchev 2026-04-23 01:24:04 -07:00
• c11daa808f lab17: part 4 Yuri Tatishchev 2026-04-23 00:31:22 -07:00
• b7285c39d6 lab17: part 3 Yuri Tatishchev 2026-04-22 23:48:59 -07:00
• 1c5df94c31 lab17: part 2 Yuri Tatishchev 2026-04-22 12:03:22 -07:00
• 6d6820009b lab17: init Yuri Tatishchev 2026-04-22 11:03:07 -07:00
• 6aa6c9f076 lab16: init Yuri Tatishchev 2026-04-22 11:00:06 -07:00
• f0c3ba65a8 lab15: impl Yuri Tatishchev 2026-04-16 16:22:58 -07:00
• aec8289f11 lab15: init Yuri Tatishchev 2026-04-16 16:15:22 -07:00
• c021b2e24e lab14: format stuff Yuri Tatishchev 2026-04-14 23:49:17 -07:00
• 9374144565 lab14: impl typing rules Yuri Tatishchev 2026-04-14 15:41:29 -07:00
• 4a784531c2 lab14: impl small step semantics Yuri Tatishchev 2026-04-14 14:30:38 -07:00
• d41f780d2e lab14: init Yuri Tatishchev 2026-04-14 12:29:27 -07:00
• 7b54fa5303 lab13: impl Yuri Tatishchev 2026-04-09 15:57:41 -07:00
• 4fd0fec404 lab13: init Yuri Tatishchev 2026-04-08 10:58:56 -07:00
• 2ef46d20c0 lab12: impl Yuri Tatishchev 2026-04-07 15:37:21 -07:00
• 7661769b52 lab12: init Yuri Tatishchev 2026-04-07 15:25:17 -07:00
• 091481091b lab11: impl Yuri Tatishchev 2026-04-05 18:54:56 -07:00
• dc881101eb lab11: init Yuri Tatishchev 2026-04-05 18:43:43 -07:00
• a5845d69b6 hw3: tests Yuri Tatishchev 2026-03-15 02:11:19 -07:00
• f5788b3f4a hw3: impl parser and interpreter Yuri Tatishchev 2026-03-15 02:09:40 -07:00
• 1bc674f6b6 hw3: init Yuri Tatishchev 2026-03-13 15:01:31 -07:00
• 7541f30384 lab10: impl Yuri Tatishchev 2026-03-10 23:59:33 -07:00
• 82e51d2224 lab10: init Yuri Tatishchev 2026-03-09 11:33:46 -07:00
• 471c65d1d3 lab09: impl pretty print Yuri Tatishchev 2026-03-08 22:26:21 -07:00
• 32760466db lab09: impl parsing Yuri Tatishchev 2026-03-08 22:08:34 -07:00
• 9662155716 lab09: init Yuri Tatishchev 2026-03-08 21:48:10 -07:00
• aff81eb6da hw2: impl interp Yuri Tatishchev 2026-03-06 01:14:27 -08:00
• 022f9ca2fc hw2: correct while semantics Yuri Tatishchev 2026-03-06 00:52:02 -08:00
• d3479a5b88 hw2: remove extra stuff from semantics Yuri Tatishchev 2026-03-06 00:20:21 -08:00
• 5e9759a8e5 hw2: add boolean operators to semantics Yuri Tatishchev 2026-03-06 00:13:04 -08:00
• d7f35fef5b hw2: add big-step semantics Yuri Tatishchev 2026-03-06 00:01:31 -08:00
• 320817c8a1 hw2: tmp init b-r Yuri Tatishchev 2026-03-05 23:06:24 -08:00
• 4aa6836dab lab08: impl Yuri Tatishchev 2026-03-03 13:54:41 -08:00
• 8a13b621bf lab08: init Yuri Tatishchev 2026-03-02 11:14:28 -08:00
• 278f9dce2e lab07: impl applicative Yuri Tatishchev 2026-03-01 22:50:44 -08:00
• 64c43ed46f lab07: impl functor Yuri Tatishchev 2026-03-01 22:16:03 -08:00
• a2e3a80c61 lab07: init Yuri Tatishchev 2026-02-25 11:19:26 -08:00
• ba60218766 lab06: impl Yuri Tatishchev 2026-02-23 11:29:46 -08:00
• 10d551b4bc lab06: init Yuri Tatishchev 2026-02-23 11:22:37 -08:00
• 8d9529d7c6 lab08: impl Yuri Tatishchev 2026-03-03 13:54:41 -08:00
• 70c88a8ba2 lab08: init Yuri Tatishchev 2026-03-02 11:14:28 -08:00
• 23b2a4376d lab07: impl applicative Yuri Tatishchev 2026-03-01 22:50:44 -08:00
• d0f0d271ea lab07: impl functor Yuri Tatishchev 2026-03-01 22:16:03 -08:00
• 3a4f8bbde6 lab07: init Yuri Tatishchev 2026-02-25 11:19:26 -08:00
• 4e8118bfc0 lab06: impl Yuri Tatishchev 2026-02-23 11:29:46 -08:00
• d5b3fdf33a lab06: init Yuri Tatishchev 2026-02-23 11:22:37 -08:00
• c481875eca lab05: impl Yuri Tatishchev 2026-02-21 21:28:52 -08:00
• 5138e3f817 hw2: init Yuri Tatishchev 2026-02-21 21:09:49 -08:00
• fd9063e09d hw1: submission Yuri Tatishchev 2026-02-15 00:29:22 -08:00
• 8b04b13c8f hw1: impl multiply, power of Yuri Tatishchev 2026-02-14 23:58:43 -08:00
• 54bf0bfd56 hw1: impl add, subtract, eq Yuri Tatishchev 2026-02-14 23:21:37 -08:00
• 09f11f0e8b hw1: init Yuri Tatishchev 2026-02-14 19:57:27 -08:00
• 52e7e119b6 lab04b: impl Yuri Tatishchev 2026-02-14 22:43:50 -08:00
• 7911a8d160 lab04b: WIP Yuri Tatishchev 2026-02-14 18:30:31 -08:00
• 16be5b2691 lab05: impl Yuri Tatishchev 2026-02-21 21:28:52 -08:00
• 4cda0266e1 hw2: init Yuri Tatishchev 2026-02-21 21:09:49 -08:00
• 10451c7cdd hw1: submission Yuri Tatishchev 2026-02-15 00:29:22 -08:00
• fa77c90d1b hw1: impl multiply, power of Yuri Tatishchev 2026-02-14 23:58:43 -08:00
• b9e10c3e37 hw1: impl add, subtract, eq Yuri Tatishchev 2026-02-14 23:21:37 -08:00
• ca9f9baf8b hw1: init Yuri Tatishchev 2026-02-14 19:57:27 -08:00
• e8f7818ec9 lab04b: impl Yuri Tatishchev 2026-02-14 22:43:50 -08:00
• 14dc6dee28 lab04b: WIP Yuri Tatishchev 2026-02-14 18:30:31 -08:00
• 931bda5ffb semantics-1: impl cleanup Yuri Tatishchev 2026-02-12 20:24:33 -08:00
• f0736b33b2 semantics-1: impl Yuri Tatishchev 2026-02-12 20:13:59 -08:00
• 18e2d0d0c6 semantics-1: typst pt. 2 Yuri Tatishchev 2026-02-12 14:56:17 -08:00
• 79b1f9a381 semantics-1: typst pt. 1 Yuri Tatishchev 2026-02-12 12:58:37 -08:00
• 5f82c2d989 semantics-1: init Yuri Tatishchev 2026-02-12 12:20:39 -08:00
• 2943b49182 lab04b: init Yuri Tatishchev 2026-02-11 11:27:00 -08:00
• 9a8d2abfdb lab04: impl Yuri Tatishchev 2026-02-09 12:43:26 -08:00
• b210cb5b32 lab04: init Yuri Tatishchev 2026-02-09 12:14:20 -08:00
• 802f99b8ba lab03: update docs in semantics.tex Yuri Tatishchev 2026-02-08 17:33:05 -08:00
• b900e95d09 lab03: impl int, succ, pred Yuri Tatishchev 2026-02-08 17:13:02 -08:00
• 17e2ef89a7 lab03: update name in tex Yuri Tatishchev 2026-02-08 17:08:40 -08:00
• 2818b21129 lab03: impl evalueate if Yuri Tatishchev 2026-02-08 16:34:21 -08:00
• 58d081da8c 1 Yuri Tatishchev 2026-02-04 11:20:46 -08:00
• 76de232733 lab03: init Yuri Tatishchev 2026-02-04 11:14:45 -08:00
• 3b111eb7d6 lab01: impl json Yuri Tatishchev 2026-02-02 09:38:15 -08:00
• 14461fa7ef initial commit Yuri Tatishchev 2026-02-01 22:33:08 -08:00