Code

Merge ast and parser from forward#3

Code

Merged

Philipp15b merged 68 commits intomasterPhilipp15b/probably:masterfrom brand-newPhilipp15b/probably:brand-newCopy head branch name to clipboardJun 10, 2022

+2,346-1,294

Commits

Commits on May 6, 2022

• Update poetry configuration

  Legotier

  committed
  53844ed

• Add testreport to gitignore

  Legotier

  committed
  e6a9c16

• Merge new stuff from forward into ast.py

  Legotier

  committed
  0e4ffaa

• Minimal changes to make the tests pass

  Show description for 7fbc8bd
  Legotier

  committed
  7fbc8bd

• Rename float types to real types

  Legotier

  committed
  4fc36c1

• Update docs to include new classes

  Legotier

  committed
  c296998

• Use autodata instead of autoclass for union types

  Legotier

  committed
  9d167e3

Commits on May 10, 2022

• changed workflow to python version 3.9

  LKlinke

  authored
  7adbe0f

Commits on May 11, 2022

• Enable type aliases for union types in the docs

  Legotier

  committed
  7021d76

• Merge branch 'brand-new' of https://github.com/Philipp15b/probably into brand-new

  Legotier

  committed
  816dc31

• Remove forward type references in ast.py

  Legotier

  committed
  697e1d1

• resolved dep issues

  

  Lutz Klinkenberg

  committed
  b2ede13

Commits on May 13, 2022

• Disallow edges to None in ControlFlowGraph.to_networkx()

  Show description for 1d5af7a
  Legotier

  committed
  1d5af7a

• Merge parser from forward

  Legotier

  committed
  6eb0df9

• A helpful comment so people don't have to spend hours figuring out what I just spent hours figuring out

  Legotier

  committed
  b8f7cf3

• Update test_uniform_checks

  Legotier

  committed
  15f59e7

Commits on May 18, 2022

• Fix precedence of likelyhood operator

  Legotier

  committed
  9012370

• Add test for basic operator precedence

  Legotier

  committed
  077a5eb

• Revert "Add test for basic operator precedence"

  Show description for f8b3e08
  Legotier

  committed
  f8b3e08

• Add test for basic operator precedence

  Legotier

  committed
  9cc3a75

• Test for correct parsing of distributions

  Legotier

  committed
  8833b7f

• Test for using minus with likely

  Legotier

  committed
  3835e4d

• Only allow natural numbers and parameters in distribution expressions

  Legotier

  committed
  2afe578

Commits on May 19, 2022

• Revert "Only allow natural numbers and parameters in distribution expressions"

  Show description for 7912125
  Legotier

  committed
  7912125

Commits on May 20, 2022

• Minor fixes

  Legotier

  committed
  ce569fb

• Revert to older version (2.5) of networkx

  Legotier

  committed
  c179a25

• Remove test for parser check that is no longer done

  Legotier

  committed
  5de84e6

• Clear parameter dict for every new program that is parsed

  Legotier

  committed
  a3a3246

• Fix almost all pylint problems

  Legotier

  committed
  fe6feab

Commits on May 25, 2022

• Split ast module into several files

  Legotier

  committed
  017ad52

• I forgot to add the new files to git

  Legotier

  committed
  1bfd89c

• Move documentation of ast module to __init__.py

  Legotier

  committed
  9fd0257

• Fix pylint cyclic import warnings

  Legotier

  committed
  8557c91

• Fix mypy errors

  Legotier

  committed
  e300fd3

• Update mypy to newer version

  Show description for b22519b
  Legotier

  committed
  b22519b

• Move Bounds class to types file

  Legotier

  committed
  9189730

Commits on May 27, 2022

• Move unused import to doctest

  Legotier

  committed
  6ec6e8a

• Merge typechecker from forward

  Legotier

  committed
  5bdf111

• Add tests for some of the typechecking

  Legotier

  committed
  3e25603

• Revert "Remove test for parser check that is no longer done"

  Show description for 965da72
  Legotier

  committed
  965da72

• Fix bug in typechecking test

  Legotier

  committed
  8404efa

• Remove 'parameters' parameter from Program.from_parse

  Legotier

  committed
  02dc6dd

• Remove VarExpr.is_parameter

  Legotier

  committed
  9943cb9

Commits on Jun 1, 2022

• Fix unsafe return type of get_type for iid expressions

  Legotier

  committed
  a1f93d9

• Prettify linear checks

  Legotier

  committed
  8cc2a56

• Fix unsafe default value warning

  Legotier

  committed
  2aa93a3

• Add some old checks from the parser to the typechecker

  Legotier

  committed
  f96efa4

Commits on Jun 2, 2022

• Fix precedence of modulo operator

  Legotier

  committed
  ecd08e9

• Fix (suppressed) cyclic dependency warnings

  Legotier

  committed
  476940a

• Fix typechecking for IidSampleExpr

  Legotier

  committed
  16e31c4

• Give some binary operators clearer names

  Legotier

  committed
  5ab560c

• Replace not_a_variable and add a warning to the typechecker

  Legotier

  committed
  0da4e94

• Make it more explicit that iid type checking is unsafe

  Legotier

  committed
  6158b37

Commits on Jun 3, 2022

• Logger warning for typechecking of iid exprs

  Legotier

  committed
  7e8c180

• Update parameter in syntax module

  Legotier

  committed
  6247646

• Fix warnings

  Legotier

  committed
  bb071e1

• Disallow constants in programs in the syntax module

  Legotier

  committed
  579fdf6

• Make some variable names (true, false) illegal

  Legotier

  committed
  0a598c2

• Eliminate true and false from pgcl grammar

  Legotier

  committed
  12167a5

Commits on Jun 8, 2022

• Revert "Eliminate true and false from pgcl grammar"

  Show description for e606806
  Legotier

  committed
  e606806

• Fix error message in check_is_linear_expr

  Legotier

  committed
  4d4c322

• Add assertion for illegal keyword to constructor of VarExpr

  Legotier

  committed
  21ae331

• Better error message for usage of true or false in plot instructions

  Legotier

  committed
  f1d923a

Commits on Jun 9, 2022

• Allow variables in distribution parameters

  Legotier

  committed
  79991b9

• Remove program config

  Legotier

  committed
  1777e88

• Add typecheck for TickInstr and TickExpr

  Legotier

  committed
  3af0bf5

• Auto format

  Legotier

  committed
  2dd1aa3

• Add format target to makefile

  Legotier

  committed
  a2adf9f