Commit Graph

Select branches

Hide Pull Requests

archive

array

expression-type

master

refactor

signature

Mono Color

• 65d9b620fe Merge remote-tracking branch 'origin/master' master pca006132 2021-01-27 16:00:47 +0800
• 075245f4c2 get list of unknowns pca006132 2021-01-27 16:00:06 +0800
• 0e9dea0e65 updated todo pca006132 2021-01-25 17:09:17 +0800
• be218fc0d4 a mess.. signature pca006132 2021-01-19 13:55:13 +0800
• 7d06c903e3 added get_expression_unknowns pca006132 2021-01-15 15:19:41 +0800
• 5fce6cf069 updated lifetime pca006132 2021-01-15 14:37:55 +0800
• d466b7bc2b simplified lifetime pca006132 2021-01-11 11:12:37 +0800
• b6e4e68587 started adding error types pca006132 2021-01-11 10:40:32 +0800
• 779288d685 added todo pca006132 2021-01-08 17:16:25 +0800
• 3ecf57a588 fixed bugs pca006132 2021-01-08 16:54:34 +0800
• ebe1027ffa added resolve signature pca006132 2021-01-08 16:24:25 +0800
• 7c6349520c started getting signatures pca006132 2021-01-08 14:52:48 +0800
• 04f121403a moved type check code to submodule pca006132 2021-01-08 12:58:33 +0800
• b51168a5ab added statement tests pca006132 2021-01-05 13:35:44 +0800
• 007843c1ef added aug assign for primitives pca006132 2021-01-05 13:21:39 +0800
• ff41cdb000 implemented statement check pca006132 2021-01-05 12:17:45 +0800
• e1efb47ad2 statement inference: assignment pca006132 2021-01-04 17:07:14 +0800
• 4902f9f645 added expression_inference tests pca006132 2021-01-04 14:55:11 +0800
• 24d512c30f added expression_inference pca006132 2021-01-04 14:54:57 +0800
• 5b5e9ce04f added magic methods pca006132 2021-01-04 14:53:52 +0800
• 6824b9c4d3 added inference_core tests pca006132 2021-01-04 14:53:33 +0800
• 7c9e80cc1b added inference core pca006132 2021-01-04 14:52:50 +0800
• bde52f7ad3 added primitives pca006132 2021-01-04 14:52:00 +0800
• 04e9f9c077 added inference context pca006132 2021-01-04 14:51:43 +0800
• 7523b43a08 added top level context pca006132 2021-01-04 14:51:25 +0800
• 7eb40e25dd added typedef pca006132 2021-01-04 14:49:48 +0800
• 96317686af enabled clippy pca006132 2021-01-04 14:49:14 +0800
• f691fbb4dc formatting refactor pca006132 2021-01-04 14:47:43 +0800
• 44f4b7cfc7 enabled tests and applied clippy pca006132 2021-01-04 13:25:10 +0800
• 584d8a490f fixed inference_core and inference_context pca006132 2021-01-04 13:24:29 +0800
• 67963fc21f clippy again pca006132 2021-01-04 12:28:06 +0800
• 2b2e220723 applied clippy pca006132 2021-01-04 12:07:10 +0800
• fa2fc1db54 fixed and enabled inference_core tests pca006132 2021-01-04 11:50:40 +0800
• 8ade8c7b1f fixed expression.rs and renamed to expression_inference pca006132 2020-12-31 16:36:01 +0800
• dea987dfde renamed operator.rs to magic_methods.rs pca006132 2020-12-31 16:10:03 +0800
• 231bcd95fc fixed inference and renamed to inference_core pca006132 2020-12-31 16:06:09 +0800
• 44ccae6959 fixed primitives implementation pca006132 2020-12-31 15:58:29 +0800
• 0d20b36974 start refactoring pca006132 2020-12-31 15:31:59 +0800
• 0269dcee84 added todo pca006132 2020-12-31 11:39:26 +0800
• 8fd164bda2 added expression tests pca006132 2020-12-31 11:31:42 +0800
• e625bd4ad2 added expression inference pca006132 2020-12-31 11:31:32 +0800
• f1b8e73703 added operator name mapping pca006132 2020-12-31 11:28:41 +0800
• 38a3240e6e added inference tests pca006132 2020-12-31 11:28:23 +0800
• 9cba777b3b added inference pca006132 2020-12-31 11:28:13 +0800
• bd67b3f387 added primitives pca006132 2020-12-31 11:27:18 +0800
• 59453d3785 added typedef pca006132 2020-12-31 11:26:51 +0800
• aaebe4e574 updated todo expression-type pca006132 2020-12-30 16:29:21 +0800
• ae953b9728 updated todo pca006132 2020-12-30 16:03:09 +0800
• b87a88b68c added todo pca006132 2020-12-30 15:35:49 +0800
• 50ffded020 expression type check pca006132 2020-12-30 12:25:00 +0800
• 95789ec303 proper constant handling archive pca006132 2020-12-30 10:45:35 +0800
• 03712e3762 code formatting pca006132 2020-12-30 09:40:56 +0800
• b98117a049 removed assumptions pca006132 2020-12-29 17:04:45 +0800
• 7027135d6b finished expressions pca006132 2020-12-29 16:43:08 +0800
• a439ce61f7 ownwership and none type pca006132 2020-12-29 14:47:41 +0800
• 1cc4c3f8d4 added operators pca006132 2020-12-29 14:28:18 +0800
• 7b1ea58bc0 implemented some more expressions pca006132 2020-12-29 12:28:18 +0800
• 06af1623a8 fixed errors pca006132 2020-12-29 11:42:16 +0800
• 1990486cc2 started expression checking pca006132 2020-12-29 11:31:00 +0800
• a9827da70b moved nac3type to nac3core pca006132 2020-12-29 10:33:21 +0800
• 94ea2c7a9d fixed assumption bug pca006132 2020-12-29 09:43:49 +0800
• 422b92f686 use slice for function parameters pca006132 2020-12-28 16:26:10 +0800
• 0200ea1458 formatting pca006132 2020-12-28 16:00:02 +0800
• 75183c39fd virtual class tests pca006132 2020-12-28 15:58:28 +0800
• 87dd0ee3cb more tests pca006132 2020-12-28 15:03:57 +0800
• 929b7e1d92 inference and tests pca006132 2020-12-28 14:33:18 +0800
• 7f09596bcb primitives and some lifetime issue pca006132 2020-12-28 13:15:46 +0800
• 81f4be60c7 start adding primitives pca006132 2020-12-28 12:45:35 +0800
• fd3e1d4923 implemented inference pca006132 2020-12-28 11:06:32 +0800
• fa02dc8271 implementing inference pca006132 2020-12-26 11:45:57 +0800
• 0bca238642 init type checking module pca006132 2020-12-24 16:06:16 +0800
• dd29ae251a nac3embedded: compilation demo Sebastien Bourdeauducq 2020-12-19 16:23:12 +0800
• 75bd9b9a15 nac3embedded: ast storage Sebastien Bourdeauducq 2020-12-19 15:29:39 +0800
• aa8b4e2305 nac3embedded: parse Sebastien Bourdeauducq 2020-12-19 00:52:06 +0800
• b79d8ad640 nac3embedded: basic source extraction Sebastien Bourdeauducq 2020-12-18 23:44:45 +0800
• 703059adab nac3standalone: renames Sebastien Bourdeauducq 2020-12-18 22:35:59 +0800
• 947a528656 libnac3 -> nac3core Sebastien Bourdeauducq 2020-12-18 10:18:21 +0800
• 8558d41cd8 pyo3 demo Sebastien Bourdeauducq 2020-12-18 10:09:35 +0800
• 06d2fbd25c split off standalone compiler Sebastien Bourdeauducq 2020-12-17 22:20:30 +0800
• c54e5994d7 update dependencies Sebastien Bourdeauducq 2020-12-17 21:50:47 +0800
• 814c3abf89 added array, WIP array pca006132 2020-11-14 21:59:49 +0800
• d7ded27def add shell.nix Sebastien Bourdeauducq 2020-11-10 20:39:25 +0800
• d538988e5a use clang for demo Sebastien Bourdeauducq 2020-11-10 20:39:17 +0800
• f0d331c35a update all dependencies, switch to LLVM 10 Sebastien Bourdeauducq 2020-11-10 20:34:26 +0800
• 858cc65daa update inkwell Sebastien Bourdeauducq 2020-11-09 21:36:41 +0800
• c964481a2f rm interpreter mandelbrot Sebastien Bourdeauducq 2020-03-30 22:49:30 +0800
• a351f6279a mandelbrot demo Sebastien Bourdeauducq 2020-03-30 22:47:45 +0800
• 1eac097706 add simple output function Sebastien Bourdeauducq 2020-03-30 22:30:32 +0800
• 2fae28eb70 implement unary operators Sebastien Bourdeauducq 2020-03-30 22:10:06 +0800
• 052ea8d98a support break Sebastien Bourdeauducq 2020-03-30 19:12:31 +0800
• ef01a86c2f support while loop Sebastien Bourdeauducq 2020-03-30 18:23:32 +0800
• 43bc7392ff support boolean constants Sebastien Bourdeauducq 2020-03-30 18:23:20 +0800
• aecf24c857 support if/then/else Sebastien Bourdeauducq 2020-03-30 17:33:01 +0800
• 38cdab01cb run LLVM passes Sebastien Bourdeauducq 2020-03-30 16:58:44 +0800
• 8e9bd3df04 print IR Sebastien Bourdeauducq 2020-03-30 16:19:49 +0800
• f9dbf68875 use alloca for variables Sebastien Bourdeauducq 2020-03-30 16:19:35 +0800
• c5efa615a2 implement division Sebastien Bourdeauducq 2020-03-30 12:34:38 +0800
• 056b9631a0 implement numerical casts Sebastien Bourdeauducq 2020-03-30 12:01:12 +0800
• ea699fb46f support numerical comparisons Sebastien Bourdeauducq 2020-03-29 16:56:07 +0800
• 37f7140bb8 support numerical constants Sebastien Bourdeauducq 2020-03-29 15:13:08 +0800