microsoft/BosqueLanguage

Issues

• Enum values

  #521 opened 2 years ago by mrkmarron
  0

• Design of arithmetic operations (static vs. dynamic)

  #520 opened 2 years ago by mrkmarron
  0

• ASCIIString

  #519 opened 2 years ago by mrkmarron
  0

• Rational Support

  #518 opened 2 years ago by mrkmarron
  0

• Decimal Support

  #517 opened 2 years ago by mrkmarron
  0

• BigX support

  #516 opened 2 years ago by mrkmarron
  0

• SMT Division

  #515 opened 2 years ago by mrkmarron
  0

• Model constraints for CADL

  #505 opened 2 years ago by mrkmarron
  1

• This repo is missing important files

  #475 opened 2 years ago by microsoft-github-policy-service
  2

• npm ERR! Test failed BosqueLanguage-LearnBosqueProgramming branch

  #449 opened 3 years ago by twostate
  1

• Modelling remote execution and storage within Bosque

  #420 opened 3 years ago by jsudelko
  0

• Lexical scope example from language doc doesn't compile.

  #292 opened 3 years ago by brakmic
  0

• Support for global/static values in pattern match/structured assign

  #322 opened 3 years ago by mrkmarron
  0

• Concept & and provides

  #373 opened 4 years ago by mrkmarron
  0

• ref receiver for methods

  #325 opened 3 years ago by mrkmarron
  0

• Map<K, V>::add is missing

  #342 opened 3 years ago by brakmic
  4

• entrypoint function doesn't accept List<T> and other (more complex?) types

  #348 opened 3 years ago by brakmic
  3

• Switch on type example from language doc doesn't compile.

  #355 opened 3 years ago by Ivo-Balbaert
  0

• Is there a doc on the intermediate representation

  #357 opened 3 years ago by dibyendumajumdar
  2

• Switch when example from language doc doesn't compile.

  #356 opened 3 years ago by Ivo-Balbaert
  1

• What are these branches for?

  #359 opened 3 years ago by catchmareck
  1

• Is there any roadmap for Bosque?

  #365 opened 3 years ago by catchmareck
  4

• Debug vs Release time checks

  #369 opened 3 years ago by demamoh
  1

• IR-only code-gen backend?

  #383 opened 3 years ago by munael
  1

• Could the built-in test runner be used to write unit tests for user programs?

  #380 opened 3 years ago by catchmareck
  7

• SymTest does not allow a List to be mapped into another type

  #376 opened 3 years ago by catchmareck
  2

• Postcondition `ensures` does not compile when ref parameter provided

  #378 opened 3 years ago by catchmareck
  1

• It would be very-very nice if you could cite our paper :)

  #384 opened 3 years ago by gabriel-fallen
  0

• Can't get conjunction type resolution to work

  #370 opened 4 years ago by catchmareck
  1

• Parser ambiguity on "("

  #372 opened 4 years ago by mrkmarron
  0

• What about multiple files support?

  #361 opened 4 years ago by joelibaceta
  2

• Is Bosque planed to support the passing of parameters from the command line (argv)?

  #364 opened 4 years ago by joelibaceta
  0

• Provided z3 binary for windows is 32 bit instead of 64 bit

  #360 opened 4 years ago by RaniSharim
  2

• Parse error in frontpage example Pre/Post Conditions

  #354 opened 4 years ago by Ivo-Balbaert
  2

• Cannot read property 'resultType' of undefined while compiling any Bosque program

  #353 opened 4 years ago by Ivo-Balbaert
  2

• Not able to execute mod(%)

  #351 opened 4 years ago by GariaHarish
  5

• List<T>.cast<U> doesn't work.

  #349 opened 4 years ago by brakmic
  3

• Switch with matching on type doesn't compile

  #298 opened 4 years ago by brakmic
  7

• Map<K,V> can't be instantiated when V=concept and members V=entity

  #346 opened 4 years ago by brakmic
  2

• VSCode & Docker integration

  #337 opened 4 years ago by brakmic
  0

• Potential problem with is<T> method: cannot read property 'resultType' of undefined

  #345 opened 4 years ago by brakmic
  1

• Math operations fail with 'bad type signature error'

  #344 opened 4 years ago by brakmic
  2

• Exegen should append default extension to compiled binary if OS needs it

  #340 opened 4 years ago by brakmic
  0

• clang++ path is hardcoded in exegen.ts

  #335 opened 4 years ago by brakmic
  0

• Is there pipe and range operator in bosque?

  #314 opened 4 years ago by khoshroomahdi
  2

• Map's values() function seems to need a different implementation than other functions

  #310 opened 4 years ago by brakmic
  1

• Map's values() method returns a wrong type

  #302 opened 4 years ago by brakmic
  1

• Error in switch with when-clause

  #299 opened 4 years ago by brakmic
  0

• Structured declaration & assignment fails

  #300 opened 4 years ago by brakmic
  3

• List.sort can't use custom functions

  #296 opened 4 years ago by brakmic
  3