Issues

• Use unique concatination string when generating variables

  bugspec-comp
  remolueoend/monpoly#24 · Filter by author remolueoend opened on Aug 30, 2022 · Support for JSON Record Types
  

• Fix type inference of complex predicate arguments

  bug
  remolueoend/monpoly#23 · Filter by author remolueoend opened on Aug 30, 2022 · Support for JSON Record Types
  

• Cleanup JSON examples

  documentationenhancement
  remolueoend/monpoly#22 · Filter by author remolueoend opened on Aug 30, 2022 · Support for JSON Record Types
  

• Implement LET expansion for CMFODL

  spec-comp
  remolueoend/monpoly#21 · Filter by author remolueoend opened on Aug 30, 2022 · Support for JSON Record Types
  

• Do not allow types of record fields to be of any top-level type

  signatures
  remolueoend/monpoly#18 · Filter by author remolueoend opened on Jun 1, 2022 · Support for JSON Record Types
  

• Do not allow recursive record types in signatures

  signatures
  remolueoend/monpoly#17 · Filter by author remolueoend opened on Jun 1, 2022 · Support for JSON Record Types
  

• Improve the printout of rule violations

  enhancement
  remolueoend/monpoly#16 · Filter by author remolueoend opened on May 2, 2022 · Support for JSON Record Types
  

• Support -stop_at_out_of_order_ts flag in combination with -json_log

  spec-comp
  remolueoend/monpoly#15 · Filter by author remolueoend opened on Apr 26, 2022 · Support for JSON Record Types
  

• Support -ignore_parse_errors flag in combination with -json_log

  spec-comp
  remolueoend/monpoly#14 · Filter by author remolueoend opened on Apr 26, 2022 · Support for JSON Record Types
  

• Add support for constant record values in formulas

  enhancementspec-comp
  remolueoend/monpoly#12 · Filter by author remolueoend opened on Apr 14, 2022 · Support for JSON Record Types
  

• Transpile Record predicates and field projections

  transpilation
  remolueoend/monpoly#11 · Filter by author remolueoend opened on Apr 14, 2022 · Support for JSON Record Types
  

• Extend type deduction rules to cover projection terms

  report
  remolueoend/monpoly#10 · Filter by author remolueoend opened on Apr 14, 2022 · Support for JSON Record Types
  

• Provide Ocaml interfaces for newly introduced modules

  documentation
  remolueoend/monpoly#9 · Filter by author remolueoend opened on Apr 14, 2022
  

• Provide CLI flag for enabling rejection of unknown JSON log entries

  enhancement
  remolueoend/monpoly#8 · Filter by author remolueoend opened on Apr 14, 2022 · Support for JSON Record Types
  

• Separate top level event types and helper types

  signatures
  remolueoend/monpoly#7 · Filter by author remolueoend opened on Apr 14, 2022 · Support for JSON Record Types
  

• Add support for multiple json objects per timepoint

  spec-comp
  remolueoend/monpoly#6 · Filter by author remolueoend opened on Apr 14, 2022 · Support for JSON Record Types
  

• Improve type-check error messages

  enhancement
  remolueoend/monpoly#5 · Filter by author remolueoend opened on Apr 12, 2022 · Support for JSON Record Types
  

• Correctly generate DB schema for signature declarations of complex types

  signatures
  remolueoend/monpoly#4 · Filter by author remolueoend opened on Apr 4, 2022 · Support for JSON Record Types
  

• Add support for commands in JSON log files

  spec-comp
  remolueoend/monpoly#3 · Filter by author remolueoend opened on Apr 4, 2022 · Support for JSON Record Types
  

• Signature Parser: Support single- and multi-line comments in signatures

  enhancementsignatures
  remolueoend/monpoly#1 · Filter by author remolueoend opened on Mar 14, 2022