181 Commits (master)

Author SHA1 Message Date
Danila Fedorin 826dde759f Finish a draft of the UCC evaluator article 4 days ago
Danila Fedorin 30c395151d Use a different representation of values and prove equivalence of UCC evalutor 4 days ago
Danila Fedorin d72e64c7f9 Fix Ltac2 bug in Dawn file 4 days ago
Danila Fedorin abdc8e5056 Cleanup DawnEval.v 5 days ago
Danila Fedorin bc754c7a7d Start working on a verified UCC evaluator. 6 days ago
Danila Fedorin c214d9ee37 Add the initial version of the Dawn article. 2 weeks ago
Danila Fedorin 3c905aa1d7 Add draft of TypeScript typesafe event emitter post 3 months ago
Danila Fedorin c44c718d06 Remove accidentally commited test submodule. 11 months ago
Danila Fedorin 5e4097453b Update submodule script to properly gather submodule paths. 11 months ago
Danila Fedorin b3ff2fe135 Add more text to draft. 11 months ago
Danila Fedorin 6a6f25547e Update post with tactic-based proof. 11 months ago
Danila Fedorin 06014eade9 Add AoC submodule. 11 months ago
Danila Fedorin 234b795157 Add Coq advent of code post. 1 year ago
Danila Fedorin b459e9cbfe Update typesafe imperative language post draft. 1 year ago
Danila Fedorin 52abe73ef7 Make the typesafe imperative language work properly. 1 year ago
Danila Fedorin f0fe481bcf Add post about the typesafe imperative language. 1 year ago
Danila Fedorin d153af5212 Get rid of more constructors and make mangled names optional. 1 year ago
Danila Fedorin a336b27b6c Remove unneeded explicit calls to std::string 1 year ago
Danila Fedorin 97eb4b6e3e Fix silent error in set_mangled_name 1 year ago
Danila Fedorin 5db864881a Fix use of wrong environment for name mangling. 1 year ago
Danila Fedorin 7226d66f67 Remove the parent method from type_env. 1 year ago
Danila Fedorin 8a352ed3ea Roll back optimization changes. 1 year ago
Danila Fedorin 02f8306c7b Use an instruction instead of a special-case boolean instruction. 1 year ago
Danila Fedorin cf6f353f20 Change tagging to assume sign extension. 1 year ago
Danila Fedorin 7a631b3557 Make a few more things classes. 1 year ago
Danila Fedorin 5e13047846 Make global scope a class. 1 year ago
Danila Fedorin c17d532802 Make type_mgr a class. 1 year ago
Danila Fedorin 55e4e61906 Make mangler a class and reformat graph. 1 year ago
Danila Fedorin f2f88ab9ca Make env a class. 1 year ago
Danila Fedorin ba418d357f Make type_env a class. 1 year ago
Danila Fedorin 0e3f16139d Make llvm_context a class. 1 year ago
Danila Fedorin 55486d511f Make some refactors for name mangling and encapsulation. 1 year ago
Danila Fedorin 6080094c41 Require mangled names for global variables. 1 year ago
Danila Fedorin 6b8d3b0f8a Refactor errors and update post draft. 1 year ago
Danila Fedorin 725958137a Factor type into case strategy constructor. 1 year ago
Danila Fedorin fe1e0a6de0 Switch to using FILE* and default YY_INPUT. 1 year ago
Danila Fedorin 1f3c42fc44 Change constructor visibility to global. 1 year ago
Danila Fedorin 13214cee96 Try out unboxing integers. 1 year ago
Danila Fedorin 579c7bad92 Enable more syntax. 1 year ago
Danila Fedorin f00a6a7783 Actually use the environment for binop functions. 1 year ago
Danila Fedorin 2a81fdd9fb Stop using mangled names for local variables. 1 year ago
Danila Fedorin 17c59e595c Add assertion regarding local name mangling. 1 year ago
Danila Fedorin ad2576eae2 Move common code into loops. 1 year ago
Danila Fedorin 72d8179cc5 Add compile-time flag to disable output. 1 year ago
Danila Fedorin dbabec0db6 Tweak parsed type error warning. 1 year ago
Danila Fedorin 76675fbc9b Make make_case_for throw from the second time on. 1 year ago
Danila Fedorin ca395b5c09 Add programs to trigger error cases. 1 year ago
Danila Fedorin 1a05d5ff7a Add type errors to identifier nodes. 1 year ago
Danila Fedorin 56f0dbd02f Prevent case compilation from crashing and burning. 1 year ago
Danila Fedorin 9fc0ff961d Add more built-in boolean-specific instructions. 1 year ago