smucclaw/vue-pure-pdpa issues and pull requests

#81 - Revert "added a few type signatures to clarify functions"

Pull Request - State: closed - Opened by joewatt95 over 1 year ago

#80 - added a few type signatures to clarify functions

Pull Request - State: closed - Opened by maxloosmu over 1 year ago

#79 - add support for negation normal form, thank you De Morgan

Pull Request - State: closed - Opened by mengwong over 1 year ago

#78 - add better explanation for why STDOUT matters

Pull Request - State: closed - Opened by mengwong over 1 year ago

#77 - 20230516 v8k fix

Pull Request - State: closed - Opened by mengwong over 1 year ago

#76 - add verbosity in documentation and runtime output

Pull Request - State: closed - Opened by mengwong over 1 year ago - 1 comment

#75 - Add type annotation to poolsize parameter

Pull Request - State: closed - Opened by kharus over 1 year ago

#74 - Modernize python

Pull Request - State: closed - Opened by kharus almost 2 years ago

#73 - Clean v8k

Pull Request - State: closed - Opened by kharus almost 2 years ago

#72 - Reformat v8k

Pull Request - State: closed - Opened by kharus almost 2 years ago

#71 - commented out devServer in vue.config.js, changed whichPrompt in src/…

Pull Request - State: closed - Opened by maxloosmu almost 2 years ago

#70 - rudimentary linearisation buttons

Pull Request - State: closed - Opened by Meowyam almost 2 years ago

#69 - Pure

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

#68 - commented out PdpaQ.purs test in Rendering.purs

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

#67 - removed previous PdpaQ.purs and renamed PdpaQCurlyBraces.purs to Pdpa…

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

#66 - changed Object to Map in PDPADBNO.purs to debug test failure

Pull Request - State: closed - Opened by maxloosmu about 2 years ago - 1 comment

#65 - Dolora - some changes to implement the multiple heads and multiple bodies

Pull Request - State: closed - Opened by maxloosmu about 2 years ago - 1 comment

#64 - Update

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

#63 - V8k movable ports

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

#62 - changing 'Dolores' to 'Dolora the Law Explorer'

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

#61 - changed json.load to json.loads

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

#60 - V8k tweaks, filename check

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

#59 - add convenience script to help manage the pool of vue dev servers

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

#58 - Write Component Unit Test Part 1

Pull Request - State: closed - Opened by tws4793 over 2 years ago
Labels: enhancement

#57 - Update package

Pull Request - State: closed - Opened by tws4793 over 2 years ago
Labels: bug

#56 - Refactor components

Pull Request - State: closed - Opened by tws4793 over 2 years ago
Labels: enhancement

#55 - Purescript Enhancement

Pull Request - State: closed - Opened by tws4793 over 2 years ago
Labels: enhancement

#54 - Bug fix and Enhancements for Deployment

Pull Request - State: closed - Opened by tws4793 over 2 years ago
Labels: bug, documentation, enhancement

#53 - [Bug] Purescript Build Failing

Issue - State: closed - Opened by tws4793 over 2 years ago - 2 comments
Labels: bug

#52 - UI redesign - Question component

Pull Request - State: closed - Opened by tws4793 over 2 years ago - 1 comment
Labels: enhancement

#51 - Add more tests for View/Hide logic. Some code cleanup in `Relevance`

Pull Request - State: closed - Opened by kharus almost 3 years ago

#50 - Add tests for evaluation of View/Hide/Ask

Pull Request - State: closed - Opened by kharus almost 3 years ago

#49 - Reformat

Pull Request - State: closed - Opened by kharus almost 3 years ago

#48 - Add e2e tests for `relevant`

Pull Request - State: closed - Opened by kharus almost 3 years ago

#47 - More eval test

Pull Request - State: closed - Opened by kharus almost 3 years ago

#46 - Anyall not

Pull Request - State: closed - Opened by kharus almost 3 years ago

#45 - UI redesign

Pull Request - State: closed - Opened by tws4793 almost 3 years ago

#44 - Create node.js.yml

Pull Request - State: closed - Opened by kharus almost 3 years ago

#43 - Add tests for `evaluate`

Pull Request - State: closed - Opened by kharus almost 3 years ago

#42 - Separate diagram into own page

Pull Request - State: closed - Opened by tws4793 almost 3 years ago

#41 - Create container for deployment

Pull Request - State: closed - Opened by tws4793 almost 3 years ago - 4 comments
Labels: enhancement

#40 - Update documentation

Pull Request - State: closed - Opened by tws4793 almost 3 years ago - 2 comments
Labels: documentation

#39 - V2 merge

Pull Request - State: closed - Opened by kharus almost 3 years ago

#38 - Merge to main

Pull Request - State: closed - Opened by tws4793 almost 3 years ago - 1 comment

#37 - Performance Improvements and Add D3

Pull Request - State: closed - Opened by tws4793 about 3 years ago
Labels: enhancement

#36 - change home to be pdpa

Pull Request - State: closed - Opened by Meowyam about 3 years ago - 1 comment

#35 - Implement basic UI and Any/All

Pull Request - State: closed - Opened by tws4793 about 3 years ago - 2 comments
Labels: enhancement

#34 - Implement basic UI and Any/All

Pull Request - State: closed - Opened by tws4793 over 3 years ago - 1 comment
Labels: enhancement

#33 - try a d3 visualization

Issue - State: closed - Opened by mengwong over 3 years ago

#32 - hotfix

Pull Request - State: closed - Opened by AHaliq over 3 years ago

#31 - drag to reorder tabs in editor window

Issue - State: closed - Opened by AHaliq over 3 years ago
Labels: enhancement

#30 - compile and autocompile feature for l4

Issue - State: closed - Opened by AHaliq over 3 years ago

#29 - save and open project file to local drive

Issue - State: closed - Opened by AHaliq over 3 years ago

#28 - l4 symbol and autocomplete

Issue - State: closed - Opened by AHaliq over 3 years ago
Labels: enhancement

#27 - l4 syntax highlighting

Issue - State: closed - Opened by AHaliq over 3 years ago
Labels: enhancement

#26 - search function in module window and symbol table window

Issue - State: closed - Opened by AHaliq over 3 years ago
Labels: enhancement

#25 - resize sidebar and console window for ide

Issue - State: closed - Opened by AHaliq over 3 years ago
Labels: enhancement

#24 - multi tab editor window for ide

Issue - State: closed - Opened by AHaliq over 3 years ago
Labels: enhancement

#23 - implement preliminary l4 grammar

Issue - State: closed - Opened by AHaliq over 3 years ago

#22 - implement questions / form page

Issue - State: closed - Opened by AHaliq over 3 years ago - 3 comments

#21 - implement ide page

Issue - State: closed - Opened by AHaliq over 3 years ago

#20 - disclaimer modal

Issue - State: closed - Opened by AHaliq over 3 years ago

#19 - upgrade

Pull Request - State: closed - Opened by AHaliq over 3 years ago

#18 - merge v0.1.0 to main

Pull Request - State: closed - Opened by AHaliq over 3 years ago

#17 - integrate pugjs

Pull Request - State: closed - Opened by AHaliq over 3 years ago

#16 - Jison integration

Pull Request - State: closed - Opened by AHaliq over 3 years ago

#15 - added console output for editor

Pull Request - State: closed - Opened by AHaliq over 3 years ago
Labels: enhancement

#14 - Design prototype

Issue - State: closed - Opened by Meowyam over 3 years ago - 1 comment

#13 - Tau Prolog Integration

Issue - State: closed - Opened by AHaliq over 3 years ago - 1 comment

#12 - implement codemirror editor

Pull Request - State: closed - Opened by AHaliq over 3 years ago

#11 - integrate bulma and added example button

Pull Request - State: closed - Opened by AHaliq over 3 years ago

#10 - fix output dir bug

Pull Request - State: closed - Opened by AHaliq over 3 years ago

#9 - Pugjs integration

Issue - State: closed - Opened by AHaliq over 3 years ago - 2 comments
Labels: help wanted

#8 - Hotfix working

Pull Request - State: closed - Opened by AHaliq over 3 years ago

#7 - Editor Integration

Issue - State: closed - Opened by AHaliq over 3 years ago

#6 - UI/UX

Issue - State: closed - Opened by AHaliq over 3 years ago - 1 comment
Labels: enhancement

#5 - Parser Generator Integration

Issue - State: closed - Opened by AHaliq over 3 years ago - 1 comment

#4 - Make notes for using vue and vuex

Issue - State: closed - Opened by AHaliq over 3 years ago
Labels: documentation

#3 - Bulma integration

Issue - State: closed - Opened by AHaliq over 3 years ago

#2 - added purescript test suite

Pull Request - State: closed - Opened by AHaliq over 3 years ago

#1 - create proj from vue create and spago init

Pull Request - State: closed - Opened by AHaliq over 3 years ago

GitHub / smucclaw/vue-pure-pdpa issues and pull requests