aboutsummaryrefslogtreecommitdiff
path: root/src/checker.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Add sanity checks to checkerdev-2021-08gingerBill2021-08-021-12/+21
|
* Add `@(warning=<string>)`gingerBill2021-08-021-0/+18
|
* Remove the literal conversion logic to the parser from the tokenizergingerBill2021-08-021-3/+6
|
* Begin optimizing tokenizer; Replace `gb_utf8_decode` with `utf8_decode` (CC ↵gingerBill2021-08-011-1/+1
| | | | but easier to change later)
* Add mutex for `@(builtin)` attributesgingerBill2021-07-281-14/+20
|
* Add accidentally removed callgingerBill2021-07-271-0/+3
|
* Correct race condition on untyped expr info map logic on global evaluationsgingerBill2021-07-271-24/+62
|
* Define which mutexes are blocking and recursive explicitlygingerBill2021-07-271-6/+6
|
* Short circuit `check_with_workers` logic on `worker_count == 0`gingerBill2021-07-271-2/+13
|
* Unify threading logicgingerBill2021-07-271-130/+45
|
* Remove global semaphore and place in CheckerInfogingerBill2021-07-271-12/+72
|
* Remove dead mutexgingerBill2021-07-271-2/+0
|
* Correct logic for `check_import_entities - collect file decls`gingerBill2021-07-271-18/+32
|
* Big simplification and improvement of the entity collection system, reducing ↵gingerBill2021-07-271-165/+148
| | | | unneeded steps for packages
* Improve default scope sizegingerBill2021-07-271-5/+22
|
* Minor fixgingerBill2021-07-251-3/+3
|
* INTERNAL USE ONLY: `//+lazy` build flaggingerBill2021-07-251-5/+97
|
* Remove dead codegingerBill2021-07-151-15/+1
|
* Remove need for scope mutex, make Scope singly linked list tree with atomic ↵gingerBill2021-07-141-12/+7
| | | | pointers
* Override libtommath allocation proceduresgingerBill2021-07-141-6/+6
|
* Remove random load balancing in `thread_proc_body`gingerBill2021-07-141-5/+6
|
* Add Greed Work Stealing and Random Load Balancing for check_procedure_bodiesgingerBill2021-07-141-9/+35
|
* Muilthread `check_collect_entities_all`gingerBill2021-07-141-2/+72
|
* Remove duplicate codegingerBill2021-07-141-13/+0
|
* Replace non-recursive mutexes with `BlockingMutex`; Minor improves to ↵gingerBill2021-07-141-61/+99
| | | | initialization improves
* Remove dead mutexesgingerBill2021-07-131-3/+0
|
* Reduce mutex usage and convert things to queues from arraysgingerBill2021-07-131-82/+104
|
* Minor code clean up to reuse the ProcInfo consumption codegingerBill2021-07-131-33/+36
|
* Add (internal flag) -show-debug-messagesgingerBill2021-07-131-4/+6
|
* Minor code reorganizationgingerBill2021-07-131-165/+168
|
* Split up cycle check and adding type info timingsgingerBill2021-07-131-6/+11
|
* Short on `-threaded-checker`gingerBill2021-07-131-1/+27
|
* Big improvement to the `-threaded-checker` code, unifying the logic and ↵gingerBill2021-07-131-41/+101
| | | | simplify behaviour
* Temporarily disable `-threaded-checker`; Restructure the untyped-expr-info ↵gingerBill2021-07-131-116/+80
| | | | system to be much more thread-friendly
* Add experimental support for a threaded semantic checker to `-threaded-checker`gingerBill2021-07-101-44/+127
|
* Move things around for sanity checking for multithread preparationgingerBill2021-07-101-12/+29
|
* Implement `MPMCQueue` for procedure body checkinggingerBill2021-07-101-24/+13
| | | | This is preparation for basic multithreading in the semantic checker
* Remove debug codegingerBill2021-07-101-1/+1
|
* Prepare for multithreading the semantic checker by giving mutexes to ↵gingerBill2021-07-101-34/+97
| | | | | | variables of contention NOTE(bill): I know this is dodgy, but I want to make sure it is correct logic before improve those data structures
* Improve CheckerContext usagegingerBill2021-07-101-61/+79
|
* Remove dead variablegingerBill2021-07-101-4/+0
|
* Improve update expr type semantics for ternary expressionsgingerBill2021-07-101-0/+7
|
* Fix #1019gingerBill2021-06-151-0/+1
|
* Correct `is_operand_value` for Swizzle addressing modesgingerBill2021-06-081-0/+2
|
* Add warning to variables which may overflow the stack on declaration; #Fix 661gingerBill2021-06-061-16/+25
|
* Fix 128-bit integer to float cast by explicitly calling the procedure ↵gingerBill2021-06-061-0/+1
| | | | direct; Fix #781
* Comment on the required `generate_minimum_dependency_set` entitiesgingerBill2021-05-311-19/+19
|
* Remove unneeded minimum dependenciesgingerBill2021-05-311-15/+3
|
* Fix polymorphic record "too few" lacking error messagegingerBill2021-05-311-1/+1
|
* Add `@(link_section=<string>)` for global variablesgingerBill2021-05-241-0/+10
|