microsoft/BosqueLanguage issues and pull requests

#529 - Small item

Pull Request - State: closed - Opened by mrkmarron about 2 years ago

#528 - Rental work and ISC testing

Pull Request - State: closed - Opened by mrkmarron about 2 years ago

#527 - Fix for compile error on Windows

Pull Request - State: closed - Opened by mrkmarron about 2 years ago

#526 - Debugger work

Pull Request - State: closed - Opened by mrkmarron about 2 years ago

#525 - Mask handling on types with optional fields

Pull Request - State: closed - Opened by mrkmarron about 2 years ago

#524 - Fixes for functionalize

Pull Request - State: closed - Opened by mrkmarron about 2 years ago

#523 - Memory work

Pull Request - State: closed - Opened by mrkmarron about 2 years ago

#522 - Tests and Docs

Pull Request - State: closed - Opened by mrkmarron about 2 years ago

#521 - Enum values

Issue - State: open - Opened by mrkmarron about 2 years ago

#520 - Design of arithmetic operations (static vs. dynamic)

Issue - State: open - Opened by mrkmarron about 2 years ago

#519 - ASCIIString

Issue - State: open - Opened by mrkmarron about 2 years ago

#518 - Rational Support

Issue - State: open - Opened by mrkmarron about 2 years ago

#517 - Decimal Support

Issue - State: open - Opened by mrkmarron about 2 years ago

#516 - BigX support

Issue - State: open - Opened by mrkmarron about 2 years ago

#515 - SMT Division

Issue - State: open - Opened by mrkmarron about 2 years ago

#514 - Tests and docs

Pull Request - State: closed - Opened by mrkmarron about 2 years ago

#513 - lpthread

Pull Request - State: closed - Opened by mrkmarron about 2 years ago

#512 - Linux Bins

Pull Request - State: closed - Opened by mrkmarron about 2 years ago

#511 - Cleanup

Pull Request - State: closed - Opened by mrkmarron about 2 years ago

#510 - Cadl/Rush

Pull Request - State: closed - Opened by mrkmarron about 2 years ago

#509 - Update Win/Mac Z3 deps

Pull Request - State: closed - Opened by mrkmarron about 2 years ago

#508 - Adding (partial) symbolic fuzzing and mock generation

Pull Request - State: closed - Opened by mrkmarron about 2 years ago

#507 - Fixes made in API Type work

Pull Request - State: closed - Opened by mrkmarron about 2 years ago

#506 - Misc

Pull Request - State: closed - Opened by mrkmarron about 2 years ago

#505 - Model constraints for CADL

Issue - State: open - Opened by mrkmarron about 2 years ago - 1 comment

#504 - Math decidability and Test Apps

Pull Request - State: closed - Opened by mrkmarron about 2 years ago

#503 - Support for recursive functions in Checker

Pull Request - State: closed - Opened by mrkmarron about 2 years ago

#502 - Raytracer

Pull Request - State: closed - Opened by mrkmarron about 2 years ago

#501 - Apps and updates

Pull Request - State: closed - Opened by mrkmarron about 2 years ago

#500 - Apps

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#499 - Text in ByteCode

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#498 - GC work

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#497 - GC work

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#496 - Merge cleanup

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#495 - Morphir compiler work

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#494 - Tests and order example

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#493 - More reduce tests

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#492 - Tests and lambda name collision bug

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#491 - Tests for List map

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#490 - Add tic tac toe app test

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#489 - More tests for lists (modify)

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#488 - More List<T> tests

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#487 - Fix bugs around out and out? behavior

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#486 - Unit tests and fixes for equality and list ops

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#485 - Misc fixes on Morphir generate

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#484 - Test runner for apps as well

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#483 - Baseline for Morphir emit

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#482 - Kudzu

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#481 - Small fixes

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#480 - Memory allocator fixes and work

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#479 - Adding calc test (Readme)

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#478 - ICPP is back up to speed and tests are enabled

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#477 - Merge issues

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#476 - GC rework, List/Map, and support for primitive types

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#475 - This repo is missing important files

Issue - State: closed - Opened by microsoft-github-policy-service[bot] over 2 years ago - 2 comments

#474 - Adding Microsoft SECURITY.MD

Pull Request - State: closed - Opened by microsoft-github-policy-service[bot] over 2 years ago

#473 - Fix typo

Pull Request - State: closed - Opened by Viir over 2 years ago

#472 - Simplify collections (temp break interp)

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#471 - Bins update

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#470 - Some LCR work

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#469 - Cleanup of dates and some Morphir work for hackathon

Pull Request - State: closed - Opened by mrkmarron over 2 years ago - 1 comment

#468 - Update unit-test harness for adding more tests

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#467 - Update Map Library (for Checker)

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#466 - Integrate Morphir checking

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#465 - Fix floating point extraction issues

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#464 - Order sample application

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#463 - Real fix

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#462 - FP rework

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#461 - BH basics

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#460 - Update Readme

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#459 - Fix Build Errors

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#458 - Rework a bit of symbolic encoding

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#457 - Adding additional apps

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#456 - Rental app

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#455 - SMT list encoding rework

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#454 - Merge things

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#453 - More tic-tac-toe

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#452 - Fixes and impl for TicTacToe

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#451 - List library impl fixes

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#450 - Bug fixes and progress on TicTacToe

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#449 - npm ERR! Test failed BosqueLanguage-LearnBosqueProgramming branch

Issue - State: closed - Opened by twostate over 2 years ago - 1 comment

#448 - Fix debugger attached initialization

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#447 - Debugger fixes and misc.

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#446 - Debugger rough impl

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#445 - Work on Debugger

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#444 - Calc Flow

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#443 - Bosque Cleanup

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#442 - Bosque Cmd and Demo App

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#441 - Implement (not test) bosque command

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#440 - Fix Havoc input generation and add Timeout as (partial) ok test result

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#439 - Fix timeout in harness

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#438 - Numeric Types

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#437 - README Numeric Types

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#436 - Timeout

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#435 - Readme DataString

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#434 - Readme StringOf

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#433 - Fixes and tests for README switch

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#432 - ADT symbolic tests

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#431 - ADT fixes and tests

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

#430 - Fix ICPP layout generation

Pull Request - State: closed - Opened by mrkmarron over 2 years ago

GitHub / microsoft/BosqueLanguage issues and pull requests