Commit graph

Select branches

Hide pull requests

main

Mono Color

• fed6a84bea
  
  ci: set LOGLEVEL to trace to increase coverage main Antoine Viallon 2024-07-26 01:33:56 +02:00
• 7bb0d7b0a4
  
  tests: lexer: remaining test cases for 100% lexer coverage Antoine Viallon 2024-07-26 01:33:29 +02:00
• d7613c8ed2
  
  lexer: fix non-stopping list() issue Convert a SystemExit to a CompilationError Antoine Viallon 2024-07-26 01:33:00 +02:00
• 7655b2a6a8
  
  ci: run coverage reports Antoine Viallon 2024-07-26 00:17:36 +02:00
• 8cd5ad51ee
  
  tests: parser: add parser tests Antoine Viallon 2024-07-26 00:13:42 +02:00
• 032a6d9109
  
  tests: lexer: simplify code, add blocks and whitespaces test-cases Antoine Viallon 2024-07-26 00:12:37 +02:00
• 89a9bb7901
  
  nodes: add helper function to retrieve the pretty-printed node as a string Antoine Viallon 2024-07-26 00:11:38 +02:00
• e28b1ef802
  
  lexer: mark Token as pure Antoine Viallon 2024-07-26 00:10:34 +02:00
• 69bfae0773
  
  ci: add pytest Forgejo Actions Antoine Viallon 2024-05-16 23:15:35 +02:00
• 0a042d0696
  
  tests: add basic lexer tests Antoine Viallon 2024-05-16 23:13:23 +02:00
• 4d13cdfb46
  
  errors: use color wrapper Antoine Viallon 2024-05-14 23:05:53 +02:00
• df65952cfc
  
  color: init color util class Antoine Viallon 2024-05-14 23:05:23 +02:00
• 5623bebe34
  
  interpreter: make linter happier Antoine Viallon 2024-04-12 16:48:15 +02:00
• ea4a0c2ff1
  
  interpreter+main: add a working interpreter Antoine Viallon 2024-04-12 16:44:32 +02:00
• 4f63fb9dfc
  
  main: enable using files as input Antoine Viallon 2024-04-12 16:43:08 +02:00
• 368629caa5
  
  tests/mock: move mock to dedicated file, and add several mock entries Antoine Viallon 2024-04-12 16:42:31 +02:00
• b27faf974f
  
  parser: use TrueDivision instead of the broken Division Antoine Viallon 2024-04-12 16:40:31 +02:00
• 8f26b393d1
  
  nodes: add a TrueDivision node making use of the explicit IRDiv ir item Antoine Viallon 2024-04-12 16:40:10 +02:00
• 6630fa13a5
  
  ir: add dedicated IR item for division Antoine Viallon 2024-04-12 16:38:32 +02:00
• 67c2ed3a26
  
  source: wrap input with a caching reader, allowing to reference source even from REPLInput. Will be especially useful when we support files as input. Antoine Viallon 2024-04-12 16:33:06 +02:00
• a98f38d43f
  
  ir: better register shrinkage pretty printing Antoine Viallon 2024-04-12 16:28:06 +02:00
• 37bfd831f4
  
  main+ir: fix errors with REPL input (and wrong output in error messages) Antoine Viallon 2024-04-11 20:45:30 +02:00
• 103339d666
  
  parser: fix EOF being incorrectly returned if we already peeked it Antoine Viallon 2024-04-11 20:21:45 +02:00
• 92e02c8973
  
  main+errors: move pretty printing errors into a method Antoine Viallon 2024-04-11 20:20:00 +02:00
• d2823f5abf
  
  main: improve REPL use (still broken though). Antoine Viallon 2024-01-11 18:50:02 +01:00
• 6778a5e5c8
  
  source: fix crash when len(source) is zero! Antoine Viallon 2024-01-11 18:49:27 +01:00
• c2751847d8
  
  lexer: fix EOF error when feeding partial input to the lexer. Antoine Viallon 2024-01-11 18:48:30 +01:00
• 9921d9fccd
  
  main: convert to use new iterator Lexer Antoine Viallon 2024-01-11 00:55:08 +01:00
• a69788ca52
  
  source: avoid printing source file twice if it is the same for beginning and end (which is very likely). Antoine Viallon 2024-01-11 00:54:35 +01:00
• ff2435171c
  
  lexer: convert to an iterator This avoids requiring to read all the data at once (will be useful for REPL). Antoine Viallon 2024-01-11 00:54:02 +01:00
• 530214b254
  
  parser: only require an iterator of tokens instead of a list Antoine Viallon 2024-01-11 00:52:17 +01:00
• 46c7907165
  
  nodes: make some obvious dead-code raise a log message (Info) Antoine Viallon 2024-01-11 00:06:06 +01:00
• 7106e400aa
  
  errors: add Info and Note loglevels Antoine Viallon 2024-01-11 00:05:50 +01:00
• ddd3b13d28
  
  nodes: add several asserts to make debugging some weird internal issues easier Antoine Viallon 2024-01-11 00:04:39 +01:00
• d2d519acf4
  
  lexer+parser: add BEGIN token + add delimiting pseudo_nodes to anonymous blocks (including root) Antoine Viallon 2024-01-11 00:02:08 +01:00
• 6d4c999be7
  
  nodes: Block now accepts a pseudo_node list Antoine Viallon 2024-01-11 00:00:13 +01:00
• 76cdfc0b5f
  
  semantic: make unused variables print a warning instead of raising an error Antoine Viallon 2024-01-10 23:58:29 +01:00
• fcf0b9c12d
  
  meta: add FORCE_COLOR to mock run environment variables Antoine Viallon 2024-01-10 23:57:49 +01:00
• 8067d8178e
  
  main+ir: refactor ir from being entirely guided from main to a dedicated class in ir module Antoine Viallon 2024-01-09 17:16:11 +01:00
• 692ee511eb
  
  main+errors: use stdout instead of stderr Antoine Viallon 2024-01-09 17:14:41 +01:00
• 8b0ec8cbe2
  
  errors: use termcolor for terminal output coloring + enable raising non-fatal errors Antoine Viallon 2024-01-06 00:17:47 +01:00
• cd42fac98e
  
  nodes: add missing reader tracking to function calls Antoine Viallon 2024-01-05 23:41:41 +01:00
• 714c9b490e
  
  semantic: warn on variable shadowing Antoine Viallon 2024-01-05 23:40:58 +01:00
• 1bf549eda4
  
  semantic: better handle builtins Attach them to a pseudo-node "builtin" for the sake of better diagnostics and assignment tracking Antoine Viallon 2024-01-05 23:40:31 +01:00
• dfa24f2d67
  
  main+ir: do register allocation + show updated register names Antoine Viallon 2024-01-05 23:37:56 +01:00
• 3e59cc84a7
  
  main: update IR locations + catch and print warnings Antoine Viallon 2024-01-05 23:34:42 +01:00
• 5ed4c55522
  
  main: refactor IR printing Antoine Viallon 2024-01-05 23:31:47 +01:00
• c29d4cd9ec
  
  optimizations/register_allocation: init Antoine Viallon 2024-01-05 23:29:53 +01:00
• 393615b234
  
  ir: IRAssignable add helper property to give a sorted list of all uses (read or write) of the value Antoine Viallon 2024-01-05 23:28:07 +01:00
• 4469a94096
  
  ir: track value reads and writes in every IRAction manipulating data Antoine Viallon 2024-01-05 23:27:19 +01:00
• 6af9c367c6
  
  ir: automatically add read-from/written-to values in IRAction if declared Antoine Viallon 2024-01-05 23:22:37 +01:00
• 39c12a360c
  
  source: add IRLocation type specifically for generated IR Antoine Viallon 2024-01-05 23:17:31 +01:00
• 6bbe2b195e
  
  ir: IRRegister: track registers (statefully) Antoine Viallon 2024-01-05 23:15:52 +01:00
• fb62c3b34a
  
  ir: IRAssignable: track writers Antoine Viallon 2024-01-05 23:14:40 +01:00
• 27ccb1a68a
  
  ir: IRValue: track readers Antoine Viallon 2024-01-05 23:13:45 +01:00
• 18a813f4c7
  
  utils: add equivalence Antoine Viallon 2024-01-05 23:12:22 +01:00
• 43b2dc9e93
  
  source: Location: prepare for builtins Antoine Viallon 2024-01-05 23:11:32 +01:00
• 3fa039110b
  
  errors: add warning implementation + fix a few issues Antoine Viallon 2024-01-05 22:59:50 +01:00
• 29d6d1a8de
  
  meta: add GPLv3 license Antoine Viallon 2023-05-24 00:58:50 +02:00
• 6ccf556150
  
  logger: fix missing whitespace Antoine Viallon 2023-05-24 00:49:05 +02:00
• 9463af0014
  
  parser: move parenthesized expression handling to a dedicated function Antoine Viallon 2023-05-24 00:48:43 +02:00
• 275728a635
  
  parser: update factor unexpected token error message Antoine Viallon 2023-05-24 00:46:04 +02:00
• 92a6686097
  
  main: comment unused variables in mock Antoine Viallon 2023-05-24 00:45:09 +02:00
• ab7ee592c3
  
  main+lexer: add support for single-line comments Antoine Viallon 2023-05-24 00:44:46 +02:00
• 3f84890b52
  
  nodes: allow adding pseudo nodes to Expression Antoine Viallon 2023-05-24 00:44:16 +02:00
• 1fa3317d93
  
  main: do context semantic checking Antoine Viallon 2023-05-24 00:25:16 +02:00
• f060608e73
  
  semantic: add semantic checks for variables Check read before first assignment Check unused variables Antoine Viallon 2023-05-24 00:24:44 +02:00
• bcca6d4a6e
  
  source: make SourceLocation comparable Antoine Viallon 2023-05-24 00:22:50 +02:00
• 8c26293416
  
  semantic+nodes: record variable definitions Antoine Viallon 2023-05-24 00:22:22 +02:00
• 88526aa5e6
  
  semantic+nodes: record variable reads Antoine Viallon 2023-05-24 00:19:07 +02:00
• f08d697699
  
  nodes: assignments are not pure if the value is not None Antoine Viallon 2023-05-24 00:13:56 +02:00
• 067dc7f982
  
  lexer: identifier are bounded by word boundaries Antoine Viallon 2023-05-24 00:13:10 +02:00
• 1e9843ec0e
  
  errors: show location before the message Antoine Viallon 2023-05-24 00:12:36 +02:00
• 717bd60e86
  
  main: add function call to mock Antoine Viallon 2023-05-23 23:26:05 +02:00
• ec1001bfd3
  
  parser: parse function calls Antoine Viallon 2023-05-23 23:24:36 +02:00
• a092c11216
  
  nodes: add Call node Antoine Viallon 2023-05-23 23:23:20 +02:00
• 39a5f084ba
  
  ir: add IRCall Antoine Viallon 2023-05-23 23:16:23 +02:00
• 5b42c05eab
  
  semantic: add Function semantic type, which is a special case of Type Also define display in builtin context Antoine Viallon 2023-05-23 23:13:16 +02:00
• 5252f772ed
  
  semantic: display Types in context pretty-printing Antoine Viallon 2023-05-23 23:12:28 +02:00
• 20731d969e
  
  nodes: fix some issues in Blocks (regarding purity consideration for IR) No longer special case the last node in a Block. Call super() semantic analysis for variables. This may prevent some future issues. Antoine Viallon 2023-05-23 23:11:05 +02:00
• 6b3c0e8fe3
  
  nodes: add PseudoNodes to statements, for better display and diagnostics Antoine Viallon 2023-05-23 23:07:50 +02:00
• 066470b120
  
  nodes: introduce the concept of purity IR of pure statements is not generated in Block node Antoine Viallon 2023-05-23 01:07:03 +02:00
• 49bb3f6aaa
  
  semantic: separate assignments from definitions Variables are no longer implicitly defined Antoine Viallon 2023-05-23 00:57:31 +02:00
• c2faff23e1
  
  parser: parse definitions Antoine Viallon 2023-05-23 00:55:36 +02:00
• 28ad2e2184
  
  nodes: prepare Definition node Antoine Viallon 2023-05-23 00:54:38 +02:00
• 81316ead45
  
  lexer: add keywords ("let") and their special handling Antoine Viallon 2023-05-23 00:50:40 +02:00
• 109a8aad13
  
  utils: init with implies implementation Antoine Viallon 2023-05-23 00:50:11 +02:00
• 45ce13ae99
  
  semantic+main: add the BuiltinContext and use it as semantic root Antoine Viallon 2023-05-23 00:48:52 +02:00
• 159ee81375
  
  semantic: refactor types and variable handling Antoine Viallon 2023-05-23 00:47:09 +02:00
• 98f0465238
  
  semantic: add the concept of Types Antoine Viallon 2023-05-23 00:45:02 +02:00
• 7bb14210a7
  
  ir: add IRNop and IRVoid action and value (resp.) Antoine Viallon 2023-05-23 00:37:36 +02:00
• a832cd1214
  
  treewide: make beartype optional Antoine Viallon 2023-05-15 00:33:25 +02:00
• bac49d20d7
  
  lexer: rename tokenizer to lexer, and convert to sequence Antoine Viallon 2023-05-14 23:22:38 +02:00
• 36b1fad7fe
  
  parser+nodes+tokenizer: add Blocks Antoine Viallon 2023-05-12 01:37:54 +02:00
• 0ef9960230
  
  parser+nodes+tokenizer: add Statements Antoine Viallon 2023-05-12 01:35:38 +02:00
• 2b9943cdbf
  
  parser: make many visitors handle non-mandatory traversals Antoine Viallon 2023-05-12 01:32:07 +02:00
• 4ef1e63ee4
  
  nodes: add PseudoNode to store fake nodes used to improve diagnostics Antoine Viallon 2023-05-12 01:30:02 +02:00
• 4929efa7b0
  
  nodes: rework variable and fix its intermediate representation Antoine Viallon 2023-05-12 01:27:16 +02:00
• 15e8c2bee3
  
  logger: improve type hints Antoine Viallon 2023-05-12 01:24:15 +02:00
• b7ba27f29d
  
  semantic: fix pretty printing + allow adding child contexts Antoine Viallon 2023-05-12 01:23:02 +02:00