Viua VM Weekly
Dec 12, 2019. This issue covers: New docs
Sep 1, 2019. This issue covers: Still alive and I/O schedulers and instructions
Feb 6, 2018. This issue covers: More documentation
Jan 30, 2018. This issue covers: Documentation effort continues and PDF version
Jan 23, 2018. This issue covers: More documentation
Jan 16, 2018. This issue covers: Documentation for tools
Jan 9, 2018. This issue covers: New documentation
Jan 2, 2018. This issue covers: A new take on documentation and Finished exception-handling wiring rework
Dec 19, 2017. This issue covers: Signed subtraction and Improved memory safety during exception handling
Dec 12, 2017. This issue covers: Saturating signed division - Fixed width arithmetic in devel branch and Preparations for better type checker
Nov 28, 2017. This issue covers: More test configurations - Possible compilation failures - Issue tracker embedded in Git repository and About saturating arithmetic
Nov 21, 2017. This issue covers: Saturating arithmetic
Nov 14, 2017. This issue covers: Wrap-around (modulo) arithmetic - Checked arithmetic and Removed support for Clang 4.0
Nov 7, 2017. This issue covers: Renamed constructor instructions and Resumed work on the implementation of arithmetic
Oct 31, 2017. This issue covers: New static analyser and Porting (to new SA) and future-proofing code
Oct 17, 2017. This issue covers: Explicit register sets - Ifs and jumps and Various minor fixes
Oct 3, 2017.
This issue covers:
Analysis of if
instructions
- Slightly better error messages
and Other improvements
Sep 26, 2017.
This issue covers:
Functions are required to specify arity
and Detection of invalid operands for "jump
" instructions
Sep 19, 2017. This issue covers: Further work on static analyser
Sep 13, 2017. This issue covers: Work on static analyser and Closure instantiation analysis
Sep 5, 2017. This issue covers: Improved, type-aware static analyser and Partial type inference
Aug 29, 2017. This issue covers: New verifier and Compilation with Clang 5
Aug 22, 2017.
This issue covers:
Move to Ubuntu Trusty on Travis CI
- Clang 4.x used on Travis CI
- BASIC compiler for Viua VM
- Prototype of new static analyzer
and Fixed semantics of vinsert
's last operand
Aug 15, 2017. This issue covers: Move to C++17 and Function attributes
Aug 8, 2017. This issue covers: Normal arithmetic - Wrapping arithmetic - Saturating arithmetic and Checked arithmetic
Aug 1, 2017. This issue covers: Binary arithmetic
Jul 25, 2017.
This issue covers:
make_unique()
- Bits in Boolean context
- All-zero bit string literals
and Register set specifiers in assembler and disassembler
Jul 18, 2017. This issue covers: Bit manipulation
Jul 11, 2017. This issue covers: Static analysis and Bit instructions
Jul 4, 2017. This issue covers: Undefined behaviour and Leak sanitiser
Jun 27, 2017. This issue covers: Release 0.9.0 - Explicit register set specifiers - Void register - Text handling (and source code encoding) - Deferred calls and Communication timeouts
Jun 20, 2017. This issue covers: Deferred calls - Coding style enforcement - Better traces and Faster tests under Valgrind
Jun 13, 2017. This issue covers: Deferred calls
Jun 6, 2017. This issue covers: Stack traces and Deferred calls
May 30, 2017. This issue covers: Deferred calls and Multiple stacks
May 28, 2017.