Commit Graph

Select branches

Hide Pull Requests

colors

donations

localization

margin-rework

master

search

sidenotes

table-of-contents

Mono Color

• 98cac103c4 Update blog post, switching away from two sections. Danila Fedorin 2020-09-17 22:35:40 -0700
• 7226d66f67 Remove the parent method from type_env. Danila Fedorin 2020-09-17 22:35:12 -0700
• 8a352ed3ea Roll back optimization changes. Danila Fedorin 2020-09-17 20:14:39 -0700
• 02f8306c7b Use an instruction instead of a special-case boolean instruction. Danila Fedorin 2020-09-17 18:33:52 -0700
• cf6f353f20 Change tagging to assume sign extension. Danila Fedorin 2020-09-17 18:30:55 -0700
• 7a631b3557 Make a few more things classes. Danila Fedorin 2020-09-17 18:30:41 -0700
• 5e13047846 Make global scope a class. Danila Fedorin 2020-09-15 19:45:05 -0700
• c17d532802 Make type_mgr a class. Danila Fedorin 2020-09-15 19:19:58 -0700
• 55e4e61906 Make mangler a class and reformat graph. Danila Fedorin 2020-09-15 19:13:48 -0700
• f2f88ab9ca Make env a class. Danila Fedorin 2020-09-15 19:12:12 -0700
• ba418d357f Make type_env a class. Danila Fedorin 2020-09-15 19:10:36 -0700
• 0e3f16139d Make llvm_context a class. Danila Fedorin 2020-09-15 19:08:00 -0700
• 55486d511f Make some refactors for name mangling and encapsulation. Danila Fedorin 2020-09-15 18:51:28 -0700
• 6080094c41 Require mangled names for global variables. Danila Fedorin 2020-09-15 14:39:31 -0700
• 6b8d3b0f8a Refactor errors and update post draft. Danila Fedorin 2020-09-11 21:29:49 -0700
• 725958137a Factor type into case strategy constructor. Danila Fedorin 2020-09-11 13:03:00 -0700
• 1f6b4bef74 Start working on part 13 of compiler series. Danila Fedorin 2020-09-11 02:16:57 -0700
• fe1e0a6de0 Switch to using FILE* and default YY_INPUT. Danila Fedorin 2020-09-11 02:16:29 -0700
• 1f3c42fc44 Change constructor visibility to global. Danila Fedorin 2020-09-10 20:11:42 -0700
• 8bf67c7dc3 Merge branch 'master' of https://dev.danilafe.com/Web-Projects/blog-static into master Danila Fedorin 2020-09-10 18:47:55 -0700
• 13214cee96 Try out unboxing integers. Danila Fedorin 2020-09-10 17:32:16 -0700
• 579c7bad92 Enable more syntax. Danila Fedorin 2020-09-10 16:04:44 -0700
• f00a6a7783 Actually use the environment for binop functions. Danila Fedorin 2020-09-10 16:03:56 -0700
• 2a81fdd9fb Stop using mangled names for local variables. Danila Fedorin 2020-09-10 15:14:19 -0700
• 17c59e595c Add assertion regarding local name mangling. Danila Fedorin 2020-09-10 15:05:02 -0700
• ad2576eae2 Move common code into loops. Danila Fedorin 2020-09-10 14:50:03 -0700
• 72d8179cc5 Add compile-time flag to disable output. Danila Fedorin 2020-09-10 14:07:28 -0700
• dbabec0db6 Tweak parsed type error warning. Danila Fedorin 2020-09-10 14:04:06 -0700
• 76675fbc9b Make make_case_for throw from the second time on. Danila Fedorin 2020-09-10 14:03:04 -0700
• ca395b5c09 Add programs to trigger error cases. Danila Fedorin 2020-09-10 14:02:19 -0700
• 1a05d5ff7a Add type errors to identifier nodes. Danila Fedorin 2020-09-10 12:59:26 -0700
• 56f0dbd02f Prevent case compilation from crashing and burning. Danila Fedorin 2020-09-10 12:53:55 -0700
• 9fc0ff961d Add more built-in boolean-specific instructions. Danila Fedorin 2020-09-10 12:44:41 -0700
• 73441dc93b Register booleans as internal types. Danila Fedorin 2020-09-10 00:54:35 -0700
• df5f5eba1c Make sure to delete LLVM target machine. Danila Fedorin 2020-09-09 23:45:48 -0700
• d950b8dc90 Initialize graph indegree. Danila Fedorin 2020-09-09 23:44:53 -0700
• 85394b185d Add prototype impl of case specialization. Danila Fedorin 2020-09-09 22:49:35 -0700
• 86b49f9cc3 Add 'internal' types. Danila Fedorin 2020-09-09 18:08:38 -0700
• 9769b3e396 Replace throw 0 with real exceptions or assertions. Danila Fedorin 2020-09-09 17:19:23 -0700
• e337992410 Add sources for unification type errors. Danila Fedorin 2020-09-09 15:26:04 -0700
• d5c3a44041 Add extra line after code fence. Danila Fedorin 2020-09-09 15:25:48 -0700
• eade42be49 Print locations in non-unification type errors. Danila Fedorin 2020-09-09 15:15:25 -0700
• d0fac50cfd Add locations to patterns. Danila Fedorin 2020-09-09 15:15:09 -0700
• dd4aa6fb9d Require C++17 for optionals Danila Fedorin 2020-09-09 15:14:37 -0700
• aa867b2e5f Add locations to error reporting. Danila Fedorin 2020-09-09 15:08:43 -0700
• 2fa2be4b9e Add a method to print location. Danila Fedorin 2020-09-09 14:41:16 -0700
• d5536467f6 Touch up source index code. Danila Fedorin 2020-09-09 14:20:10 -0700
• 67cb61c93f Keep track of locations in definitions. Danila Fedorin 2020-09-09 14:19:46 -0700
• 578d580683 Make driver keep track of line numbers and locations. Danila Fedorin 2020-09-09 13:57:01 -0700
• 789f277780 Update ASTs to actually take in locations. Danila Fedorin 2020-09-09 13:29:28 -0700
• 308ec615b9 Start using driver, and switch to file IO. Danila Fedorin 2020-09-09 13:00:06 -0700
• 0e40c9e216 Enable locations. Danila Fedorin 2020-09-09 12:21:50 -0700
• 5dbf75b5e4 Fork off version 13 of the compiler. Danila Fedorin 2020-09-08 18:38:05 -0700
• 0b5748cc5a Add links in part 0 of compiler series. localization Danila Fedorin 2020-09-07 00:21:01 -0700
• cd574b43fd Finalize draft of compilers part 0. Danila Fedorin 2020-09-02 16:56:37 -0700
• b921ddfc8d Update resume. Danila Fedorin 2020-09-02 13:47:55 -0700
• 8466a5601e Add a draft of a big portion of the translation of the 0th compilers post. Danila Fedorin 2020-08-29 17:17:43 -0700
• bf3c81fe24 Fix invalid property for flexbox. Danila Fedorin 2020-08-29 00:08:16 -0700
• 06cbd93f05 Publish boolean values post. Danila Fedorin 2020-08-21 23:06:26 -0700
• 6c3780d9ea Finish up the draft of the boolean values post. Danila Fedorin 2020-08-21 17:37:22 -0700
• 6f0667bb28 Add draft of boolean values post. Danila Fedorin 2020-08-20 21:19:47 -0700
• 845d1ae7d8 Add russian index. Danila Fedorin 2020-08-20 18:35:50 -0700
• 988bf72786 Enable localization for Russian. Danila Fedorin 2020-08-20 18:33:55 -0700
• 8368283a3e Add warning about evaluation model. Danila Fedorin 2020-08-15 01:37:57 -0700
• 18ee3a1526 Add margins to code tables. Danila Fedorin 2020-08-15 01:18:01 -0700
• 8557dc4399 Replace more hardcoded strings with their i18nized versions. Danila Fedorin 2020-08-12 19:15:14 -0700
• 7d1fcdb0c5 Add rough russian translation. Danila Fedorin 2020-08-12 19:07:54 -0700
• bda78fed78 Use localization files in templates. Danila Fedorin 2020-08-12 17:41:47 -0700
• b0e501f086 Publish the new typesafe interpreter post. Danila Fedorin 2020-08-12 15:48:53 -0700
• 385ae59133 Merge branch 'colors' into master Danila Fedorin 2020-08-12 15:43:42 -0700
• 49469bdf12 Fix issues in typesafe interpreter article. colors Danila Fedorin 2020-08-12 15:43:22 -0700
• 020417e971 Add draft of new Idris typechecking post. Danila Fedorin 2020-08-12 01:38:22 -0700
• eff0de5330 Allow the codelines shortcode to use hl_lines. Danila Fedorin 2020-08-12 01:37:55 -0700
• b219f6855e Change highlight color for code. Danila Fedorin 2020-08-12 01:37:39 -0700
• 068d0218b0 Fix typesafe interpreter post. Danila Fedorin 2020-08-11 19:54:45 -0700
• 65215ccdd6 Start working on improving color handling in code. Danila Fedorin 2020-08-11 19:29:55 -0700
• 3e9f6a14f2 Fix single-line scroll bug Danila Fedorin 2020-08-11 17:43:59 -0700
• 7623787b1c Mention Kai's help in time traveling article. Danila Fedorin 2020-07-30 02:05:43 -0700
• e15daa8f6d Make the detailed time traveling example a subsection. Danila Fedorin 2020-07-30 01:09:30 -0700
• 298cf6599c Publish time traveling post. Danila Fedorin 2020-07-30 00:58:48 -0700
• 841930a8ef Add time traveling code. Danila Fedorin 2020-07-30 00:57:47 -0700
• 9b37e496cb Add figure size classes to global CSS. Danila Fedorin 2020-07-30 00:57:27 -0700
• 58e6ad9e79 Update lazy evaluation post with images and more. Danila Fedorin 2020-07-30 00:49:35 -0700
• 3aa2a6783e Add images to time traveling post. Danila Fedorin 2020-07-29 20:09:32 -0700
• d64a0d1fcd Add version of typesafe interpreter with tuples. Danila Fedorin 2020-07-23 16:38:54 -0700
• ba141031dd Remove the tweet shortcode. Danila Fedorin 2020-07-23 13:50:09 -0700
• ebdc63f5a0 Make small edit to DELL post. Danila Fedorin 2020-07-23 13:45:24 -0700
• 5af0a09714 Publish DELL post. Danila Fedorin 2020-07-23 13:41:33 -0700
• 8a2bc2660c Update date on typesafe interpreter. Danila Fedorin 2020-07-22 14:38:01 -0700
• e59b8cf403 Edit and publish typesafe interpreter. Danila Fedorin 2020-07-22 14:35:19 -0700
• b078ef9a22 Remove implicit arguments from TypsafeIntrV2. Danila Fedorin 2020-07-22 14:30:47 -0700
• fdaec6d5a9 Make small adjustments to backend math post. Danila Fedorin 2020-07-21 15:34:46 -0700
• b631346379 Publish the mathematics post. Danila Fedorin 2020-07-21 14:55:52 -0700
• e9f2378b47 Resume working on the draft of time traveling. Danila Fedorin 2020-07-20 22:32:14 -0700
• 7d2f78d25c Add links and make small clarifications. Danila Fedorin 2020-07-20 13:56:07 -0700
• 1f734a613c Add the second part of the typechecking post. Danila Fedorin 2020-07-19 22:56:44 -0700
• a3c299b057 Start working on the improved type-safe interpreter. Danila Fedorin 2020-07-19 17:16:31 -0700
• 12aedfce92 Make small fixes to math rendering code. Danila Fedorin 2020-07-19 14:09:24 -0700
• 65645346a2 Adjust title in DELL post. Danila Fedorin 2020-07-18 20:47:38 -0700
• cb65e89e53 Add math rendering draft. Danila Fedorin 2020-07-18 20:47:16 -0700